Rick Salay

According to our database, Rick Salay authored at least 88 papers between 2007 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Property Satisfiability Analysis for Product Lines of Modelling Languages.

Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay

IEEE Trans. Software Eng., 2022

A Safety Assurable Human-Inspired Perception Architecture.

Rick Salay, Krzysztof Czarnecki

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops, 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

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components.

Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Rick Salay, Huakun Shen, Marsha Chechik

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

The missing link: Developing a safety case for perception components in automated driving.

Rick Salay, Krzysztof Czarnecki, Hiroshi Kuwajima, Hirotoshi Yasuoka, Toshihiro Nakae, Vahdat Abdelzad, Chengjie Huang, Maximilian Kahn, Van Duong Nguyen

CoRR, 2021

Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty.

Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

2020

A Framework for Temporal Verification Support in Domain-Specific Modelling.

Bart Meyers, Hans Vangheluwe, Joachim Denil, Rick Salay

IEEE Trans. Software Eng., 2020

Heterogeneous megamodel management using collection operators.

Rick Salay, Sahar Kokaly, Alessio Di Sandro, Nick L. S. Fung, Marsha Chechik

Softw. Syst. Model., 2020

The Effect of Optimization Methods on the Robustness of Out-of-Distribution Detection Approaches.

Vahdat Abdelzad, Krzysztof Czarnecki, Rick Salay

CoRR, 2020

Just Enough Formality in Assurance Argument Structures.

Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik

Proceedings of the Computer Safety, Reliability, and Security, 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

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 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

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Towards Requirements Specification for Machine-learned Perception Based on Human Performance.

Boyue Caroline Hu, Rick Salay, Krzysztof Czarnecki, Mona Rahimi, Gehan M. K. Selim, Marsha Chechik

Proceedings of the 7th IEEE International Workshop on Artificial Intelligence for Requirements Engineering, 2020

PURSS: Towards Perceptual Uncertainty Aware Responsibility Sensitive Safety with ML.

Rick Salay, Krzysztof Czarnecki, Maria Soledad Elli, Ignacio J. Alvarez, Sean Sedwards, Jack Weast

Proceedings of the Workshop on Artificial Intelligence Safety, 2020

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, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabriele Taentzer, Antonio Vallecillo, Manuel Wimmer

Softw. Syst. Model., 2019

Efficacy of Pixel-Level OOD Detection for Semantic Segmentation.

Matt Angus, Krzysztof Czarnecki, Rick Salay

CoRR, 2019

Detecting Out-of-Distribution Inputs in Deep Neural Networks Using an Early-Layer Output.

Vahdat Abdelzad, Krzysztof Czarnecki, Rick Salay, Taylor Denouden, Sachin Vernekar, Buu Phan

CoRR, 2019

Out-of-distribution Detection in Classifiers via Generation.

Sachin Vernekar, Ashish Gaurav, Vahdat Abdelzad, Taylor Denouden, Rick Salay, Krzysztof Czarnecki

CoRR, 2019

Analysis of Confident-Classifiers for Out-of-distribution Detection.

Sachin Vernekar, Ashish Gaurav, Taylor Denouden, Buu Phan, Vahdat Abdelzad, Rick Salay, Krzysztof Czarnecki

CoRR, 2019

Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework.

Marsha Chechik, Sahar Kokaly, Mona Rahimi, Rick Salay, Torin Viger

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

Lifting Datalog-based analyses to software product lines.

Ramy Shahin, Marsha Chechik, Rick Salay

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Improving ML Safety with Partial Specifications.

Rick Salay, Krzysztof Czarnecki

Proceedings of the Computer Safety, Reliability, and Security, 2019

Bayesian Uncertainty Quantification with Synthetic Data.

Buu Phan, Samin Khan, Rick Salay, Krzysztof Czarnecki

Proceedings of the Computer Safety, Reliability, and Security, 2019

Querying Automotive System Models and Safety Artifacts with MMINT and Viatra.

Alessio Di Sandro, Sahar Kokaly, Rick Salay, Marsha Chechik

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

A Safety Analysis Method for Perceptual Components in Automated Driving.

Rick Salay, Matt Angus, Krzysztof Czarnecki

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Software Assurance in an Uncertain World.

Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi

Proceedings of the Fundamental Approaches to Software Engineering, 2019

ProcSy: Procedural Synthetic Dataset Generation Towards Influence Factor Studies Of Semantic Segmentation Networks.

Samin Khan, Buu Phan, Rick Salay, Krzysztof Czarnecki

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2019

2018

Improving Reconstruction Autoencoder Out-of-distribution Detection with Mahalanobis Distance.

Taylor Denouden, Rick Salay, Krzysztof Czarnecki, Vahdat Abdelzad, Buu Phan, Sachin Vernekar

CoRR, 2018

Calibrating Uncertainties in Object Localization Task.

Buu Phan, Rick Salay, Krzysztof Czarnecki, Vahdat Abdelzad, Taylor Denouden, Sachin Vernekar

CoRR, 2018

Using Machine Learning Safely in Automotive Software: An Assessment and Adaption of Software Process Requirements in ISO 26262.

Rick Salay, Krzysztof Czarnecki

CoRR, 2018

Analysing meta-model product lines.

Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

Transformation of Software Product Lines.

Gabriele Taentzer, Rick Salay, Daniel Strüber, Marsha Chechik

Proceedings of the Software Engineering und Software Management 2018, 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

Proceedings of the Computer Safety, Reliability, and Security, 2018

Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving.

Krzysztof Czarnecki, Rick Salay

Proceedings of the Computer Safety, Reliability, and Security, 2018

Model Transformation Product Lines.

Juan de Lara, Esther Guerra, Marsha Chechik, Rick Salay

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

How do we teach modelling and model-driven engineering?: a survey.

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

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Towards a body of knowledge for model-based software engineering.

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

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

An Automated Vehicle Safety Concept Based on Runtime Restriction of the Operational Design Domain.

Ian Colwell, Buu Phan, Shahwar Saleem, Rick Salay, Krzysztof Czarnecki

Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

2017

An Analysis of ISO 26262: Using Machine Learning Safely in Automotive Software.

Rick Salay, Rodrigo Queiroz, Krzysztof Czarnecki

CoRR, 2017

Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach.

Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum

Proceedings of the Computer Safety, Reliability, and Security, 2017

Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory.

Gabriele Taentzer, Rick Salay, Daniel Strüber, Marsha Chechik

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Modeling Frames.

Stefan Klikovits, Joachim Denil, Alexandre Muzy, Rick Salay

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty.

Michalis Famelis, Julia Rubin, Krzysztof Czarnecki, Rick Salay, Marsha Chechik

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Towards Agile Model-based Systems Engineering.

Joachim Denil, Rick Salay, Chris Paredis, Hans Vangheluwe

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

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

Heterogeneous Megamodel Slicing for Model Evolution.

Rick Salay, Sahar Kokaly, Marsha Chechik, Tom Maibaum

Proceedings of the 10th Workshop on Models and Evolution co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

A model management approach for assurance case reuse due to system evolution.

Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Perspectives of Model Transformation Reuse.

Marsha Chechik, Michalis Famelis, Rick Salay, Daniel Strüber

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Model management for regulatory compliance: a position paper.

Sahar Kokaly, Rick Salay, Mehrdad Sabetzadeh, Marsha Chechik, Tom Maibaum

Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

Correct Reuse of Transformations is Hard to Guarantee.

Rick Salay, Steffen Zschaler, Marsha Chechik

Proceedings of the Theory and Practice of Model Transformations, 2016

2015

A Methodology for Verifying Refinements of Partial Models.

Rick Salay, Marsha Chechik, Michalis Famelis, Jan Gorzny

J. Object Technol., 2015

Using the crowds to satisfy unbounded requirements.

Fabiano Dalpiaz, Michal Korenko, Rick Salay, Marsha Chechik

Proceedings of the 1st IEEE International Workshop on Crowd-Based Requirements Engineering, 2015

MMINT: A Graphical Tool for Interactive Model Management.

Alessio Di Sandro, Rick Salay, Michalis Famelis, Sahar Kokaly, Marsha Chechik

Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Transformation Reuse: What is the Intent?

Rick Salay, Steffen Zschaler, Marsha Chechik

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), 2015

Enriching megamodel management with collection-based operators.

Rick Salay, Sahar Kokaly, Alessio Di Sandro, Marsha Chechik

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 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ó

Proceedings of the Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, 2015

Integrating Crowd Intelligence into Software.

Rick Salay, Fabiano Dalpiaz, Marsha Chechik

Proceedings of the 2nd IEEE/ACM International Workshop on CrowdSourcing in Software Engineering, 2015

MU-MMINT: An IDE for Model Uncertainty.

Michalis Famelis, Naama Ben-David, Alessio Di Sandro, Rick Salay, Marsha Chechik

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 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

Proceedings of the Theory and Practice of Model Transformations, 2015

A Generalized Formal Framework for Partial Modeling.

Rick Salay, Marsha Chechik

Proceedings of the Fundamental Approaches to Software Engineering, 2015

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, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler

CoRR, 2014

Supporting early decision-making in the presence of uncertainty.

Jennifer Horkoff, Rick Salay, Marsha Chechik, Alessio Di Sandro

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 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ó

Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

Lifting model transformations to product lines.

Rick Salay, Michalis Famelis, Julia Rubin, Alessio Di Sandro, Marsha Chechik

Proceedings of the 36th International Conference on Software Engineering, 2014

Using developer conversations to resolve uncertainty in software development: a position paper.

Ahmed Shah Mashiyat, Michalis Famelis, Rick Salay, Marsha Chechik

Proceedings of the 4th International Workshop on Recommendation Systems for Software Engineering, 2014

2013

Managing requirements uncertainty with partial models.

Rick Salay, Marsha Chechik, Jennifer Horkoff, Alessio Di Sandro

Requir. Eng., 2013

Supporting Agility in MDE Through Modeling Language Relaxation.

Rick Salay, Marsha Chechik

Proceedings of the Workshop on Extreme Modeling co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2013), 2013

Towards a Catalog of Non-Functional Requirements in Model Transformation Languages.

Soroosh Nalchigar, Rick Salay, Marsha Chechik

Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), 2013

Transformation of Models Containing Uncertainty.

Michalis Famelis, Rick Salay, Alessio Di Sandro, Marsha Chechik

Proceedings of the Model-Driven Engineering Languages and Systems, 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, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler

Proceedings of the Joint Proceedings of the First International Workshop On the Globalization of Modeling Languages (GEMOC 2013) and the First International Workshop: Towards the Model Driven Organization (AMINO 2013) Co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29, 2013

Change Propagation due to Uncertainty Change.

Rick Salay, Jan Gorzny, Marsha Chechik

Proceedings of the Fundamental Approaches to Software Engineering, 2013

PWWM: A Personal Web Workflow Methodology.

Marsha Chechik, Jocelyn Simmonds, Sotirios Liaskos, Shiva Nejati, Mehrdad Sabetzadeh, Rick Salay

Proceedings of the Personal Web - A Research Agenda, 2013

2012

Managing requirements uncertainty with partial models.

Rick Salay, Marsha Chechik, Jennifer Horkoff

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

Managing Related Models in Vehicle Control Software Development.

Rick Salay, Shige Wang, Vivien Suen

Proceedings of the Model Driven Engineering Languages and Systems, 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

Proceedings of the First Workshop on the Analysis of Model Transformations, 2012

Towards a Methodology for Verifying Partial Model Refinements.

Rick Salay, Marsha Chechik, Jan Gorzny

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

The semantics of partial model transformations.

Michalis Famelis, Rick Salay, Marsha Chechik

Proceedings of the 4th International Workshop on Modeling in Software Engineering, 2012

Partial models: Towards modeling and reasoning with uncertainty.

Michalis Famelis, Rick Salay, Marsha Chechik

Proceedings of the 34th International Conference on Software Engineering, 2012

Language Independent Refinement Using Partial Modeling.

Rick Salay, Michalis Famelis, Marsha Chechik

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

Using Modeler Intent in Software Engineering.

Rick Salay

PhD thesis, 2011

Partial models: a position paper.

Michalis Famelis, Shoham Ben-David, Marsha Chechik, Rick Salay

Proceedings of the 8th International Workshop on Model-Driven Engineering, 2011

2010

The Model Role Level - A Vision.

Rick Salay, John Mylopoulos

Proceedings of the Conceptual Modeling, 2010

2009

Relationship-based change propagation: A case study.

Marsha Chechik, Winnie Lai, Shiva Nejati, Jordi Cabot, Zinovy Diskin, Steve M. Easterbrook, Mehrdad Sabetzadeh, Rick Salay

Proceedings of the ICSE Workshop on Modeling in Software Engineering, 2009

Using Macromodels to Manage Collections of Related Models.

Rick Salay, John Mylopoulos, Steve M. Easterbrook

Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

Improving Model Quality Using Diagram Coverage Criteria.

Rick Salay, John Mylopoulos

Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

2008

Managing Models through Macromodeling.

Rick Salay, John Mylopoulos, Steve M. Easterbrook

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

2007

Towards a Formal Framework for Multimodeling in Software Engineering.

Rick Salay

Proceedings of the Doctoral Symposium at the ACM/IEEE 10th International Conference on Model-Driven Engineering Languages and Systems, 2007

An Eclipse-based tool framework for software model management.

Rick Salay, Marsha Chechik, Steve M. Easterbrook, Zinovy Diskin, Pete McCormick, Shiva Nejati, Mehrdad Sabetzadeh, Petcharat Viriyakattiyaporn

Proceedings of the 2007 OOPSLA workshop on Eclipse Technology eXchange, 2007