Publications
Fragility-Oriented Testing with Model Execution and Reinforcement Learning
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.
Unanticipated Evolution in Software Product Lines versus Independent Products: A Case Study
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.
fSysML: Foundational Executable SysML for Cyber- Physical System Modeling
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.
Action languages and precise modeling for cyber-physical systems design and testing
Badreddin, O., Elaasar, M., Abdelzad, V. “Action languages and precise modeling for cyber-physical systems design and testing.” Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering. IBM Corp., 2016.
Scope in Model Transformations
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.
Modeling Meets Programming: A Comparative Study in Model Driven Engineering Action Languages
Elaasar M., Badreddin, O. “Modeling Meets Programming: A Comparative Study in Model Driven Engineering Action Languages.” Proceedings of ISOLA’16, Corfu, Greece, 2016.
Creating System Engineering Products with Executable Models in a Model Based Engineering Environment
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.
ESEM: Automated Systems Analysis using Executable SysML Modeling Patterns
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.
WUCOR 2015: Post Workshop Report
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.
Reusing Metamodels and Notation with Diagram Definition
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.
A Controlled Experiment for Evaluating the Comprehensibility of UML Action Languages
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.
UML Consistency Rules in Technical Books
Torre, D., Labiche, Y., Genero, M., Elaasar, M. “UML Consistency Rules in Technical Books.” Proceedings of ISSRE15, Washington DC, USA, 2015.
Systematic Generation of Standard Compliant Tool Support of Diagrammatic Modeling Languages
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.
Automated Generation of Pervasive Systems Architectures: A Detailed Empirical Evaluation
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.
Enhanced Code Generation from UML Composite State Machines
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.
Automating Instance Migration in Response to Ontology Evolution
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.
Integrating Modeling Tools in the Development Lifecycle with OSLC: a Case Study
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.
Design Management: a Collaborative Design Solution
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.
Modeling Practices in Open Source Software
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.
VPML: An Approach to Detect Design Patterns of MOF-Based Modeling Languages
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.
Open Services for Lifecycle Collaboration 2.0
Elaasar, M.: “OSLC AM 2.0″, OASIS Specification, July 2012
Diagram Definition 1.0
Elaasar, M.: “Diagram Definition (DD) 1.0”, OMG Specification formal/2012-07-01, July, 2012.
An Approach to Design Pattern and Anti-Pattern Detection in MOF-Based Modeling Languages
Elaasar, M.: “An Approach to Design Pattern and Anti-Pattern Detection in MOF-Based Modeling Languages”. Ph.D. in Electrical and Computer Engineering Dissertation, Carleton University, Ottawa, Canada, September, 2012.
Unified Modeling Language 2.5
Elaasar, M.: “Annex B: UML Diagram Interchange, Unified Modeling Language 2.5”, OMG Specification ptc/2012-10-24, October, 2012.
Model Interchange Testing: a Process and a Case Study
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.
A Framework for Measuring Quality of Models Experiences form a Series of Controlled Experiments
Yue, T., Ali, S., Elaasar, M.: “A Framework for Measuring Quality of Models Experiences form a Series of Controlled Experiments”. Simula Research Laboratory, Technical Report 2010-17, March, 2012.
Diagram Definition: a Case Study with the UML Class Diagram
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.
Domain-Specific Model Verification with QVT
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.
Business Process Modeling Notation 2.0
Elaasar, M.: “Chapter 12: BPMN Notations and Diagrams, Business Process Modeling Notation 2.0”, OMG Specification formal/2011-01-03, Jan 2011.
Model-to-Model Transformation Authoring: An MDA Approach
Elaasar, M., Fischer, J.: “Model-to-Model Transformation Authoring: an MDA Approach”. IBM Canada, Rational Software, July, 2007.
A Metamodeling Approach to Pattern Specification
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.
Satellite Transport Protocol Handling Bit Corruption, Handoff and Limited Connectivity
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.
An Overview of UML Consistency Management
Elaasar, M., Briand, L.: “An Overview of UML Consistency Management”, Technical Report SCE-04-18, Carleton University, Ottawa, Canada, August, 2004.
The eXtended Satellite Transport Protocol: Its Design and Evaluation
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.
XSTP: eXtended Satellite Transport Protocol
Elaasar, M.: “XSTP: eXtended Satellite Transport Protocol”. Master of Computer Science Thesis. Carleton University, Ottawa, Canada, January, 2003.