Invited papers
[I1] Chechik, M., Famelis, M.,
Salay, R., & Strüber, D. :
Perspectives of Model Transformation Reuse. In Proceedings of 12th
International Conference on Integrated Formal Methods, pp. 28-44, 2016.
Refereed book chapters
[B1] Chechik, M., Simmonds, J, Liaskos,
S., Nejati, S., Sabetzadeh,
M. and Salay, R.:PWWM: A Personal Web Workflow Methodology. In The
Personal Web, LNCS vol. 7855, pages 11-48, Springer. 2013.
Refereed journal papers
[J1]
Meyers, B., Vangheluwe, H., Denil,
J. and Salay, R.. A Framework for Temporal
Verification Support in Domain-Specific Modelling. IEEE Transactions on
Software Engineering, 2018.
[J2]
Salay, R., Kokaly S., Di Sandro, A., Chechik, M.: Heterogeneous Megamodel
Management using Collection Operators. Submitted.
[J3] Lúcio, L., Amrani, M., Dingel, J., Lambers,
L., Salay, R., Selim, G.M.K., Syriani, E., Wimmer, M.: Model
transformation intents and their properties. Software and Systems Modeling,
Vol. 13, No. 4, pp.647-684, 2016.
[J4]
Salay, R., Chechik, M., and Gorzny,
J.: A Methodology for Verifying Refinements of Partial Models. Journal of
Object Technology, Vol. 14, No. 3, 2015.
[J5]
Salay, R., Chechik, M., Horkoff,
J. and Di Sandro A.: Managing Requirements Uncertainty with Partial Models.
Requirements Engineering Journal, Vol. 18, No. 2, pp.107-128, 2013.
Refereed conference papers
[C1] Ciccozzi, F., Famelis, M., Kappel, G., Lambers, L., Mosser, S., Paige, R.F., Pierantonio,
A., Rensink, A., Salay, R., Taentzer,
G, Vallecillo, A.: Towards
a body of knowledge for model-based software engineering. In Proceedings of
the 21st ACM/IEEE International Conference on Model Driven Engineering
Languages and Systems: Companion Proceedings, pp. 82-89, 2018.
[C2] Ciccozzi, F., Famelis, M., Kappel, G., Lambers, L., Mosser, S., Paige, R.F., Pierantonio,
A., Rensink, A., Salay, R., Taentzer,
G., Vallecillo, A.: How do we teach modelling and
model-driven engineering?: a survey. In Proceedings
of the 21st ACM/IEEE International Conference on Model Driven Engineering
Languages and Systems: Companion Proceedings, pp. 122-129, 2018.
[C3] Taentzer, G., Salay, R. Strüber,
D, Chechik, M: Transformation of Software Product
Lines. Software Engineering und Software Management, pp 51-52, 2018.
[C4]
Colwell, I., Phan, B., Saleem, S., Salay, R., Czarnecki, K.: An Automated
Vehicle Safety Concept Based on Runtime Restriction of the Operational Design
Domain. In IEEE Intelligent Vehicles Symposium (IV), pp. 1910-1917, 2018.
[C5]
Salay, R., Queiroz, R., Czarnecki,
K.:An analysis of ISO
26262: Machine learning and safety in automotive software, SAE Technical
Paper No. 2018-01-1075, 2018.
[C6] de
Lara, J., Guerra, E., Chechik, M., Salay, R.: Model
Transformation Product Lines. In Proceedings of the 21th ACM/IEEE
International Conference on Model Driven Engineering Languages and Systems
(MODELS), pp. 67-77, 2018.
[C7] Guerra,
E., de Lara, J., Chechik, M., Salay, R.: Analysing
meta-model product lines. In Proceedings of the 11th ACM SIGPLAN
International Conference on Software Language Engineering, pp. 160-173, 2018.
[C8] Kokaly S, Salay R, Chechik M, Lawford M, Maibaum
T.: Safety case impact assessment in automotive software systems: an improved
model-based approach. In Proceedings of International Conference on Computer
Safety, Reliability, and Security, pp. 69-85, 2017.
[C9] Taentzer G, Salay R, Strüber D,
Chechik M.: Transformations of Software Product
Lines: A Generalizing Framework based on Category Theory. In Proceedings of
ACM/IEEE 20th International Conference on Model Driven Engineering Languages
and Systems (MODELS), pp. 101-111, 2017.
[C10] Famelis M, Rubin J, Czarnecki
K, Salay R, Chechik M.:
Software Product Lines with Design Choices: Reasoning about Variability and
Design Uncertainty. In Proceedings of ACM/IEEE 20th International Conference
on Model Driven Engineering Languages and Systems (MODELS), pp. 93-100, 2017.
[C11] Kokaly, S., Salay, R., Cassano,
V., Maibaum, T. and Chechik,
M.: A model management approach for assurance case reuse due to system
evolution. In Proceedings of Models’16, pp. 196-206, 2016.
[C12]
Salay, R., Zschaler, S. and Chechik,
M.: Correct Reuse of Transformations is Hard to Guarantee. In Proceedings of
ICMT’16, pp. 107-122, 2016.
[C13]
Salay, R., Kokaly S., Di Sandro, A., Chechik, M.: Enriching Megamodel Management with Collection-Based Operators. In
Proceedings of Models’15, pp. 236-245, 2015.
[C14] Famelis, M., Lúcio, L., Selim,
G., Di Sandro, A., Salay, R., Chechik, M., Cordy, J.R., Dingel,
J., Vangheluwe, H. and Ramesh S: Migrating
Automotive Product Lines: a Case Study. In Proceedings of ICMT’15, pp. 82-97,
2015.
[C15] Salay,
R. and Chechik, M.: A Generalized Formal Framework
for Partial Modeling. In Proceedings of FASE 2015, pp. 133-148, 2015.
[C16] Famelis, M.,
Ben-David, N., Di Sandro, A., Salay, R. and Chechik,
M.: MU-MMINT: an IDE for Model Uncertainty, In Proceedings of ICSE’15,
Demonstrations track, pp. 697-700, 2015.
[C17]
Salay, R., Famelis, M., Rubin, J., Di Sandro, A., Chechik, M.: Lifting model
transformations to product lines. In Proceedings of ICSE’14, pp. 117-128,
2014.
[C18] Horkoff, J., Salay, R., Chechik,
M., Di Sandro, A.: Supporting early decision-making in the presence of
uncertainty. In Proceedings of RE,14, pp. 33-42, 2014.
[C19] Famelis, M., Salay, R., Di Sandro, A., Chechik, M.: Transformation of
Models Containing Uncertainty. In Proceedings of Models’13, pp. 673-689,
2013.
[C20] Salay,R., Gorzny,
J., Chechik, M.: Change Propagation Due to
Uncertainty Change. In Proceedings of FASE’13, pp.21-36, 2013.
[C21]
Salay, R., Wang, S., Suen, V.: Managing Related
Models in Vehicle Control Software Development, In Proceedings of Models’12,
2012.
[C22]
Salay, R., Chechik, M., Horkoff,
J.: Managing Requirements Uncertainty with Partial Models. In Proceedings of
RE’12, 2012. (Best paper nomination)
[C23] Famelis, M., Chechik, M.,Salay, R.: Partial Models:
Towards Modeling and Reasoning with Uncertainty. In Proceedings of ICSE'12,
2012, ACM Sigsoft Distinguished Paper, 2012.
[C24]
Salay, R., Famelis, M., Chechik,
M.: Language Independent Refinement Using Partial Modeling. In Proceedings of
FASE'12, volume 7212 of LNCS, pp. 224-239, March 2012.
[C25]
Salay, R., Mylopoulos, J.: The Model Role Level – A
Vision. In Proceedings of 29th International Conference on Conceptual
Modeling (ER 2010), 2010.
[C26]
Salay, R., Mylopoulos, J.:
Improving Model Quality Using Diagram Coverage Criteria. In Proceedings of
21st International Conference on Advanced Information Systems Engineering (CAiSE 2009), pp. 186-200, 2009.
[C27]
Salay, R., Mylopoulos, J., Easterbrook, S.M.: Using Macromodels to
Manage Collections of Related Models. In Proceedings of 21st International
Conference on Advanced Information Systems Engineering (CAiSE
2009), pp.141-155, 2009.
[C28]
Salay, R., Mylopoulos, J., Easterbrook, S.M.: Managing Models through Macromodeling.
In Proceedings of 23rd IEEE/ACM International Conference on Automated
Software Engineering (ASE 2008), pp. 447-450, 2008. (short
paper)
[C29]
Salay, R. and Wong, A. K.C. "Genetic Algorithms for Solving the Largest
Common Subgraph Problem", Proc. of
the 4th UNB AI Symposium, Fredericton, N.B., Canada, Sept. 19-21,
pp.145-155, 1991.
[C30]
Wong, A. K. C. and Salay, R. "An algorithm for constellation
matching", In Proc. of the Eighth International Conference on Pattern
Recognition, pp. 546-554, 1986.
Refereed workshop papers
[W1] Phan,B., Salay, R., Czarnecki, K., Abdelzad, V., Denouden, T., Vernekar, S.:
Calibrating Uncertainties in Object Localization Task. In Proceedings of the
Workshop on Bayesian Deep Learning at the 32nd Conference on Neural
Information Processing Systems (NIPS), 2018. (To appear).
[W2] Czarnecki, K., Salay, R.:
Towards a Framework to Manage Perceptual Uncertainty for Safe Automated
Driving. In Proceedings of WAISE at the International Conference on Computer
Safety, Reliability, and Security (SafeComp), pp.
439-445, 2018. (Best Paper Award)
[W3] Fung,
N.L., Kokaly, S., Di Sandro, A., Salay, R., Chechik, M.: MMINT-A: A Tool for Automated Change Impact
Assessment on Assurance Cases. In Proceedings of ASSURE at International
Conference on Computer Safety, Reliability, and Security (SafeComp),
pp. 60-70, 2018.
[W4] Klikovits, S., Denil, J., Muzy, A., Salay, R.: Modeling Frames. MODELS (Satellite
Events) 2017, pp. 315-320, 2017.
[W5] Denil, J., Salay, R., Paredis,
C., Vangheluwe, H.:Towards Agile Model-based Systems Engineering.
MODELS (Satellite Events) 2017, pp.424-429, 2017.
[W6]
Salay, R., Kokaly, S., Chechik,
M. andMaibaum, T.: Heterogeneous Megamodel Slicing for Model Evolution. In Proceedings of
ME’16 at Models, 2016.
[W7] Kokaly S., Salay, R., Sabetzadeh,
M., Chechik, M., Maibaum,
T.S.E.: Model Management for Regulatory Compliance: a position paper. In
Proceedings of MiSE'16 at ICSE, pp. 74-80, 2016.
[W8] Dingel, J., Kokaly, S., Lúcio, L., Salay, R., Vangheluwe,
H.: Proceedings of the 4th Workshop on the Analysis
of Model Transformations at Models’15, CEUR Workshop Proceedings 1500,
CEUR-WS.org 2015.
[W9]
Salay, R., Zschaler, S., Chechik,
M.: Transformation Reuse: What is the Intent? In Proc. of AMT@MoDELS’15, pp.
7-15, 2015.
[W10] Chechik, M., Dalpiaz, F., Debreceni, C., Horkoff, J., Ráth, I., Salay, R., Varró, D.: Property-Based Methods for Collaborative Model
Development. In Proc. of GEMOC+MPM@MoDELS’15, pp. 1-7, 2015.
[W11]
Salay, R., Dalpiaz, F. and Chechik,
M.: Integrating Crowd Intelligence into Software. In Proc. of CSE-SE at
ICSE’15, pp. 1-7, 2015.
[W12] Herzig, S., Kruse, B., Ciccozzi, F., Denil, J., Salay, R. and Varro, D.: Towards an Approach
for Orchestrating Design Space Exploration Problems to Fix Multi-Paradigm
Inconsistencies. In Proc. of MPM at Models’14, 2014.
[W13] Mashiyat, A., Famelis, M.,
Salay, R. and Chechik, M.: Using Developer
Conversations to Resolve Uncertainty in Software Development: A Position
Paper. In Proc. of
RSSE at ICSE’14, 2014.
[W14] Combemale, B., DeAntoni,
J., France, R.B., Boulanger, F., Mosser, S., Pantel, M., Rumpe, B., Salay,
R. and Schindler, M.: Report on the First Workshop On the Globalization of
Modeling Languages. GEMOC+AMINO at Models’13, pp.3-13, 2013.
[W15] Nalchigar, S., Salay, R. and Chechik,
M.: Towards a Catalog of Non-Functional Requirements in Model Transformation
Languages. In Proc. of AMT at Models’13, 2013.
[W16]
Salay, R. and Chechik, M.: Supporting Agility in
MDE Through Modeling Language Relaxation. In Proc.
of XM at Models’13, pp.20-27, 2013.
[W17] SaadatPanah, P., Famelis, M., Gorzny, J., Robinson, N., Chechik,
M., and Salay, R.: Comparing the Effectiveness of Reasoning Formalisms for
Partial Models, 2012. In Proc. MoDeVVa ’12 at
Models, 2012
[W18] Amrani, M., Dingel, J., Lambers, L., Lucio, L., Salay, R., Selim,
G., Syriani, E., and Wimmer,
M.: Towards a Model Transformation Intent Catalog, 2012. In Proc. MoDeVVa ’12 at Models, 2012
[W19] Famelis, M, Salay, R., and Chechik,
M.: The Semantics of Partial Model Transformations. In Proc. of MiSE'12 at
ICSE, 2012.
[W20]
Salay, R., Chechik, M., and Gorzny,
J.: Towards a Methodology for Verifying Partial Model Refinements. In Proc.
of VOLT at ICST’12, April 2012.
[W21] Famelis,M., Ben-David, S., Chechik, M., and Salay, R.: Partial Models: A Position
Paper. In Proceedings of MoDeVVa'11, pages 1_6, 2011.
[W22] Chechik, M., Simmonds, J., Ben-David, S., Nejati, S., Sabetzadeh,
M, and Salay, R.: Modeling and Analysis of Personal Web Applications: A
Vision. In Proc. of NSERC/CASCON Symposium on Personal Web, November 2010.
[W23] Chechik, M., Lai, W., Nejati,
S., Cabot, J., Diskin, Z., Easterbrook, E., Sabetzadeh, M., Salay, R.: Relationship-Based Change
Propagation: A Case Study. In Proceedings of International Workshop on
Modeling in Software Engineering (associated with ICSE’09), May 2009.
[W24]
Salay, R., Chechik, M., Easterbrook, S., Diskin, Z., Nejati, S., Sabetzadeh, M., McCormick, P., Viriyakattiyaporn,
P.: “An Eclipse-Based Model Management Framework”. In Proceedings of
OOPSLA’07 Workshop on Eclipse Technology, November 2007.
[W25]
Salay, R.: Towards a Formal Framework for Multimodeling
in Software Engineering. MoDELS (Doctoral
Symposium) 2007
Other papers
[O1] Salay
R, Queiroz R, Czarnecki
K. An Analysis of ISO 26262: Using Machine Learning Safely in Automotive
Software. arXiv preprint
arXiv:1709.02435, 2017.
[O2]
Salay, R., Czarnecki, K.:
Using Machine Learning Safely in Automotive Software: An Assessment and
Adaption of Software Process Requirements in ISO 26262. arXiv preprint arXiv:1808.01614, 2018.
|