Publications for Rick Salay

 

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.

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.

Journal papers

 

[J1] Salay, R., Chechik, M. and Gorzny, J.: A Methodology for Verifying Refinements of Partial Models. Journal of Object Technology, Vol. 14, No. 3, 2015.

 

[J2] Levi Lúcio, Moussa Amrani, Juergen Dingel, Leen Lambers, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer: Model transformation intents and their properties. Software and Systems Modeling, Vol. 13, No. 4, 2014.

 

[J3] 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.

 

[J4] Famelis, M., Chechik, M., and  Salay, R.: Partial Models: Towards Modeling and Reasoning with Uncertainty. In preparation for Transactions on Software Engineering and Methodology. (invited)

 

Conference papers

 

[C1] 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.

 

[C2] Salay, R., Zschaler, S. and Chechik, M.: Correct Reuse of Transformations is Hard to Guarantee. In Proceedings of ICMT’16, pp. 107-122, 2016.

 

[C3] 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.

 

[C4] 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.

 

[C5] Salay, R. and Chechik, M.: A Generalized Formal Framework for Partial Modeling. In Proceedings of FASE 2015, pp. 133-148, 2015.

 

[C6] 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.

 

[C7] 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.

 

[C8] 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.

 

[C9] Famelis, M., Salay, R., Di Sandro, A. and Chechik, M.: Transformation of Models Containing Uncertainty. In Proceedings of Models’13, pp. 673-689, 2013.

 

[C10] Salay,R., Gorzny, J. and Chechik, M.: Change Propagation Due to Uncertainty Change. In Proceedings of FASE’13, pp.21-36, 2013.

 

[C11] Salay, R., Wang, S., and Suen, V.: Managing Related Models in Vehicle Control Software Development, In Proceedings of Models’12, 2012.

 

[C12] Salay, R., Chechik, M., and Horkoff, J.: Managing Requirements Uncertainty with Partial Models. In Proceedings of RE’12, 2012. (Best paper nomination)

 

[C13] Famelis, M., Chechik, M. and Salay, R.: Partial Models: Towards Modeling and Reasoning with Uncertainty. In Proceedings of ICSE'12, 2012, ACM Sigsoft Distinguished Paper, 2012.

 

[C14] Salay, R., Famelis, M. and Chechik, M.: Language Independent Refinement Using Partial Modeling. In Proceedings of FASE'12, volume 7212 of LNCS, pp. 224-239, March 2012.

 

[C15] Salay, R., Mylopoulos, J.: The Model Role Level – A Vision. In Proceedings of 29th International Conference on Conceptual Modeling (ER 2010), 2010.

 

[C16] 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.

 

[C17] 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.

 

[C18] 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)

 

[C19] 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.

 

[C20] 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.

 

Workshop papers

 

[W1] Salay, R., Kokaly, S., Chechik, M. andMaibaum, T.: Heterogeneous Megamodel Slicing for Model Evolution. In Proceedings of ME’16 at Models, 2016.

 

[W2] 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.

 

[W3] 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.

 

[W4] Salay, R., Zschaler, S., Chechik, M.: Transformation Reuse: What is the Intent? In Proc. of AMT@MoDELS’15, pp. 7-15, 2015.

 

[W5] 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.

 

[W6] Salay, R., Dalpiaz, F. and Chechik, M.: Integrating Crowd Intelligence into Software. In Proc. of CSE-SE at ICSE’15, pp. 1-7, 2015.

 

[W7] 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.

 

[W8] 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.

 

[W9] 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.

 

[W10] 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.

 

[W11] Salay, R. and Chechik, M.: Supporting Agility in MDE Through Modeling Language Relaxation. In Proc. of XM at Models’13, pp.20-27, 2013.

 

[W12] 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

 

[W13] 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

 

[W14] Famelis, M,  Salay, R., and Chechik, M.: The Semantics of Partial Model Transformations. In Proc. of MiSE'12 at ICSE, 2012.

 

[W15] Salay, R., Chechik, M.,  and Gorzny, J.: Towards a Methodology for Verifying Partial Model Refinements. In Proc. of VOLT at ICST’12, April 2012.

 

[W16] Famelis,M., Ben-David, S., Chechik, M., and Salay, R.: Partial Models: A Position Paper. In Proceedings of MoDeVVa'11, pages 1_6, 2011.

 

[W17] 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.

 

[W18] 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.

 

[W19] 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.

 

[W20] Salay, R.: Towards a Formal Framework for Multimodeling in Software Engineering. MoDELS (Doctoral Symposium) 2007

 

Other

 

[O1] Salay, R., Famelis, M. and Chechik, M. Poster: Language Independent Refinement using Partial Modeling. Mitacs Research Showcase, Oct. 2011.

 

[O2] Salay, R., Famelis, M. and Chechik, M. Poster: Language Independent Refinement using Partial Modeling. CASCON Technology Showcase, Nov. 2011.