Publications

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.