Publications

Elaasar, M., Rouquette, N., Jenkins, S., Gerard, S.: “The Case for Integrated Model Centric Engineering”, Proceedings of Model-Based Enterprise Summit (MBE 2019), pp. 9, July, 2019.

Ma, T., Ali, S., Yue, T., Elaasar, M.: “Testing self-healing cyber-physical systems under uncertainty: a fragility-oriented approach”, Proceedings of Software Quality Journal, pp. 1-35, Jan 1, 2019.

Noyrit, F., Badreddin, O., Gérard, S., Elaasar, M. : “Reducing UML Modeling Tool Complexity with Architectural Contexts and Viewpoints”. Proceedings of MODELSWARD 2018: 129-138, 2018.

Elaasar, M.: “Definition of modeling vs. programming languages”, Proceedings of International Symposium on Leveraging Applications of Formal Methods, pp. 35-51, Nov 5, 2018.

Torre, D, Labiche, Y., Genero, M., Elaasar, M.: “A systematic identification of consistency rules for UML diagrams”, Proceedings of Journal of Systems and Software, pp. 121-142, Oct 10, 2018.

Jukšs, M., Verbrugge, C., Elaasar, M., Vangheluwe, H.: “Scope in model transformations”, Proceedings of Software & Systems Modeling, pp. 1227-1252, Oct 10, 2018.

Bock, C., Elaasar, M.: “Reusing metamodels and notation with Diagram Definition”, Proceedings of Software & Systems Modeling, pp. 1079-1103, Oct 10, 2018.

Hamza, M., Walker, R., Elaasar, M.: “CIAhelper: towards change impact analysis in delta-oriented software product lines”,
Proceeedings of the 22nd International Conference on Systems and Software Product Line-Volume 1, pp. 31-42, Sep 10, 2018.

Torre, D., Labiche, Y., Genero, M., Baldassarre, M., Elaasar, M.: “UML diagram synthesis techniques: a systematic mapping study”, Proceedings of IEEE/ACM 10th International Workshop on Modelling in Software Engineering (MiSE), pp. 33-40, May 27, 2018.

Elaasar, M., Noyrit, F., Badreddin, O., Gérard, S.: “Adaptation and Implementation of the ISO42010 Standard to Software Design and Modeling Tools”, Proceedings of International Conference on Model-Driven Engineering and Software Development, pp. 236-258, Jan 22, 2018.

Ma,T., Ali, S., Yue, T., Elaasar, M. “Fragility-Oriented Testing with Model Execution and Reinforcement Learning.” Proceedings of the 29th International Conference on Testing Software and Systems (ICTSS), St-Petersburg, Russia, 2017.

Hamza, M., Walker, R., Elaasar, M. “Unanticipated Evolution in Software Product Lines versus Independent Products: A Case Study.” Proceedings of the 21st International Systems and Software Product Line Conference , Volume B, Sevilla, Spain, 2017.

Badreddin, O., Abdelzad, V., Lethbridge, T., Elaasar, M. “fSysML: Foundational Executable SysML for Cyber- Physical System Modeling“. 4th International Workshop on The Globalization of Modeling Languages. Fourth International Workshop on the Globalization of Modeling Languages, Saint-Malo, France, 2016.

Jukss, M., Verbrugge, C., Elaasar, M., Vangheluwe, H. “Scope in Model Transformations.” Software and Systems Modeling (SoSym), https://doi.org/10.1007/s10270-016-0555-8, 2016.

Elaasar M., Badreddin, O. “Modeling Meets Programming: A Comparative Study in Model Driven Engineering Action Languages.” Proceedings of ISOLA’16, Corfu, Greece, 2016.

Karban, R., Dekens, F., Jankevičius, N., Elaasar, M. “Creating System Engineering Products with Executable Models in a Model Based Engineering Environment.” Proceedings of Modeling, Systems Engineering, and Project Management for Astronomy VI , Edinburgh, UK, 2016.

Karban, R., Jankevičius, N., Elaasar, M. “ESEM: Automated Systems Analysis using Executable SysML Modeling Patterns”, Proceedings of INCOSE International Symposium (IS), Edinburgh, Scotland, 2016.

Torre, D., Labiche, Y., Genero, M., Elaasar, M. “1st International Workshop on UML Consistency Rules (WUCOR 2015): Post workshop report.” ACM SIGSOFT Software Engineering Notes, volume 41, issue 2, March 2016.

Bock, C., Elaasar, M. “Reusing Metamodels and Notation with Diagram Definition.” Software and Systems Modeling (SoSym), https://doi.org/10.1007/s10270-016-0537-x, 2016.

Baderddin, O., Elaasar, M., Hamou-lhadj, A. “A Controlled Experiment for Evaluating the Comprehensibility of UML Action Languages.” Proceedings of MODELSWARD ’16, Rome, Italy, 2016.

Torre, D., Labiche, Y., Genero, M., Elaasar, M. “UML Consistency Rules in Technical Books.” Proceedings of ISSRE15, Washington DC, USA, 2015.

Fouche, A., Noyrit, F., Gerard, S., Elaasar, M.: “Systematic Generation of Standard Compliant Tool Support of Diagrammatic Modeling Languages.” Proceedings of MODELS ’15, Ottawa, Canada, 2015.

Hamza, M., Aly, S., Elaasar, M.: “Automated Generation of Pervasive Systems Architectures: A Detailed Empirical Evaluation”. International Journal of Software Engineering, Technology and Applications, Vol. 1, No. 1, 2015.

Badreddin, O., Lethbridge, T., Forward, A., Elaasar, M., Aljamaan, H., Garzon, M.: “Enhanced Code Generation from UML Composite State Machines”. Proceedings of MODELSWARD 2014: 235-245, 2014.

Fischer, M., Dingel, J., Elaasar, M., Shaw, S.: “Automating Instance Migration in Response to Ontology Evolution”. Proceedings of Models & Evolution 2013 Workshop, pp. 20-27, Miami, FL, September 2013.

Elaasar, M., Neal, A.: “Integrating Modeling Tools in the Development Lifecycle with OSLC: a Case Study”. Proceedings of MODELS 2013, LNCS, vol. 8107, pp. 154-169, Miami, FL, October 2013.

Elaasar, M., Conallen, J.: “Design Management: a Collaborative Design Solution”. Proceeding of ECMFA 2013, LNCS, vol. 7949, pp. 165-178, Montpellier, France, July 1-5, 2013.

Badreddin, O., Lethbridge, T. C., Elaasar, M.: “Modeling Practices in Open Source Software”. Proceedings of the 9th International Conference on Open Source Systems, IFIP AICT, vol. 404, pp. 127-139, Koper-Capodistria, Slovenia, June 2013.

Elaasar, M., Briand, L., Labiche, Y.: “VPML: An Approach to Detect Design Patterns of MOF-Based Modeling Languages”. Software & Sysems Modeling, DOI 10.1007/s10270-013-0325-9, January, 2013.

Elaasar, M., Labiche, Y.: “Model Interchange Testing: a Process and a Case Study”. Proceedings of ECMFA 2012, LNCS, vol. 7349, pp. 49-61, Lyngby, Denmark, July, 2012.

Elaasar, M., Labiche, Y.: “Diagram Definition: a Case Study with the UML Class Diagram”. Proceedings of MoDELS 2011, LNCS, vol. 6981, pp. 364-378, Wellington, NZ, October, 2011.

Elaasar, M., Briand, L., Labiche, Y.: “Domain-Specific Model Verification with QVT,” Proceedings of ECMFA 2011, LNCS, vol. 6689, pp. 282-298, Birmingham, England, June, 2011.

Elaasar, M., Briand, L., Labiche, Y.: “A Metamodeling Approach to Pattern Specification”. Proceedings of MoDELS 2006, LNCS, vol. 4199, pp. 484-498, Genoa, Italy, October, 2006.

Elaasar, M., Barbeau, M., Kranakis, E., Li, G.: “Satellite Transport Protocol Handling Bit Corruption, Handoff and Limited Connectivity”. IEEE Transactions on Aerospace and Electronic Systems, vol. 41, issue 2, pp. 489-502, April, 2005.

Elaasar, M., Li, G., Barbeau, M., Kranakis, E.: “The eXtended Satellite Transport Protocol: Its Design and Evaluation”. Proceedings of 17th AIAA/USU Conference on Small Satellites, Logan, Utah, August, 2003.