Skip to content

Rick Salay

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

56

Venues

13

Active years

2007–2022

Best venue rank

A*

Where they publish

Papers

56 indexed papers, newest first.

YearVenueTitleAuthors
2022ICSEIf 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
2022SAFECOMPA Safety Assurable Human-Inspired Perception Architecture.Rick Salay, Krzysztof Czarnecki
2020AAAIPURSS: Towards Perceptual Uncertainty Aware Responsibility Sensitive Safety with ML.Rick Salay, Krzysztof Czarnecki, Maria Soledad Elli, Ignacio J. Alvarez, Sean Sedwards, Jack Weast
2020MODELSMMINT-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
2020SAFECOMPJust Enough Formality in Assurance Argument Structures.Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik
2019CVPRProcSy: Procedural Synthetic Dataset Generation Towards Influence Factor Studies Of Semantic Segmentation Networks.Samin Khan, Buu Phan, Rick Salay, Krzysztof Czarnecki
2019FASESoftware Assurance in an Uncertain World.Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi
2019ISSREA Safety Analysis Method for Perceptual Components in Automated Driving.Rick Salay, Matt Angus, Krzysztof Czarnecki
2019MODELSQuerying Automotive System Models and Safety Artifacts with MMINT and Viatra.Alessio Di Sandro, Sahar Kokaly, Rick Salay, Marsha Chechik
2019SAFECOMPBayesian Uncertainty Quantification with Synthetic Data.Buu Phan, Samin Khan, Rick Salay, Krzysztof Czarnecki
2019SAFECOMPImproving ML Safety with Partial Specifications.Rick Salay, Krzysztof Czarnecki
2018MODELSTowards a body of knowledge for model-based software engineering.Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sbastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer
2018MODELSHow do we teach modelling and model-driven engineering?: a survey.Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sbastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer
2018MODELSModel Transformation Product Lines.Juan de Lara, Esther Guerra, Marsha Chechik, Rick Salay
2018SAFECOMPTowards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving.Krzysztof Czarnecki, Rick Salay
2018SAFECOMPMMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases.Nick L. S. Fung, Sahar Kokaly, Alessio Di Sandro, Rick Salay, Marsha Chechik
2018SLEAnalysing meta-model product lines.Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay
2017MODELSTowards Agile Model-based Systems Engineering.Joachim Denil, Rick Salay, Chris Paredis, Hans Vangheluwe
2017MODELSSoftware Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty.Michalis Famelis, Julia Rubin, Krzysztof Czarnecki, Rick Salay, Marsha Chechik
2017MODELSModeling Frames.Stefan Klikovits, Joachim Denil, Alexandre Muzy, Rick Salay
2017MODELSTransformations of Software Product Lines: A Generalizing Framework Based on Category Theory.Gabriele Taentzer, Rick Salay, Daniel Strber, Marsha Chechik
2017SAFECOMPSafety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach.Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum
2016ICSEModel management for regulatory compliance: a position paper.Sahar Kokaly, Rick Salay, Mehrdad Sabetzadeh, Marsha Chechik, Tom Maibaum
2016IFMPerspectives of Model Transformation Reuse.Marsha Chechik, Michalis Famelis, Rick Salay, Daniel Strber
2016MODELSA model management approach for assurance case reuse due to system evolution.Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik
2016MODELSHeterogeneous Megamodel Slicing for Model Evolution.Rick Salay, Sahar Kokaly, Marsha Chechik, Tom Maibaum
2015FASEA Generalized Formal Framework for Partial Modeling.Rick Salay, Marsha Chechik
2015ICSEMU-MMINT: An IDE for Model Uncertainty.Michalis Famelis, Naama Ben-David, Alessio Di Sandro, Rick Salay, Marsha Chechik
2015ICSEIntegrating Crowd Intelligence into Software.Rick Salay, Fabiano Dalpiaz, Marsha Chechik
2015MODELSProperty-Based Methods for Collaborative Model Development.Marsha Chechik, Fabiano Dalpiaz, Csaba Debreceni, Jennifer Horkoff, Istvn Rth, Rick Salay, Dniel Varr
2015MODELSEnriching megamodel management with collection-based operators.Rick Salay, Sahar Kokaly, Alessio Di Sandro, Marsha Chechik
2015MODELSTransformation Reuse: What is the Intent?Rick Salay, Steffen Zschaler, Marsha Chechik
2015MODELSMMINT: A Graphical Tool for Interactive Model Management.Alessio Di Sandro, Rick Salay, Michalis Famelis, Sahar Kokaly, Marsha Chechik
2015REUsing the crowds to satisfy unbounded requirements.Fabiano Dalpiaz, Michal Korenko, Rick Salay, Marsha Chechik
2014ICSEUsing developer conversations to resolve uncertainty in software development: a position paper.Ahmed Shah Mashiyat, Michalis Famelis, Rick Salay, Marsha Chechik
2014ICSELifting model transformations to product lines.Rick Salay, Michalis Famelis, Julia Rubin, Alessio Di Sandro, Marsha Chechik
2014MODELSTowards 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, Dniel Varr
2014RESupporting early decision-making in the presence of uncertainty.Jennifer Horkoff, Rick Salay, Marsha Chechik, Alessio Di Sandro
2013FASEChange Propagation due to Uncertainty Change.Rick Salay, Jan Gorzny, Marsha Chechik
2013MODELSReport on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013).Benot Combemale, Julien DeAntoni, Robert B. France, Frdric Boulanger, Sbastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler
2013MODELSTransformation of Models Containing Uncertainty.Michalis Famelis, Rick Salay, Alessio Di Sandro, Marsha Chechik
2013MODELSTowards a Catalog of Non-Functional Requirements in Model Transformation Languages.Soroosh Nalchigar, Rick Salay, Marsha Chechik
2013MODELSSupporting Agility in MDE Through Modeling Language Relaxation.Rick Salay, Marsha Chechik
2012FASELanguage Independent Refinement Using Partial Modeling.Rick Salay, Michalis Famelis, Marsha Chechik
2012ICSEPartial models: Towards modeling and reasoning with uncertainty.Michalis Famelis, Rick Salay, Marsha Chechik
2012ICSEThe semantics of partial model transformations.Michalis Famelis, Rick Salay, Marsha Chechik
2012ICSTTowards a Methodology for Verifying Partial Model Refinements.Rick Salay, Marsha Chechik, Jan Gorzny
2012MODELSTowards a model transformation intent catalog.Moussa Amrani, Jrgen Dingel, Leen Lambers, Levi Lcio, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer
2012MODELSManaging Related Models in Vehicle Control Software Development.Rick Salay, Shige Wang, Vivien Suen
2012REManaging requirements uncertainty with partial models.Rick Salay, Marsha Chechik, Jennifer Horkoff
2011MODELSPartial models: a position paper.Michalis Famelis, Shoham Ben-David, Marsha Chechik, Rick Salay
2010ERThe Model Role Level - A Vision.Rick Salay, John Mylopoulos
2009CaiSEImproving Model Quality Using Diagram Coverage Criteria.Rick Salay, John Mylopoulos
2009CaiSEUsing Macromodels to Manage Collections of Related Models.Rick Salay, John Mylopoulos, Steve M. Easterbrook
2009ICSERelationship-based change propagation: A case study.Marsha Chechik, Winnie Lai, Shiva Nejati, Jordi Cabot, Zinovy Diskin, Steve M. Easterbrook, Mehrdad Sabetzadeh, Rick Salay
2007MODELSTowards a Formal Framework for Multimodeling in Software Engineering.Rick Salay