Rick Salay - RankMe

96 papers A* 4A 14B 9C 2Journal 24Unranked 39

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	A Safety Assurable Human-Inspired Perception Architecture. SAFECOMP Workshops Rick Salay, Krzysztof Czarnecki
2022	J	`jnl`	A Safety Assurable Human-Inspired Perception Architecture. CoRR Rick Salay, Krzysztof Czarnecki
2022	A*	`conf`	If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components. ICSE Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Rick Salay, Huakun Shen, Marsha Chechik
2022	J	`jnl`	If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components. CoRR Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Rick Salay, Huakun Shen, Marsha Chechik
2022	—	`conf`	Out-of-Distribution Detection for LiDAR-based 3D Object Detection. ITSC Chengjie Huang, Van Duong Nguyen, Vahdat Abdelzad, Christopher Gus Mannes, Luke Rowe, Benjamin Thérien, Rick Salay, Krzysztof Czarnecki
2022	J	`jnl`	Out-of-Distribution Detection for LiDAR-based 3D Object Detection. CoRR Chengjie Huang, Van Duong Nguyen, Vahdat Abdelzad, Christopher Gus Mannes, Luke Rowe, Benjamin Thérien, Rick Salay, Krzysztof Czarnecki
2022	J	`jnl`	Property Satisfiability Analysis for Product Lines of Modelling Languages. IEEE Trans. Software Eng. Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay
2021	—	`conf`	Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. NFM Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata
2021	J	`jnl`	Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. CoRR Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata
2021	J	`jnl`	The missing link: Developing a safety case for perception components in automated driving. CoRR Rick Salay, Krzysztof Czarnecki, Hiroshi Kuwajima, Hirotoshi Yasuoka, Toshihiro Nakae, Vahdat Abdelzad, Chengjie Huang, Maximilian Kahn, Van Duong Nguyen
2020	J	`jnl`	A Framework for Temporal Verification Support in Domain-Specific Modelling. IEEE Trans. Software Eng. Bart Meyers, Hans Vangheluwe, Joachim Denil, Rick Salay
2020	—	`conf`	Accelerating the Training of Convolutional Neural Networks for Image Segmentation with Deep Active Learning. ITSC Weitao Chen, Rick Salay, Sean Sedwards, Vahdat Abdelzad, Krzysztof Czarnecki
2020	J	`jnl`	Heterogeneous megamodel management using collection operators. Softw. Syst. Model. Rick Salay, Sahar Kokaly, Alessio Di Sandro, Nick L. S. Fung, Marsha Chechik
2020	B	`conf`	Just Enough Formality in Assurance Argument Structures. SAFECOMP Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik
2020	—	`conf`	MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts. MoDELS (Companion) Alessio Di Sandro, Gehan M. K. Selim, Rick Salay, Torin Viger, Marsha Chechik, Sahar Kokaly
2020	—	`conf`	PURSS: Towards Perceptual Uncertainty Aware Responsibility Sensitive Safety with ML. SafeAI@AAAI Rick Salay, Krzysztof Czarnecki, Maria Soledad Elli, Ignacio J. Alvarez, Sean Sedwards, Jack Weast
2020	J	`jnl`	The Effect of Optimization Methods on the Robustness of Out-of-Distribution Detection Approaches. CoRR Vahdat Abdelzad, Krzysztof Czarnecki, Rick Salay
2020	—	`conf`	Towards Requirements Specification for Machine-learned Perception Based on Human Performance. AIRE@RE Boyue Caroline Hu, Rick Salay, Krzysztof Czarnecki, Mona Rahimi, Gehan M. K. Selim, Marsha Chechik
2019	A	`conf`	A Safety Analysis Method for Perceptual Components in Automated Driving. ISSRE Rick Salay, Matt Angus, Krzysztof Czarnecki
2019	J	`jnl`	Analysis of Confident-Classifiers for Out-of-distribution Detection. CoRR Sachin Vernekar, Ashish Gaurav, Taylor Denouden, Buu Phan, Vahdat Abdelzad, Rick Salay, Krzysztof Czarnecki
2019	—	`conf`	Bayesian Uncertainty Quantification with Synthetic Data. SAFECOMP Workshops Buu Phan, Samin Khan, Rick Salay, Krzysztof Czarnecki
2019	J	`jnl`	Contents for a Model-Based Software Engineering Body of Knowledge. Softw. Syst. Model. 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
2019	J	`jnl`	Detecting Out-of-Distribution Inputs in Deep Neural Networks Using an Early-Layer Output. CoRR Vahdat Abdelzad, Krzysztof Czarnecki, Rick Salay, Taylor Denouden, Sachin Vernekar, Buu Phan
2019	J	`jnl`	Efficacy of Pixel-Level OOD Detection for Semantic Segmentation. CoRR Matt Angus, Krzysztof Czarnecki, Rick Salay
2019	—	`conf`	Improving ML Safety with Partial Specifications. SAFECOMP Workshops Rick Salay, Krzysztof Czarnecki
2019	J	`jnl`	Lifting Datalog-Based Analyses to Software Product Lines. CoRR Ramy Shahin, Marsha Chechik, Rick Salay
2019	—	`conf`	Lifting Datalog-based analyses to software product lines. ESEC/SIGSOFT FSE Ramy Shahin, Marsha Chechik, Rick Salay
2019	J	`jnl`	Out-of-distribution Detection in Classifiers via Generation. CoRR Sachin Vernekar, Ashish Gaurav, Vahdat Abdelzad, Taylor Denouden, Rick Salay, Krzysztof Czarnecki
2019	—	`conf`	ProcSy: Procedural Synthetic Dataset Generation Towards Influence Factor Studies Of Semantic Segmentation Networks. CVPR Workshops Samin Khan, Buu Phan, Rick Salay, Krzysztof Czarnecki
2019	—	`conf`	Querying Automotive System Models and Safety Artifacts with MMINT and Viatra. MoDELS (Companion) Alessio Di Sandro, Sahar Kokaly, Rick Salay, Marsha Chechik
2019	B	`conf`	Software Assurance in an Uncertain World. FASE Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi
2019	J	`jnl`	Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving. CoRR Krzysztof Czarnecki, Rick Salay
2019	—	`conf`	Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework. VSTTE Marsha Chechik, Sahar Kokaly, Mona Rahimi, Rick Salay, Torin Viger
2018	B	`conf`	An Automated Vehicle Safety Concept Based on Runtime Restriction of the Operational Design Domain. Intelligent Vehicles Symposium Ian Colwell, Buu Phan, Shahwar Saleem, Rick Salay, Krzysztof Czarnecki
2018	B	`conf`	Analysing meta-model product lines. SLE Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay
2018	J	`jnl`	Calibrating Uncertainties in Object Localization Task. CoRR Buu Phan, Rick Salay, Krzysztof Czarnecki, Vahdat Abdelzad, Taylor Denouden, Sachin Vernekar
2018	—	`conf`	How do we teach modelling and model-driven engineering?: a survey. MoDELS (Companion) 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
2018	J	`jnl`	Improving Reconstruction Autoencoder Out-of-distribution Detection with Mahalanobis Distance. CoRR Taylor Denouden, Rick Salay, Krzysztof Czarnecki, Vahdat Abdelzad, Buu Phan, Sachin Vernekar
2018	—	`conf`	MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases. SAFECOMP Workshops Nick L. S. Fung, Sahar Kokaly, Alessio Di Sandro, Rick Salay, Marsha Chechik
2018	A	`conf`	Model Transformation Product Lines. MoDELS Juan de Lara, Esther Guerra, Marsha Chechik, Rick Salay
2018	—	`conf`	Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving. SAFECOMP Workshops Krzysztof Czarnecki, Rick Salay
2018	—	`conf`	Towards a body of knowledge for model-based software engineering. MoDELS (Companion) 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
2018	C	`conf`	Transformation of Software Product Lines. Software Engineering Gabriele Taentzer, Rick Salay, Daniel Strüber, Marsha Chechik
2018	J	`jnl`	Using Machine Learning Safely in Automotive Software: An Assessment and Adaption of Software Process Requirements in ISO 26262. CoRR Rick Salay, Krzysztof Czarnecki
2017	J	`jnl`	An Analysis of ISO 26262: Using Machine Learning Safely in Automotive Software. CoRR Rick Salay, Rodrigo Queiroz, Krzysztof Czarnecki
2017	—	`conf`	Modeling Frames. MoDELS (Satellite Events) Stefan Klikovits, Joachim Denil, Alexandre Muzy, Rick Salay
2017	B	`conf`	Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach. SAFECOMP Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum
2017	A	`conf`	Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty. MoDELS Michalis Famelis, Julia Rubin, Krzysztof Czarnecki, Rick Salay, Marsha Chechik
2017	—	`conf`	Towards Agile Model-based Systems Engineering. MoDELS (Satellite Events) Joachim Denil, Rick Salay, Chris Paredis, Hans Vangheluwe
2017	A	`conf`	Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory. MoDELS Gabriele Taentzer, Rick Salay, Daniel Strüber, Marsha Chechik
2016	A	`conf`	A model management approach for assurance case reuse due to system evolution. MoDELS Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik
2016	—	`conf`	Correct Reuse of Transformations is Hard to Guarantee. ICMT Rick Salay, Steffen Zschaler, Marsha Chechik
2016	—	`conf`	Heterogeneous Megamodel Slicing for Model Evolution. ME@MoDELS Rick Salay, Sahar Kokaly, Marsha Chechik, Tom Maibaum
2016	—	`conf`	Model management for regulatory compliance: a position paper. MiSE@ICSE Sahar Kokaly, Rick Salay, Mehrdad Sabetzadeh, Marsha Chechik, Tom Maibaum
2016	J	`jnl`	Model transformation intents and their properties. Softw. Syst. Model. Levi Lúcio, Moussa Amrani, Juergen Dingel, Leen Lambers, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer
2016	B	`conf`	Perspectives of Model Transformation Reuse. IFM Marsha Chechik, Michalis Famelis, Rick Salay, Daniel Strüber
2016	—	`ed.`	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. MoDELS (Doctoral Symposium) Shiva Nejati, Rick Salay
2015	B	`conf`	A Generalized Formal Framework for Partial Modeling. FASE Rick Salay, Marsha Chechik
2015	J	`jnl`	A Methodology for Verifying Refinements of Partial Models. J. Object Technol. Rick Salay, Marsha Chechik, Michalis Famelis, Jan Gorzny
2015	A	`conf`	Enriching megamodel management with collection-based operators. MoDELS Rick Salay, Sahar Kokaly, Alessio Di Sandro, Marsha Chechik
2015	—	`conf`	Integrating Crowd Intelligence into Software. CSI-SE Rick Salay, Fabiano Dalpiaz, Marsha Chechik
2015	—	`conf`	MMINT: A Graphical Tool for Interactive Model Management. P&D@MoDELS Alessio Di Sandro, Rick Salay, Michalis Famelis, Sahar Kokaly, Marsha Chechik
2015	—	`conf`	MU-MMINT: An IDE for Model Uncertainty. ICSE (2) Michalis Famelis, Naama Ben-David, Alessio Di Sandro, Rick Salay, Marsha Chechik
2015	—	`conf`	Migrating Automotive Product Lines: A Case Study. ICMT 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
2015	—	`ed.`	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. AMT@MoDELS Jürgen Dingel, Sahar Kokaly, Levi Lucio, Rick Salay, Hans Vangheluwe
2015	—	`conf`	Property-Based Methods for Collaborative Model Development. GEMOC+MPM@MoDELS Marsha Chechik, Fabiano Dalpiaz, Csaba Debreceni, Jennifer Horkoff, István Ráth, Rick Salay, Dániel Varró
2015	—	`conf`	Transformation Reuse: What is the Intent? AMT@MoDELS Rick Salay, Steffen Zschaler, Marsha Chechik
2015	—	`conf`	Using the crowds to satisfy unbounded requirements. CrowdRE@RE Fabiano Dalpiaz, Michal Korenko, Rick Salay, Marsha Chechik
2014	A*	`conf`	Lifting model transformations to product lines. ICSE Rick Salay, Michalis Famelis, Julia Rubin, Alessio Di Sandro, Marsha Chechik
2014	J	`jnl`	Report on the First Workshop On the Globalization of Modeling Languages. CoRR Benoît Combemale, Julien De Antoni, Robert B. France, Frédéric Boulanger, Sébastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler
2014	A	`conf`	Supporting early decision-making in the presence of uncertainty. RE Jennifer Horkoff, Rick Salay, Marsha Chechik, Alessio Di Sandro
2014	—	`conf`	Towards an Approach for Orchestrating Design Space Exploration Problems to Fix Multi-Paradigm Inconsistencies. MPM@MoDELS Sebastian J. I. Herzig, Benjamin Kruse, Federico Ciccozzi, Joachim Denil, Rick Salay, Dániel Varró
2014	—	`conf`	Using developer conversations to resolve uncertainty in software development: a position paper. RSSE@ICSE Ahmed Shah Mashiyat, Michalis Famelis, Rick Salay, Marsha Chechik
2013	B	`conf`	Change Propagation due to Uncertainty Change. FASE Rick Salay, Jan Gorzny, Marsha Chechik
2013	J	`jnl`	Managing requirements uncertainty with partial models. Requir. Eng. Rick Salay, Marsha Chechik, Jennifer Horkoff, Alessio Di Sandro
2013	—	`ch.`	PWWM: A Personal Web Workflow Methodology. The Personal Web Marsha Chechik, Jocelyn Simmonds, Sotirios Liaskos, Shiva Nejati, Mehrdad Sabetzadeh, Rick Salay
2013	—	`conf`	Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013). GEMOC+AMINO@MoDELS Benoît Combemale, Julien Deantoni, Robert B. France, Frédéric Boulanger, Sébastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler
2013	—	`conf`	Supporting Agility in MDE Through Modeling Language Relaxation. XM@MoDELS Rick Salay, Marsha Chechik
2013	—	`conf`	Towards a Catalog of Non-Functional Requirements in Model Transformation Languages. AMT@MoDELS Soroosh Nalchigar, Rick Salay, Marsha Chechik
2013	A	`conf`	Transformation of Models Containing Uncertainty. MoDELS Michalis Famelis, Rick Salay, Alessio Di Sandro, Marsha Chechik
2012	B	`conf`	Language Independent Refinement Using Partial Modeling. FASE Rick Salay, Michalis Famelis, Marsha Chechik
2012	A	`conf`	Managing Related Models in Vehicle Control Software Development. MoDELS Rick Salay, Shige Wang, Vivien Suen
2012	A	`conf`	Managing requirements uncertainty with partial models. RE Rick Salay, Marsha Chechik, Jennifer Horkoff
2012	A*	`conf`	Partial models: Towards modeling and reasoning with uncertainty. ICSE Michalis Famelis, Rick Salay, Marsha Chechik
2012	C	`conf`	The semantics of partial model transformations. MiSE Michalis Famelis, Rick Salay, Marsha Chechik
2012	A	`conf`	Towards a Methodology for Verifying Partial Model Refinements. ICST Rick Salay, Marsha Chechik, Jan Gorzny
2012	—	`conf`	Towards a model transformation intent catalog. AMT@MoDELS Moussa Amrani, Jürgen Dingel, Leen Lambers, Levi Lúcio, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer
2011	—	`conf`	Partial models: a position paper. MoDeVVa@MoDELS Michalis Famelis, Shoham Ben-David, Marsha Chechik, Rick Salay
2011	—	`—`	Using Modeler Intent in Software Engineering. Rick Salay
2010	A	`conf`	The Model Role Level - A Vision. ER Rick Salay, John Mylopoulos
2009	A	`conf`	Improving Model Quality Using Diagram Coverage Criteria. CAiSE Rick Salay, John Mylopoulos
2009	—	`conf`	Relationship-based change propagation: A case study. MiSE@ICSE Marsha Chechik, Winnie Lai, Shiva Nejati, Jordi Cabot, Zinovy Diskin, Steve M. Easterbrook, Mehrdad Sabetzadeh, Rick Salay
2009	A	`conf`	Using Macromodels to Manage Collections of Related Models. CAiSE Rick Salay, John Mylopoulos, Steve M. Easterbrook
2008	A*	`conf`	Managing Models through Macromodeling. ASE Rick Salay, John Mylopoulos, Steve M. Easterbrook
2007	—	`conf`	An Eclipse-based tool framework for software model management. ETX Rick Salay, Marsha Chechik, Steve M. Easterbrook, Zinovy Diskin, Pete McCormick, Shiva Nejati, Mehrdad Sabetzadeh, Petcharat Viriyakattiyaporn
2007	—	`conf`	Towards a Formal Framework for Multimodeling in Software Engineering. MoDELS (Doctoral Symposium) Rick Salay