Rick Salay

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 56

Top Topics

Modeling Language

Semantic Segmentation

Top Venues

SAFECOMP Workshops

MoDELS (Companion)

Publications

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)
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 (2022)
Rick Salay, Krzysztof Czarnecki
A Safety Assurable Human-Inspired Perception Architecture. SAFECOMP Workshops (2022)
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 (2022)
Rick Salay, Krzysztof Czarnecki
A Safety Assurable Human-Inspired Perception Architecture. CoRR (2022)
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)
Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay
Property Satisfiability Analysis for Product Lines of Modelling Languages. IEEE Trans. Software Eng. 48 (2) (2022)
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)
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 (2021)
Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. CoRR (2021)
Vahdat Abdelzad, Krzysztof Czarnecki, Rick Salay
The Effect of Optimization Methods on the Robustness of Out-of-Distribution Detection Approaches. CoRR (2020)
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)
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)
Rick Salay, Sahar Kokaly, Alessio Di Sandro, Nick L. S. Fung, Marsha Chechik
Heterogeneous megamodel management using collection operators. Softw. Syst. Model. 19 (1) (2020)
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)
Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik
Just Enough Formality in Assurance Argument Structures. SAFECOMP (2020)
Bart Meyers, Hans Vangheluwe, Joachim Denil, Rick Salay
A Framework for Temporal Verification Support in Domain-Specific Modelling. IEEE Trans. Software Eng. 46 (4) (2020)
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)
Marsha Chechik, Sahar Kokaly, Mona Rahimi, Rick Salay, Torin Viger
Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework. VSTTE (2019)
Samin Khan, Buu Phan, Rick Salay, Krzysztof Czarnecki
ProcSy: Procedural Synthetic Dataset Generation Towards Influence Factor Studies Of Semantic Segmentation Networks. CVPR Workshops (2019)
Krzysztof Czarnecki, Rick Salay
Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving. CoRR (2019)
Rick Salay, Matt Angus, Krzysztof Czarnecki
A Safety Analysis Method for Perceptual Components in Automated Driving. ISSRE (2019)
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) (2019)
Ramy Shahin, Marsha Chechik, Rick Salay
Lifting Datalog-Based Analyses to Software Product Lines. CoRR (2019)
Alessio Di Sandro, Sahar Kokaly, Rick Salay, Marsha Chechik
Querying Automotive System Models and Safety Artifacts with MMINT and Viatra. MoDELS (Companion) (2019)
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 (2019)
Sachin Vernekar, Ashish Gaurav, Taylor Denouden, Buu Phan, Vahdat Abdelzad, Rick Salay, Krzysztof Czarnecki
Analysis of Confident-Classifiers for Out-of-distribution Detection. CoRR (2019)
Sachin Vernekar, Ashish Gaurav, Vahdat Abdelzad, Taylor Denouden, Rick Salay, Krzysztof Czarnecki
Out-of-distribution Detection in Classifiers via Generation. CoRR (2019)
Ramy Shahin, Marsha Chechik, Rick Salay
Lifting Datalog-based analyses to software product lines. ESEC/SIGSOFT FSE (2019)
Rick Salay, Krzysztof Czarnecki
Improving ML Safety with Partial Specifications. SAFECOMP Workshops (2019)
Buu Phan, Samin Khan, Rick Salay, Krzysztof Czarnecki
Bayesian Uncertainty Quantification with Synthetic Data. SAFECOMP Workshops (2019)
Matt Angus, Krzysztof Czarnecki, Rick Salay
Efficacy of Pixel-Level OOD Detection for Semantic Segmentation. CoRR (2019)
Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi
Software Assurance in an Uncertain World. FASE (2019)
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)
Taylor Denouden, Rick Salay, Krzysztof Czarnecki, Vahdat Abdelzad, Buu Phan, Sachin Vernekar
Improving Reconstruction Autoencoder Out-of-distribution Detection with Mahalanobis Distance. CoRR (2018)
Krzysztof Czarnecki, Rick Salay
Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving. SAFECOMP Workshops (2018)
Rick Salay, Krzysztof Czarnecki
Using Machine Learning Safely in Automotive Software: An Assessment and Adaption of Software Process Requirements in ISO 26262. CoRR (2018)
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)
Gabriele Taentzer, Rick Salay, Daniel Strüber, Marsha Chechik
Transformation of Software Product Lines. Software Engineering (2018)
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)
Juan de Lara, Esther Guerra, Marsha Chechik, Rick Salay
Model Transformation Product Lines. MoDELS (2018)
Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay
Analysing meta-model product lines. SLE (2018)
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)
Buu Phan, Rick Salay, Krzysztof Czarnecki, Vahdat Abdelzad, Taylor Denouden, Sachin Vernekar
Calibrating Uncertainties in Object Localization Task. CoRR (2018)
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)
Gabriele Taentzer, Rick Salay, Daniel Strüber, Marsha Chechik
Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory. MoDELS (2017)
Rick Salay, Rodrigo Queiroz, Krzysztof Czarnecki
An Analysis of ISO 26262: Using Machine Learning Safely in Automotive Software. CoRR (2017)
Michalis Famelis, Julia Rubin, Krzysztof Czarnecki, Rick Salay, Marsha Chechik
Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty. MoDELS (2017)
Joachim Denil, Rick Salay, Chris Paredis, Hans Vangheluwe
Towards Agile Model-based Systems Engineering. MoDELS (Satellite Events) (2017)
Stefan Klikovits, Joachim Denil, Alexandre Muzy, Rick Salay
Modeling Frames. MoDELS (Satellite Events) (2017)
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) (2016)
Rick Salay, Sahar Kokaly, Marsha Chechik, Tom Maibaum
Heterogeneous Megamodel Slicing for Model Evolution. ME@MoDELS (2016)
Marsha Chechik, Michalis Famelis, Rick Salay, Daniel Strüber
Perspectives of Model Transformation Reuse. IFM (2016)
Sahar Kokaly, Rick Salay, Mehrdad Sabetzadeh, Marsha Chechik, Tom Maibaum
Model management for regulatory compliance: a position paper. MiSE@ICSE (2016)
Rick Salay, Steffen Zschaler, Marsha Chechik
Correct Reuse of Transformations is Hard to Guarantee. ICMT (2016)
Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik
A model management approach for assurance case reuse due to system evolution. MoDELS (2016)
Fabiano Dalpiaz, Michal Korenko, Rick Salay, Marsha Chechik
Using the crowds to satisfy unbounded requirements. CrowdRE@RE (2015)
Rick Salay, Steffen Zschaler, Marsha Chechik
Transformation Reuse: What is the Intent? AMT@MoDELS (2015)
Rick Salay, Fabiano Dalpiaz, Marsha Chechik
Integrating Crowd Intelligence into Software. CSI-SE (2015)
Rick Salay, Marsha Chechik, Michalis Famelis, Jan Gorzny
A Methodology for Verifying Refinements of Partial Models. J. Object Technol. 14 (3) (2015)
Rick Salay, Marsha Chechik
A Generalized Formal Framework for Partial Modeling. FASE (2015)
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)
Alessio Di Sandro, Rick Salay, Michalis Famelis, Sahar Kokaly, Marsha Chechik
MMINT: A Graphical Tool for Interactive Model Management. P&D@MoDELS (2015)
Rick Salay, Sahar Kokaly, Alessio Di Sandro, Marsha Chechik
Enriching megamodel management with collection-based operators. MoDELS (2015)
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)
Michalis Famelis, Naama Ben-David, Alessio Di Sandro, Rick Salay, Marsha Chechik
MU-MMINT: An IDE for Model Uncertainty. ICSE (2) (2015)
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)
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 (2014)
Jennifer Horkoff, Rick Salay, Marsha Chechik, Alessio Di Sandro
Supporting early decision-making in the presence of uncertainty. RE (2014)
Ahmed Shah Mashiyat, Michalis Famelis, Rick Salay, Marsha Chechik
Using developer conversations to resolve uncertainty in software development: a position paper. RSSE@ICSE (2014)
Rick Salay, Michalis Famelis, Julia Rubin, Alessio Di Sandro, Marsha Chechik
Lifting model transformations to product lines. ICSE (2014)
Rick Salay, Marsha Chechik
Supporting Agility in MDE Through Modeling Language Relaxation. XM@MoDELS (2013)
Michalis Famelis, Rick Salay, Alessio Di Sandro, Marsha Chechik
Transformation of Models Containing Uncertainty. MoDELS (2013)
Rick Salay, Marsha Chechik, Jennifer Horkoff, Alessio Di Sandro
Managing requirements uncertainty with partial models. Requir. Eng. 18 (2) (2013)
Rick Salay, Jan Gorzny, Marsha Chechik
Change Propagation due to Uncertainty Change. FASE (2013)
Soroosh Nalchigar, Rick Salay, Marsha Chechik
Towards a Catalog of Non-Functional Requirements in Model Transformation Languages. AMT@MoDELS (2013)
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)
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)
Rick Salay, Michalis Famelis, Marsha Chechik
Language Independent Refinement Using Partial Modeling. FASE (2012)
Michalis Famelis, Rick Salay, Marsha Chechik
Partial models: Towards modeling and reasoning with uncertainty. ICSE (2012)
Rick Salay, Marsha Chechik, Jennifer Horkoff
Managing requirements uncertainty with partial models. RE (2012)
Michalis Famelis, Rick Salay, Marsha Chechik
The semantics of partial model transformations. MiSE (2012)
Rick Salay, Shige Wang, Vivien Suen
Managing Related Models in Vehicle Control Software Development. MoDELS (2012)
Rick Salay, Marsha Chechik, Jan Gorzny
Towards a Methodology for Verifying Partial Model Refinements. ICST (2012)
Michalis Famelis, Shoham Ben-David, Marsha Chechik, Rick Salay
Partial models: a position paper. MoDeVVa@MoDELS (2011)
Rick Salay, John Mylopoulos
The Model Role Level - A Vision. ER (2010)
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)
Rick Salay, John Mylopoulos, Steve M. Easterbrook
Using Macromodels to Manage Collections of Related Models. CAiSE (2009)
Rick Salay, John Mylopoulos
Improving Model Quality Using Diagram Coverage Criteria. CAiSE (2009)
Rick Salay, John Mylopoulos, Steve M. Easterbrook
Managing Models through Macromodeling. ASE (2008)
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)
Rick Salay
Towards a Formal Framework for Multimodeling in Software Engineering. MoDELS (Doctoral Symposium) (2007)