An Eclipse-based tool framework for software model management. - Rick Salay; Marsha Chechik; Steve M. Easterbrook; Zinovy Diskin; Pete McCormick; Shiva Nejati 001; Mehrdad Sabetzadeh; Petcharat Viriyakattiyaporn (ETX, 2007)

Towards a Formal Framework for Multimodeling in Software Engineering. - Rick Salay (MoDELS (Doctoral Symposium), 2007)

Managing Models through Macromodeling. - Rick Salay; John Mylopoulos; Steve M. Easterbrook (ASE, 2008)

Improving Model Quality Using Diagram Coverage Criteria. - Rick Salay; John Mylopoulos (CAiSE, 2009)

Using Macromodels to Manage Collections of Related Models. - Rick Salay; John Mylopoulos; Steve M. Easterbrook (CAiSE, 2009)

Relationship-based change propagation: A case study. - Marsha Chechik; Winnie Lai; Shiva Nejati 001; Jordi Cabot; Zinovy Diskin; Steve M. Easterbrook; Mehrdad Sabetzadeh; Rick Salay (MiSE@ICSE, 2009)

The Model Role Level - A Vision. - Rick Salay; John Mylopoulos (ER, 2010)

Partial models: a position paper. - Michalis Famelis; Shoham Ben-David; Marsha Chechik; Rick Salay (MoDeVVa@MoDELS, 2011)

Using Modeler Intent in Software Engineering. - Rick Salay (2011)

Language Independent Refinement Using Partial Modeling. - Rick Salay; Michalis Famelis; Marsha Chechik (FASE, 2012)

Partial models: Towards modeling and reasoning with uncertainty. - Michalis Famelis; Rick Salay; Marsha Chechik (ICSE, 2012)

The semantics of partial model transformations. - Michalis Famelis; Rick Salay; Marsha Chechik (MiSE, 2012)

Towards a Methodology for Verifying Partial Model Refinements. - Rick Salay; Marsha Chechik; Jan Gorzny (ICST, 2012)

Towards a model transformation intent catalog. - Moussa Amrani; Jürgen Dingel; Leen Lambers; Levi Lúcio; Rick Salay; Gehan M. K. Selim; Eugene Syriani; Manuel Wimmer (AMT@MoDELS, 2012)

Managing Related Models in Vehicle Control Software Development. - Rick Salay; Shige Wang; Vivien Suen (MoDELS, 2012)

Managing requirements uncertainty with partial models. - Rick Salay; Marsha Chechik; Jennifer Horkoff (RE, 2012)

PWWM: A Personal Web Workflow Methodology. - Marsha Chechik; Jocelyn Simmonds; Sotirios Liaskos; Shiva Nejati 001; Mehrdad Sabetzadeh; Rick Salay (The Personal Web, 2013)

Change Propagation due to Uncertainty Change. - Rick Salay; Jan Gorzny; Marsha Chechik (FASE, 2013)

Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013). - Benoît Combemale; Julien DeAntoni; Robert B. France; Frédéric Boulanger; Sébastien Mosser 001; Marc Pantel; Bernhard Rumpe; Rick Salay; Martin Schindler (GEMOC+AMINO@MoDELS, 2013)

Transformation of Models Containing Uncertainty. - Michalis Famelis; Rick Salay; Alessio Di Sandro; Marsha Chechik (MoDELS, 2013)

Towards a Catalog of Non-Functional Requirements in Model Transformation Languages. - Soroosh Nalchigar; Rick Salay; Marsha Chechik (AMT@MoDELS, 2013)

Supporting Agility in MDE Through Modeling Language Relaxation. - Rick Salay; Marsha Chechik (XM@MoDELS, 2013)

Managing requirements uncertainty with partial models. - Rick Salay; Marsha Chechik; Jennifer Horkoff; Alessio Di Sandro (Requir. Eng., 2013)

Using developer conversations to resolve uncertainty in software development: a position paper. - Ahmed Shah Mashiyat; Michalis Famelis; Rick Salay; Marsha Chechik (RSSE@ICSE, 2014)

Lifting model transformations to product lines. - Rick Salay; Michalis Famelis; Julia Rubin; Alessio Di Sandro; Marsha Chechik (ICSE, 2014)

Towards an Approach for Orchestrating Design Space Exploration Problems to Fix Multi-Paradigm Inconsistencies. - Sebastian J. I. Herzig; Benjamin Kruse; Federico Ciccozzi; Joachim Denil; Rick Salay; Dániel Varró (MPM@MoDELS, 2014)

Supporting early decision-making in the presence of uncertainty. - Jennifer Horkoff; Rick Salay; Marsha Chechik; Alessio Di Sandro (RE, 2014)

Report on the First Workshop On the Globalization of Modeling Languages. - Benoît Combemale; Julien De Antoni; Robert B. France; Frédéric Boulanger; Sébastien Mosser 001; Marc Pantel; Bernhard Rumpe; Rick Salay; Martin Schindler (CoRR, 2014)

A Generalized Formal Framework for Partial Modeling. - Rick Salay; Marsha Chechik (FASE, 2015)

Migrating Automotive Product Lines: A Case Study. - 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 002 (ICMT, 2015)

MU-MMINT: An IDE for Model Uncertainty. - Michalis Famelis; Naama Ben-David; Alessio Di Sandro; Rick Salay; Marsha Chechik (ICSE (2), 2015)

Integrating Crowd Intelligence into Software. - Rick Salay; Fabiano Dalpiaz; Marsha Chechik (CSI-SE, 2015)

Property-Based Methods for Collaborative Model Development. - Marsha Chechik; Fabiano Dalpiaz; Csaba Debreceni; Jennifer Horkoff; István Ráth; Rick Salay; Dániel Varró (GEMOC+MPM@MoDELS, 2015)

Enriching megamodel management with collection-based operators. - Rick Salay; Sahar Kokaly; Alessio Di Sandro; Marsha Chechik (MoDELS, 2015)

Transformation Reuse: What is the Intent? - Rick Salay; Steffen Zschaler; Marsha Chechik (AMT@MoDELS, 2015)

MMINT: A Graphical Tool for Interactive Model Management. - Alessio Di Sandro; Rick Salay; Michalis Famelis; Sahar Kokaly; Marsha Chechik (P&D@MoDELS, 2015)

Using the crowds to satisfy unbounded requirements. - Fabiano Dalpiaz; Michal Korenko; Rick Salay; Marsha Chechik (CrowdRE@RE, 2015)

A Methodology for Verifying Refinements of Partial Models. - Rick Salay; Marsha Chechik; Michalis Famelis; Jan Gorzny (J. Object Technol., 2015)

Correct Reuse of Transformations is Hard to Guarantee. - Rick Salay; Steffen Zschaler; Marsha Chechik (ICMT, 2016)

Model management for regulatory compliance: a position paper. - Sahar Kokaly; Rick Salay; Mehrdad Sabetzadeh; Marsha Chechik; Tom Maibaum (MiSE@ICSE, 2016)

Perspectives of Model Transformation Reuse. - Marsha Chechik; Michalis Famelis; Rick Salay; Daniel Strüber 001 (IFM, 2016)

A model management approach for assurance case reuse due to system evolution. - Sahar Kokaly; Rick Salay; Valentin Cassano; Tom Maibaum; Marsha Chechik (MoDELS, 2016)

Heterogeneous Megamodel Slicing for Model Evolution. - Rick Salay; Sahar Kokaly; Marsha Chechik; Tom Maibaum (ME@MoDELS, 2016)

Model transformation intents and their properties. - Levi Lúcio; Moussa Amrani; Juergen Dingel; Leen Lambers; Rick Salay; Gehan M. K. Selim; Eugene Syriani; Manuel Wimmer (Softw. Syst. Model., 2016)

Towards Agile Model-based Systems Engineering. - Joachim Denil; Rick Salay; Chris Paredis 001; Hans Vangheluwe (MoDELS (Satellite Events), 2017)

Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty. - Michalis Famelis; Julia Rubin; Krzysztof Czarnecki 001; Rick Salay; Marsha Chechik (MoDELS, 2017)

Modeling Frames. - Stefan Klikovits; Joachim Denil; Alexandre Muzy; Rick Salay (MoDELS (Satellite Events), 2017)

Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory. - Gabriele Taentzer; Rick Salay; Daniel Strüber 001; Marsha Chechik (MoDELS, 2017)

Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach. - Sahar Kokaly; Rick Salay; Marsha Chechik; Mark Lawford; Tom Maibaum (SAFECOMP, 2017)

An Analysis of ISO 26262: Using Machine Learning Safely in Automotive Software. - Rick Salay; Rodrigo Queiroz; Krzysztof Czarnecki 001 (CoRR, 2017)

An Automated Vehicle Safety Concept Based on Runtime Restriction of the Operational Design Domain. - Ian Colwell; Buu Phan; Shahwar Saleem; Rick Salay; Krzysztof Czarnecki 001 (Intelligent Vehicles Symposium, 2018)

Towards a body of knowledge for model-based software engineering. - Federico Ciccozzi; Michalis Famelis; Gerti Kappel; Leen Lambers; Sébastien Mosser 001; Richard F. Paige; Alfonso Pierantonio; Arend Rensink; Rick Salay; Gabi Taentzer; Antonio Vallecillo; Manuel Wimmer (MoDELS (Companion), 2018)

How do we teach modelling and model-driven engineering?: a survey. - Federico Ciccozzi; Michalis Famelis; Gerti Kappel; Leen Lambers; Sébastien Mosser 001; Richard F. Paige; Alfonso Pierantonio; Arend Rensink; Rick Salay; Gabi Taentzer; Antonio Vallecillo; Manuel Wimmer (MoDELS (Companion), 2018)

Model Transformation Product Lines. - Juan de Lara; Esther Guerra; Marsha Chechik; Rick Salay (MoDELS, 2018)

Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving. - Krzysztof Czarnecki 001; Rick Salay (SAFECOMP Workshops, 2018)

MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases. - Nick L. S. Fung; Sahar Kokaly; Alessio Di Sandro; Rick Salay; Marsha Chechik (SAFECOMP Workshops, 2018)

Transformation of Software Product Lines. - Gabriele Taentzer; Rick Salay; Daniel Strüber 001; Marsha Chechik (Software Engineering, 2018)

Analysing meta-model product lines. - Esther Guerra; Juan de Lara; Marsha Chechik; Rick Salay (SLE, 2018)

Using Machine Learning Safely in Automotive Software: An Assessment and Adaption of Software Process Requirements in ISO 26262. - Rick Salay; Krzysztof Czarnecki 001 (CoRR, 2018)

Calibrating Uncertainties in Object Localization Task. - Buu Phan; Rick Salay; Krzysztof Czarnecki 001; Vahdat Abdelzad; Taylor Denouden; Sachin Vernekar (CoRR, 2018)

Improving Reconstruction Autoencoder Out-of-distribution Detection with Mahalanobis Distance. - Taylor Denouden; Rick Salay; Krzysztof Czarnecki 001; Vahdat Abdelzad; Buu Phan; Sachin Vernekar (CoRR, 2018)

ProcSy: Procedural Synthetic Dataset Generation Towards Influence Factor Studies Of Semantic Segmentation Networks. - Samin Khan; Buu Phan; Rick Salay; Krzysztof Czarnecki 001 (CVPR Workshops, 2019)

Software Assurance in an Uncertain World. - Marsha Chechik; Rick Salay; Torin Viger; Sahar Kokaly; Mona Rahimi (FASE, 2019)

A Safety Analysis Method for Perceptual Components in Automated Driving. - Rick Salay; Matt Angus; Krzysztof Czarnecki 001 (ISSRE, 2019)

Querying Automotive System Models and Safety Artifacts with MMINT and Viatra. - Alessio Di Sandro; Sahar Kokaly; Rick Salay; Marsha Chechik (MoDELS (Companion), 2019)

Bayesian Uncertainty Quantification with Synthetic Data. - Buu Phan; Samin Khan; Rick Salay; Krzysztof Czarnecki 001 (SAFECOMP Workshops, 2019)

Improving ML Safety with Partial Specifications. - Rick Salay; Krzysztof Czarnecki 001 (SAFECOMP Workshops, 2019)

Lifting Datalog-based analyses to software product lines. - Ramy Shahin; Marsha Chechik; Rick Salay (ESEC/SIGSOFT FSE, 2019)

Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework. - Marsha Chechik; Sahar Kokaly; Mona Rahimi; Rick Salay; Torin Viger (VSTTE, 2019)

Analysis of Confident-Classifiers for Out-of-distribution Detection. - Sachin Vernekar; Ashish Gaurav; Taylor Denouden; Buu Phan; Vahdat Abdelzad; Rick Salay; Krzysztof Czarnecki 001 (CoRR, 2019)

Out-of-distribution Detection in Classifiers via Generation. - Sachin Vernekar; Ashish Gaurav; Vahdat Abdelzad; Taylor Denouden; Rick Salay; Krzysztof Czarnecki 001 (CoRR, 2019)

Detecting Out-of-Distribution Inputs in Deep Neural Networks Using an Early-Layer Output. - Vahdat Abdelzad; Krzysztof Czarnecki 001; Rick Salay; Taylor Denouden; Sachin Vernekar; Buu Phan (CoRR, 2019)

Efficacy of Pixel-Level OOD Detection for Semantic Segmentation. - Matt Angus; Krzysztof Czarnecki 001; Rick Salay (CoRR, 2019)

Contents for a Model-Based Software Engineering Body of Knowledge. - Loli Burgueño; Federico Ciccozzi; Michalis Famelis; Gerti Kappel; Leen Lambers; Sébastien Mosser 001; Richard F. Paige; Alfonso Pierantonio; Arend Rensink; Rick Salay; Gabriele Taentzer; Antonio Vallecillo; et al. (Softw. Syst. Model., 2019)

PURSS: Towards Perceptual Uncertainty Aware Responsibility Sensitive Safety with ML. - Rick Salay; Krzysztof Czarnecki 001; Maria Soledad Elli; Ignacio J. Alvarez; Sean Sedwards; Jack Weast (SafeAI@AAAI, 2020)

Towards Requirements Specification for Machine-learned Perception Based on Human Performance. - Boyue Caroline Hu; Rick Salay; Krzysztof Czarnecki 001; Mona Rahimi; Gehan M. K. Selim; Marsha Chechik (AIRE@RE, 2020)

Accelerating the Training of Convolutional Neural Networks for Image Segmentation with Deep Active Learning. - Weitao Chen; Rick Salay; Sean Sedwards; Vahdat Abdelzad; Krzysztof Czarnecki 001 (ITSC, 2020)

MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts. - Alessio Di Sandro; Gehan M. K. Selim; Rick Salay; Torin Viger; Marsha Chechik; Sahar Kokaly (MoDELS (Companion), 2020)

Just Enough Formality in Assurance Argument Structures. - Torin Viger; Rick Salay; Gehan M. K. Selim; Marsha Chechik (SAFECOMP, 2020)

The Effect of Optimization Methods on the Robustness of Out-of-Distribution Detection Approaches. - Vahdat Abdelzad; Krzysztof Czarnecki 001; Rick Salay (CoRR, 2020)

Heterogeneous megamodel management using collection operators. - Rick Salay; Sahar Kokaly; Alessio Di Sandro; Nick L. S. Fung; Marsha Chechik (Softw. Syst. Model., 2020)

A Framework for Temporal Verification Support in Domain-Specific Modelling. - Bart Meyers; Hans Vangheluwe; Joachim Denil; Rick Salay (IEEE Trans. Software Eng., 2020)

Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. - Tsutomu Kobayashi; Rick Salay; Ichiro Hasuo; Krzysztof Czarnecki 001; Fuyuki Ishikawa; Shin-ya Katsumata (NFM, 2021)

The missing link: Developing a safety case for perception components in automated driving. - Rick Salay; Krzysztof Czarnecki 001; Hiroshi Kuwajima; Hirotoshi Yasuoka; Toshihiro Nakae; Vahdat Abdelzad; Chengjie Huang; Maximilian Kahn; Van Duong Nguyen (CoRR, 2021)

If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components. - Boyue Caroline Hu; Lina Marsso; Krzysztof Czarnecki 001; Rick Salay; Huakun Shen; Marsha Chechik (ICSE, 2022)

Out-of-Distribution Detection for LiDAR-based 3D Object Detection. - Chengjie Huang; Van Duong Nguyen; Vahdat Abdelzad; Christopher Gus Mannes; Luke Rowe; Benjamin Thérien; Rick Salay; Krzysztof Czarnecki 001 (ITSC, 2022)

A Safety Assurable Human-Inspired Perception Architecture. - Rick Salay; Krzysztof Czarnecki 001 (SAFECOMP Workshops, 2022)

Property Satisfiability Analysis for Product Lines of Modelling Languages. - Esther Guerra; Juan de Lara; Marsha Chechik; Rick Salay (IEEE Trans. Software Eng., 2022)