Rick Salay

According to our database1, Rick Salay authored at least 86 papers between 2007 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2022
Property Satisfiability Analysis for Product Lines of Modelling Languages.
IEEE Trans. Software Eng., 2022

A Safety Assurable Human-Inspired Perception Architecture.
CoRR, 2022

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

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

Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty.
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

2020
A Framework for Temporal Verification Support in Domain-Specific Modelling.
IEEE Trans. Software Eng., 2020

Heterogeneous megamodel management using collection operators.
Softw. Syst. Model., 2020

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

Just Enough Formality in Assurance Argument Structures.
Proceedings of the Computer Safety, Reliability, and Security, 2020

MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts.
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.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Towards Requirements Specification for Machine-learned Perception Based on Human Performance.
Proceedings of the 7th IEEE International Workshop on Artificial Intelligence for Requirements Engineering, 2020

PURSS: Towards Perceptual Uncertainty Aware Responsibility Sensitive Safety with ML.
Proceedings of the Workshop on Artificial Intelligence Safety, 2020

2019
Contents for a Model-Based Software Engineering Body of Knowledge.
Softw. Syst. Model., 2019

Efficacy of Pixel-Level OOD Detection for Semantic Segmentation.
CoRR, 2019

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

Out-of-distribution Detection in Classifiers via Generation.
CoRR, 2019

Analysis of Confident-Classifiers for Out-of-distribution Detection.
CoRR, 2019

Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

Lifting Datalog-based analyses to software product lines.
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.
Proceedings of the Computer Safety, Reliability, and Security, 2019

Bayesian Uncertainty Quantification with Synthetic Data.
Proceedings of the Computer Safety, Reliability, and Security, 2019

Querying Automotive System Models and Safety Artifacts with MMINT and Viatra.
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.
Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Software Assurance in an Uncertain World.
Proceedings of the Fundamental Approaches to Software Engineering, 2019

ProcSy: Procedural Synthetic Dataset Generation Towards Influence Factor Studies Of Semantic Segmentation Networks.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2019

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

Calibrating Uncertainties in Object Localization Task.
CoRR, 2018

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

Analysing meta-model product lines.
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

Transformation of Software Product Lines.
Proceedings of the Software Engineering und Software Management 2018, 2018

MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases.
Proceedings of the Computer Safety, Reliability, and Security, 2018

Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving.
Proceedings of the Computer Safety, Reliability, and Security, 2018

Model Transformation Product Lines.
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.
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.
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.
Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

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

Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach.
Proceedings of the Computer Safety, Reliability, and Security, 2017

Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Modeling Frames.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Towards Agile Model-based Systems Engineering.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

2016
Model transformation intents and their properties.
Softw. Syst. Model., 2016

Heterogeneous Megamodel Slicing for Model Evolution.
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.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Perspectives of Model Transformation Reuse.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Model management for regulatory compliance: a position paper.
Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

Correct Reuse of Transformations is Hard to Guarantee.
Proceedings of the Theory and Practice of Model Transformations, 2016

2015
A Methodology for Verifying Refinements of Partial Models.
J. Object Technol., 2015

Using the crowds to satisfy unbounded requirements.
Proceedings of the 1st IEEE International Workshop on Crowd-Based Requirements Engineering, 2015

MMINT: A Graphical Tool for Interactive Model Management.
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?
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.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Property-Based Methods for Collaborative Model Development.
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.
Proceedings of the 2nd IEEE/ACM International Workshop on CrowdSourcing in Software Engineering, 2015

MU-MMINT: An IDE for Model Uncertainty.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Migrating Automotive Product Lines: A Case Study.
Proceedings of the Theory and Practice of Model Transformations, 2015

A Generalized Formal Framework for Partial Modeling.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014
Report on the First Workshop On the Globalization of Modeling Languages.
CoRR, 2014

Supporting early decision-making in the presence of uncertainty.
Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Towards an Approach for Orchestrating Design Space Exploration Problems to Fix Multi-Paradigm Inconsistencies.
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.
Proceedings of the 36th International Conference on Software Engineering, 2014

Using developer conversations to resolve uncertainty in software development: a position paper.
Proceedings of the 4th International Workshop on Recommendation Systems for Software Engineering, 2014

2013
Managing requirements uncertainty with partial models.
Requir. Eng., 2013

Supporting Agility in MDE Through Modeling Language Relaxation.
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.
Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), 2013

Transformation of Models Containing Uncertainty.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013).
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.
Proceedings of the Fundamental Approaches to Software Engineering, 2013

PWWM: A Personal Web Workflow Methodology.
Proceedings of the Personal Web - A Research Agenda, 2013

2012
Managing requirements uncertainty with partial models.
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

Managing Related Models in Vehicle Control Software Development.
Proceedings of the Model Driven Engineering Languages and Systems, 2012

Towards a model transformation intent catalog.
Proceedings of the First Workshop on the Analysis of Model Transformations, 2012

Towards a Methodology for Verifying Partial Model Refinements.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

The semantics of partial model transformations.
Proceedings of the 4th International Workshop on Modeling in Software Engineering, 2012

Partial models: Towards modeling and reasoning with uncertainty.
Proceedings of the 34th International Conference on Software Engineering, 2012

Language Independent Refinement Using Partial Modeling.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011
Partial models: a position paper.
Proceedings of the 8th International Workshop on Model-Driven Engineering, 2011

2010
The Model Role Level - A Vision.
Proceedings of the Conceptual Modeling, 2010

2009
Relationship-based change propagation: A case study.
Proceedings of the ICSE Workshop on Modeling in Software Engineering, 2009

Using Macromodels to Manage Collections of Related Models.
Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

Improving Model Quality Using Diagram Coverage Criteria.
Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

2008
Managing Models through Macromodeling.
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.
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.
Proceedings of the 2007 OOPSLA workshop on Eclipse Technology eXchange, 2007


  Loading...