Rick Salay
Rick Salay
Verified email at gsd.uwaterloo.ca
Title
Cited by
Cited by
Year
Partial models: Towards modeling and reasoning with uncertainty
M Famelis, R Salay, M Chechik
2012 34th International Conference on Software Engineering (ICSE), 573-583, 2012
1342012
Model transformation intents and their properties
L Lúcio, M Amrani, J Dingel, L Lambers, R Salay, GMK Selim, E Syriani, ...
Software & systems modeling 15 (3), 647-684, 2016
992016
Managing requirements uncertainty with partial models
R Salay, M Chechik, J Horkoff, A Di Sandro
Requirements Engineering 18 (2), 107-128, 2013
762013
An analysis of ISO 26262: Using machine learning safely in automotive software
R Salay, R Queiroz, K Czarnecki
arXiv preprint arXiv:1709.02435, 2017
662017
Language independent refinement using partial modeling
R Salay, M Famelis, M Chechik
International Conference on Fundamental Approaches to Software Engineering …, 2012
612012
Lifting model transformations to product lines
R Salay, M Famelis, J Rubin, A Di Sandro, M Chechik
Proceedings of the 36th International Conference on Software Engineering …, 2014
552014
Using macromodels to manage collections of related models
R Salay, J Mylopoulos, S Easterbrook
International Conference on Advanced Information Systems Engineering, 141-155, 2009
522009
Towards a model transformation intent catalog
M Amrani, J Dingel, L Lambers, L Lúcio, R Salay, G Selim, E Syriani, ...
Proceedings of the First Workshop on the Analysis of Model Transformations, 3-8, 2012
502012
Transformation of models containing uncertainty
M Famelis, R Salay, A Di Sandro, M Chechik
International Conference on Model Driven Engineering Languages and Systems …, 2013
462013
An Eclipse-based tool framework for software model management
R Salay, M Chechik, S Easterbrook, Z Diskin, P McCormick, S Nejati, ...
Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange, 55-59, 2007
462007
MMINT: A Graphical Tool for Interactive Model Management.
A Di Sandro, R Salay, M Famelis, S Kokaly, M Chechik
P&D@ MoDELS, 16-19, 2015
282015
A model management approach for assurance case reuse due to system evolution
S Kokaly, R Salay, V Cassano, T Maibaum, M Chechik
Proceedings of the ACM/IEEE 19th International Conference on Model Driven …, 2016
222016
Relationship-based change propagation: A case study
M Chechik, W Lai, S Nejati, J Cabot, Z Diskin, S Easterbrook, ...
2009 ICSE Workshop on Modeling in Software Engineering, 7-12, 2009
222009
Partial models: A position paper
M Famelis, S Ben-David, M Chechik, R Salay
Proceedings of the 8th International Workshop on Model-Driven Engineering …, 2011
212011
Managing models through macromodeling
R Salay, J Mylopoulos, S Easterbrook
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
212008
Towards a framework to manage perceptual uncertainty for safe automated driving
K Czarnecki, R Salay
International Conference on Computer Safety, Reliability, and Security, 439-445, 2018
202018
Migrating automotive product lines: a case study
M Famelis, L Lúcio, G Selim, A Di Sandro, R Salay, M Chechik, JR Cordy, ...
International Conference on Theory and Practice of Model Transformations, 82-97, 2015
202015
A Methodology for Verifying Refinements of Partial Models.
R Salay, M Chechik, M Famelis, J Gorzny
J. Object Technol. 14 (3), 3:1-31, 2015
192015
Change propagation due to uncertainty change
R Salay, J Gorzny, M Chechik
International Conference on Fundamental Approaches to Software Engineering …, 2013
192013
Towards a methodology for verifying partial model refinements
R Salay, M Chechik, J Gorzny
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
172012
The system can't perform the operation now. Try again later.
Articles 1–20