default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRick Salay
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j7]Esther Guerra
, Juan de Lara, Marsha Chechik, Rick Salay:
Property Satisfiability Analysis for Product Lines of Modelling Languages. IEEE Trans. Software Eng. 48(2): 397-416 (2022)- [c68]Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Rick Salay, Huakun Shen, Marsha Chechik:
If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components. ICSE 2022: 1145-1156 - [c67]Chengjie Huang, Van Duong Nguyen, Vahdat Abdelzad, Christopher Gus Mannes, Luke Rowe, Benjamin Thérien, Rick Salay, Krzysztof Czarnecki:
Out-of-Distribution Detection for LiDAR-based 3D Object Detection. ITSC 2022: 4265-4271 - [c66]Rick Salay, Krzysztof Czarnecki:
A Safety Assurable Human-Inspired Perception Architecture. SAFECOMP Workshops 2022: 302-315 - [i17]Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Rick Salay, Huakun Shen, Marsha Chechik:
If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components. CoRR abs/2202.03930 (2022) - [i16]Rick Salay, Krzysztof Czarnecki:
A Safety Assurable Human-Inspired Perception Architecture. CoRR abs/2205.07862 (2022) - [i15]Chengjie Huang, Van Duong Nguyen, Vahdat Abdelzad, Christopher Gus Mannes, Luke Rowe, Benjamin Thérien, Rick Salay, Krzysztof Czarnecki:
Out-of-Distribution Detection for LiDAR-based 3D Object Detection. CoRR abs/2209.14435 (2022) - 2021
- [c65]Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata:
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. NFM 2021: 198-213 - [i14]Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata:
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. CoRR abs/2108.07509 (2021) - [i13]Rick Salay, Krzysztof Czarnecki, Hiroshi Kuwajima, Hirotoshi Yasuoka, Toshihiro Nakae, Vahdat Abdelzad, Chengjie Huang, Maximilian Kahn, Van Duong Nguyen:
The missing link: Developing a safety case for perception components in automated driving. CoRR abs/2108.13294 (2021) - 2020
- [j6]Rick Salay, Sahar Kokaly, Alessio Di Sandro, Nick L. S. Fung, Marsha Chechik:
Heterogeneous megamodel management using collection operators. Softw. Syst. Model. 19(1): 231-260 (2020) - [j5]Bart Meyers, Hans Vangheluwe, Joachim Denil, Rick Salay:
A Framework for Temporal Verification Support in Domain-Specific Modelling. IEEE Trans. Software Eng. 46(4): 362-404 (2020) - [c64]Rick Salay, Krzysztof Czarnecki, Maria Soledad Elli, Ignacio J. Alvarez, Sean Sedwards, Jack Weast:
PURSS: Towards Perceptual Uncertainty Aware Responsibility Sensitive Safety with ML. SafeAI@AAAI 2020: 91-95 - [c63]Boyue Caroline Hu, Rick Salay, Krzysztof Czarnecki, Mona Rahimi, Gehan M. K. Selim, Marsha Chechik:
Towards Requirements Specification for Machine-learned Perception Based on Human Performance. AIRE@RE 2020: 48-51 - [c62]Weitao Chen, Rick Salay, Sean Sedwards, Vahdat Abdelzad, Krzysztof Czarnecki:
Accelerating the Training of Convolutional Neural Networks for Image Segmentation with Deep Active Learning. ITSC 2020: 1-7 - [c61]Alessio Di Sandro, Gehan M. K. Selim, Rick Salay, Torin Viger, Marsha Chechik, Sahar Kokaly:
MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts. MoDELS (Companion) 2020: 15:1-15:5 - [c60]Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik:
Just Enough Formality in Assurance Argument Structures. SAFECOMP 2020: 34-49 - [i12]Vahdat Abdelzad, Krzysztof Czarnecki, Rick Salay:
The Effect of Optimization Methods on the Robustness of Out-of-Distribution Detection Approaches. CoRR abs/2006.14584 (2020)
2010 – 2019
- 2019
- [j4]Loli Burgueño, Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabriele Taentzer, Antonio Vallecillo, Manuel Wimmer:
Contents for a Model-Based Software Engineering Body of Knowledge. Softw. Syst. Model. 18(6): 3193-3205 (2019) - [c59]Samin Khan, Buu Phan, Rick Salay, Krzysztof Czarnecki:
ProcSy: Procedural Synthetic Dataset Generation Towards Influence Factor Studies Of Semantic Segmentation Networks. CVPR Workshops 2019: 88-96 - [c58]Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi:
Software Assurance in an Uncertain World. FASE 2019: 3-21 - [c57]Rick Salay, Matt Angus, Krzysztof Czarnecki:
A Safety Analysis Method for Perceptual Components in Automated Driving. ISSRE 2019: 24-34 - [c56]Alessio Di Sandro, Sahar Kokaly, Rick Salay, Marsha Chechik:
Querying Automotive System Models and Safety Artifacts with MMINT and Viatra. MoDELS (Companion) 2019: 2-11 - [c55]Rick Salay, Krzysztof Czarnecki:
Improving ML Safety with Partial Specifications. SAFECOMP Workshops 2019: 288-300 - [c54]Buu Phan, Samin Khan, Rick Salay, Krzysztof Czarnecki:
Bayesian Uncertainty Quantification with Synthetic Data. SAFECOMP Workshops 2019: 378-390 - [c53]Ramy Shahin, Marsha Chechik, Rick Salay:
Lifting Datalog-based analyses to software product lines. ESEC/SIGSOFT FSE 2019: 39-49 - [c52]Marsha Chechik, Sahar Kokaly, Mona Rahimi, Rick Salay, Torin Viger:
Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework. VSTTE 2019: 19-29 - [i11]Krzysztof Czarnecki, Rick Salay:
Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving. CoRR abs/1903.03438 (2019) - [i10]Sachin Vernekar, Ashish Gaurav, Taylor Denouden, Buu Phan, Vahdat Abdelzad, Rick Salay, Krzysztof Czarnecki:
Analysis of Confident-Classifiers for Out-of-distribution Detection. CoRR abs/1904.12220 (2019) - [i9]Ramy Shahin, Marsha Chechik, Rick Salay:
Lifting Datalog-Based Analyses to Software Product Lines. CoRR abs/1907.02192 (2019) - [i8]Sachin Vernekar, Ashish Gaurav, Vahdat Abdelzad, Taylor Denouden, Rick Salay, Krzysztof Czarnecki:
Out-of-distribution Detection in Classifiers via Generation. CoRR abs/1910.04241 (2019) - [i7]Vahdat Abdelzad, Krzysztof Czarnecki, Rick Salay, Taylor Denouden, Sachin Vernekar, Buu Phan:
Detecting Out-of-Distribution Inputs in Deep Neural Networks Using an Early-Layer Output. CoRR abs/1910.10307 (2019) - [i6]Matt Angus, Krzysztof Czarnecki, Rick Salay:
Efficacy of Pixel-Level OOD Detection for Semantic Segmentation. CoRR abs/1911.02897 (2019) - 2018
- [c51]Ian Colwell, Buu Phan, Shahwar Saleem, Rick Salay, Krzysztof Czarnecki:
An Automated Vehicle Safety Concept Based on Runtime Restriction of the Operational Design Domain. Intelligent Vehicles Symposium 2018: 1910-1917 - [c50]Juan de Lara, Esther Guerra, Marsha Chechik, Rick Salay:
Model Transformation Product Lines. MoDELS 2018: 67-77 - [c49]Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer:
Towards a body of knowledge for model-based software engineering. MoDELS (Companion) 2018: 82-89 - [c48]Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer:
How do we teach modelling and model-driven engineering?: a survey. MoDELS (Companion) 2018: 122-129 - [c47]Nick L. S. Fung, Sahar Kokaly, Alessio Di Sandro, Rick Salay, Marsha Chechik:
MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases. SAFECOMP Workshops 2018: 60-70 - [c46]Krzysztof Czarnecki, Rick Salay:
Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving. SAFECOMP Workshops 2018: 439-445 - [c45]Gabriele Taentzer, Rick Salay, Daniel Strüber, Marsha Chechik:
Transformation of Software Product Lines. Software Engineering 2018: 51-52 - [c44]Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay:
Analysing meta-model product lines. SLE 2018: 160-173 - [i5]Rick Salay, Krzysztof Czarnecki:
Using Machine Learning Safely in Automotive Software: An Assessment and Adaption of Software Process Requirements in ISO 26262. CoRR abs/1808.01614 (2018) - [i4]Buu Phan, Rick Salay, Krzysztof Czarnecki, Vahdat Abdelzad, Taylor Denouden, Sachin Vernekar:
Calibrating Uncertainties in Object Localization Task. CoRR abs/1811.11210 (2018) - [i3]Taylor Denouden, Rick Salay, Krzysztof Czarnecki, Vahdat Abdelzad, Buu Phan, Sachin Vernekar:
Improving Reconstruction Autoencoder Out-of-distribution Detection with Mahalanobis Distance. CoRR abs/1812.02765 (2018) - 2017
- [c43]Michalis Famelis, Julia Rubin, Krzysztof Czarnecki, Rick Salay, Marsha Chechik:
Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty. MoDELS 2017: 93-100 - [c42]Gabriele Taentzer, Rick Salay, Daniel Strüber, Marsha Chechik:
Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory. MoDELS 2017: 101-111 - [c41]Stefan Klikovits, Joachim Denil, Alexandre Muzy, Rick Salay:
Modeling Frames. MoDELS (Satellite Events) 2017: 315-320 - [c40]Joachim Denil, Rick Salay, Chris Paredis, Hans Vangheluwe:
Towards Agile Model-based Systems Engineering. MoDELS (Satellite Events) 2017: 424-429 - [c39]Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum:
Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach. SAFECOMP 2017: 69-85 - [i2]Rick Salay, Rodrigo Queiroz, Krzysztof Czarnecki:
An Analysis of ISO 26262: Using Machine Learning Safely in Automotive Software. CoRR abs/1709.02435 (2017) - 2016
- [j3]Levi Lúcio, Moussa Amrani, Juergen Dingel, Leen Lambers, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer:
Model transformation intents and their properties. Softw. Syst. Model. 15(3): 647-684 (2016) - [c38]Rick Salay, Steffen Zschaler, Marsha Chechik:
Correct Reuse of Transformations is Hard to Guarantee. ICMT 2016: 107-122 - [c37]Sahar Kokaly, Rick Salay, Mehrdad Sabetzadeh, Marsha Chechik, Tom Maibaum:
Model management for regulatory compliance: a position paper. MiSE@ICSE 2016: 74-80 - [c36]Marsha Chechik, Michalis Famelis, Rick Salay, Daniel Strüber:
Perspectives of Model Transformation Reuse. IFM 2016: 28-44 - [c35]Rick Salay, Sahar Kokaly, Marsha Chechik, Tom Maibaum:
Heterogeneous Megamodel Slicing for Model Evolution. ME@MoDELS 2016: 50-59 - [c34]Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik:
A model management approach for assurance case reuse due to system evolution. MoDELS 2016: 196-206 - [e2]Shiva Nejati, Rick Salay:
Proceedings of the Doctoral Symposium at the 19th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems 2016 (MoDELS 2016), Saint Malo, France, October 2, 2016. CEUR Workshop Proceedings 1735, CEUR-WS.org 2016 [contents] - 2015
- [j2]Rick Salay, Marsha Chechik, Michalis Famelis, Jan Gorzny:
A Methodology for Verifying Refinements of Partial Models. J. Object Technol. 14(3): 3:1-31 (2015) - [c33]Rick Salay, Marsha Chechik:
A Generalized Formal Framework for Partial Modeling. FASE 2015: 133-148 - [c32]Michalis Famelis, Levi Lucio, Gehan M. K. Selim, Alessio Di Sandro, Rick Salay, Marsha Chechik, James R. Cordy, Jürgen Dingel, Hans Vangheluwe, S. Ramesh:
Migrating Automotive Product Lines: A Case Study. ICMT 2015: 82-97 - [c31]Rick Salay, Fabiano Dalpiaz, Marsha Chechik:
Integrating Crowd Intelligence into Software. CSI-SE 2015: 1-7 - [c30]Michalis Famelis, Naama Ben-David, Alessio Di Sandro, Rick Salay, Marsha Chechik:
MU-MMINT: An IDE for Model Uncertainty. ICSE (2) 2015: 697-700 - [c29]Marsha Chechik, Fabiano Dalpiaz, Csaba Debreceni, Jennifer Horkoff, István Ráth, Rick Salay, Dániel Varró:
Property-Based Methods for Collaborative Model Development. GEMOC+MPM@MoDELS 2015: 1-7 - [c28]Rick Salay, Steffen Zschaler, Marsha Chechik:
Transformation Reuse: What is the Intent? AMT@MoDELS 2015: 7-15 - [c27]Alessio Di Sandro, Rick Salay, Michalis Famelis, Sahar Kokaly, Marsha Chechik:
MMINT: A Graphical Tool for Interactive Model Management. P&D@MoDELS 2015: 16-19 - [c26]Rick Salay, Sahar Kokaly, Alessio Di Sandro, Marsha Chechik:
Enriching megamodel management with collection-based operators. MoDELS 2015: 236-245 - [c25]Fabiano Dalpiaz, Michal Korenko, Rick Salay, Marsha Chechik:
Using the crowds to satisfy unbounded requirements. CrowdRE@RE 2015: 19-24 - [e1]Jürgen Dingel, Sahar Kokaly, Levi Lucio, Rick Salay, Hans Vangheluwe:
Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada, September 28, 2015. CEUR Workshop Proceedings 1500, CEUR-WS.org 2015 [contents] - 2014
- [c24]Ahmed Shah Mashiyat, Michalis Famelis, Rick Salay, Marsha Chechik:
Using developer conversations to resolve uncertainty in software development: a position paper. RSSE@ICSE 2014: 1-5 - [c23]Rick Salay, Michalis Famelis, Julia Rubin, Alessio Di Sandro, Marsha Chechik:
Lifting model transformations to product lines. ICSE 2014: 117-128 - [c22]Sebastian J. I. Herzig, Benjamin Kruse, Federico Ciccozzi, Joachim Denil, Rick Salay, Dániel Varró:
Towards an Approach for Orchestrating Design Space Exploration Problems to Fix Multi-Paradigm Inconsistencies. MPM@MoDELS 2014: 61-66 - [c21]Jennifer Horkoff, Rick Salay, Marsha Chechik, Alessio Di Sandro:
Supporting early decision-making in the presence of uncertainty. RE 2014: 33-42 - [i1]Benoît Combemale, Julien De Antoni, Robert B. France, Frédéric Boulanger, Sébastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler:
Report on the First Workshop On the Globalization of Modeling Languages. CoRR abs/1408.5703 (2014) - 2013
- [j1]Rick Salay, Marsha Chechik, Jennifer Horkoff, Alessio Di Sandro:
Managing requirements uncertainty with partial models. Requir. Eng. 18(2): 107-128 (2013) - [c20]Rick Salay, Jan Gorzny, Marsha Chechik:
Change Propagation due to Uncertainty Change. FASE 2013: 21-36 - [c19]Benoît Combemale, Julien DeAntoni, Robert B. France, Frédéric Boulanger, Sébastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler:
Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013). GEMOC+AMINO@MoDELS 2013: 3-13 - [c18]Rick Salay, Marsha Chechik:
Supporting Agility in MDE Through Modeling Language Relaxation. XM@MoDELS 2013: 20-27 - [c17]Michalis Famelis, Rick Salay, Alessio Di Sandro, Marsha Chechik:
Transformation of Models Containing Uncertainty. MoDELS 2013: 673-689 - [c16]Soroosh Nalchigar, Rick Salay, Marsha Chechik:
Towards a Catalog of Non-Functional Requirements in Model Transformation Languages. AMT@MoDELS 2013 - [p1]Marsha Chechik, Jocelyn Simmonds, Sotirios Liaskos, Shiva Nejati, Mehrdad Sabetzadeh, Rick Salay:
PWWM: A Personal Web Workflow Methodology. The Personal Web 2013: 11-48 - 2012
- [c15]Rick Salay, Michalis Famelis, Marsha Chechik:
Language Independent Refinement Using Partial Modeling. FASE 2012: 224-239 - [c14]Michalis Famelis, Rick Salay, Marsha Chechik:
The semantics of partial model transformations. MiSE 2012: 64-69 - [c13]Michalis Famelis, Rick Salay, Marsha Chechik:
Partial models: Towards modeling and reasoning with uncertainty. ICSE 2012: 573-583 - [c12]Rick Salay, Marsha Chechik, Jan Gorzny:
Towards a Methodology for Verifying Partial Model Refinements. ICST 2012: 938-945 - [c11]Moussa Amrani, Jürgen Dingel, Leen Lambers, Levi Lúcio, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer:
Towards a model transformation intent catalog. AMT@MoDELS 2012: 3-8 - [c10]Rick Salay, Shige Wang, Vivien Suen:
Managing Related Models in Vehicle Control Software Development. MoDELS 2012: 383-398 - [c9]Rick Salay, Marsha Chechik, Jennifer Horkoff:
Managing requirements uncertainty with partial models. RE 2012: 1-10 - 2011
- [b1]Rick Salay:
Using Modeler Intent in Software Engineering. University of Toronto, Canada, 2011 - [c8]Michalis Famelis, Shoham Ben-David, Marsha Chechik, Rick Salay:
Partial models: a position paper. MoDeVVa@MoDELS 2011: 1:1-1:4 - 2010
- [c7]Rick Salay, John Mylopoulos:
The Model Role Level - A Vision. ER 2010: 76-89
2000 – 2009
- 2009
- [c6]Rick Salay, John Mylopoulos, Steve M. Easterbrook:
Using Macromodels to Manage Collections of Related Models. CAiSE 2009: 141-155 - [c5]Rick Salay, John Mylopoulos:
Improving Model Quality Using Diagram Coverage Criteria. CAiSE 2009: 186-200 - [c4]Marsha Chechik, Winnie Lai, Shiva Nejati, Jordi Cabot, Zinovy Diskin, Steve M. Easterbrook, Mehrdad Sabetzadeh, Rick Salay:
Relationship-based change propagation: A case study. MiSE@ICSE 2009: 7-12 - 2008
- [c3]Rick Salay, John Mylopoulos, Steve M. Easterbrook:
Managing Models through Macromodeling. ASE 2008: 447-450 - 2007
- [c2]Rick Salay, Marsha Chechik, Steve M. Easterbrook, Zinovy Diskin, Pete McCormick, Shiva Nejati, Mehrdad Sabetzadeh, Petcharat Viriyakattiyaporn:
An Eclipse-based tool framework for software model management. ETX 2007: 55-59 - [c1]Rick Salay:
Towards a Formal Framework for Multimodeling in Software Engineering. MoDELS (Doctoral Symposium) 2007
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 20:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
