About
Dr. Maged Elaasar is a well-established computer scientist, software engineer, researcher, and professor with a long track record of leadership, mentorship, and delivery.
Experience- Research Scientist, NASA Jet Propulsion Laboratory (2014-now)
- Software Consultant, Modelware (2000-now)
- Lecturer, University of California, Los Angeles (2020-now)
- Lecturer, Northeastern University (2023-now)
- Adjunct Professor, Carleton University (2013-2014)
- Software Architect, IBM (2000-2013)
- Software Engineer, Corel Corp (1996-1999)
- Ph.D. in Computer Systems Engineering (Carleton University, 2012)
- M.Sc. in Computer Science (Carleton University, 2003)
- B.Sc. in Computer Science (American University in Cairo, 1996)
- Software Engineering
- Systems Engineering
- Formal Methods
- Artificial Intelligence
Awards
- JPL CRITICAL Funding (ConOps Modeling and Analysis, 2025)
- JPL SURP Funding (Developing OML CoPilot, 2025)
- JPL SRTD Funding (Autonomica: V&V of Autonomy, 2022-2024)
- NASA HQ Funding (Document Analysis using Ontologies and LLM, 2024)
- NASA Most Potential Impact (SMART Requirement Analysis, 2020)
- MODELWARD Conference (Best Paper Award, 2018)
- IBM Master Inventor - Plateau 3 (12 US Filed Patents, 2012)
- Torre, D., Genero, M., Labiche, Y., Elaasar, M.: “How consistency is handled in model driven software engineering and UML: an expert opinion survey”, Software Quality Journal, pp. 1–54, April 23, 2022.
- Ma, T., Ali, S., Yue, T., Elaasar, M.: "Testing self-healing cyber-physical systems under uncertainty: a fragility-oriented approach", Software Quality Journal, pp. 1–35, January 1, 2019.
- Torre, D., Labiche, Y., Genero, M., Elaasar, M.: "A systematic identification of consistency rules for UML diagrams", Journal of Systems and Software, pp. 121–142, October 10, 2018.
- Bock, C., Elaasar, M.: "Reusing metamodels and notation with Diagram Definition", Software & Systems Modeling (SoSyM), pp. 1079–1103, October 10, 2018.
- Jukss, M., Verbrugge, C., Elaasar, M., Vangheluwe, H.: "Scope in Model Transformations", Software and Systems Modeling (SoSyM), 2016.
- 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.
- Elaasar, M., Briand, L., Labiche, Y.: "VPML: An Approach to Detect Design Patterns of MOF-Based Modeling Languages", Software & Systems Modeling, January 2013.
- 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.
- Kolcio, K., Prather, M., Wagner, D., Elaasar, M., Shougarian, N.: “Towards a Fault Management Analysis Tool for Model Centric Systems Engineering”, PHM Conference, Nashville, TN, 2024.
- Elaasar, M., Rouquette, N., Wagner, D., Oakes, B., Hamou-Lhadj, A., Hamdaqa, M.: “openCAESAR: Balancing agility and rigor in model-based systems engineering”, Proc. of Systems Analysis and Modeling (SAM), Västerås, Sweden, 2023.
- Elaasar, M., Rouquette, N., Feather, M., Havelund, K., Bandyopadhyay, S., Garza, A.: “Autonomica: Ontological Modeling and Analysis of Autonomous Behavior”, INCOSE International Symposium ‘23, Honolulu, Hawaii, 2023.
- Nachawati, O., Bullegas, G., Vasilyev, A., Gregory, J., Pop, A., Elaasar, M., Asghar, A.: “Towards an Open Platform for Democratized Model-Based Design and Engineering of Cyber-Physical Systems,” American Modelica Conference, Dallas, TX, October 26, 2022.
- Vasilyev, A., Bullegas, G., Nachawati, O., Elaasar, M., Jenkins, S.: “Developing an Open Platform for Democratised MBSE”, Model Based Space Systems and Software Engineering, Amsterdam, November 22, 2022.
- Elaasar, M.: “Ontological Modeling Language Tutorial”, MODELS 22, Montreal, QC, Canada, October 23, 2022.
- Zindel, A., Feo-Arenis, S., Helle, P., Schramm, G., Elaasar, M.: “Building a Semantic Layer for Early Design Trade Studies in the Development of Commercial Aircraft,” 8th IEEE International Symposium on Systems Engineering (ISSE), Vienna, Austria, October 24–26, 2022.
- Wagner, D., Kim-Castet, S.Y., Jimenez, A., Elaasar, M., Rouquette, N., Jenkins, S.: “CAESAR Model-Based Approach to Harness Design”, IEEE Aerospace Conference, pp. 1–13, 2020.
- Torre, D., Labiche, Y., Genero, M., Elaasar, M., Menghi, C.: “UML consistency rules: a case study with open-source UML models”, Proc. of the 8th Int’l Conf. on Formal Methods in Software Engineering, pp. 130–140, 2020.
- Elaasar, M., Rouquette, N., Jenkins, S., Gerard, S.: “The Case for Integrated Model Centric Engineering”, Model-Based Enterprise Summit (MBE), July 2019.
- Elaasar, M.: “Definition of modeling vs. programming languages”, International Symposium on Leveraging Applications of Formal Methods, pp. 35–51, November 5, 2018.
- Hamza, M., Walker, R., Elaasar, M.: “CIAhelper: towards change impact analysis in delta-oriented software product lines”, 22nd International Conference on Systems and Software Product Line, Vol. 1, pp. 31–42, September 10, 2018.
- Torre, D., Labiche, Y., Genero, M., Baldassarre, M., Elaasar, M.: “UML diagram synthesis techniques: a systematic mapping study”, 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”, International Conference on Model-Driven Engineering and Software Development, pp. 236–258, January 22, 2018.
- Ma, T., Ali, S., Yue, T., Elaasar, M.: “Fragility-Oriented Testing with Model Execution and Reinforcement Learning”, 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”, 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, Saint-Malo, France, 2016.
- Badreddin, O., Elaasar, M., Abdelzad, V.: “Action languages and precise modeling for cyber-physical systems design and testing”, 26th Annual International Conference on Computer Science and Software Engineering, IBM Corp., 2016.
- Elaasar, M., Badreddin, O.: “Modeling Meets Programming: A Comparative Study in Model Driven Engineering Action Languages”, ISOLA '16, Corfu, Greece, 2016.
- Karban, R., Dekens, F., Jankevicius, N., Elaasar, M.: “Creating System Engineering Products with Executable Models in a Model-Based Engineering Environment”, Modeling, Systems Engineering, and Project Management for Astronomy VI, Edinburgh, UK, 2016.
- Karban, R., Jankevicius, N., Elaasar, M.: “ESEM: Automated Systems Analysis using Executable SysML Modeling Patterns”, 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, Vol. 41, Issue 2, March 2016.
- Badreddin, O., Elaasar, M., Hamou-Lhadj, A.: “A Controlled Experiment for Evaluating the Comprehensibility of UML Action Languages”, MODELSWARD '16, Rome, Italy, 2016.
- Torre, D., Labiche, Y., Genero, M., Elaasar, M.: “UML Consistency Rules in Technical Books”, ISSRE15, Washington DC, USA, 2015.
- Fouche, A., Noyrit, F., Gerard, S., Elaasar, M.: “Systematic Generation of Standard Compliant Tool Support of Diagrammatic Modeling Languages”, MODELS '15, Ottawa, Canada, 2015.
- Torre, D., Labiche, Y., Genero, M., Elaasar, M.: “Introduction to WUCOR (1st International Workshop on UML Consistency Rules)”, Joint Proceedings of ACES-MB 2015.
- Badreddin, O., Lethbridge, T., Forward, A., Elaasar, M., Aljamaan, H., Garzon, M.: “Enhanced Code Generation from UML Composite State Machines”, MODELSWARD, pp. 235–245, 2014.
- Fischer, M., Dingel, J., Elaasar, M., Shaw, S.: “Automating Instance Migration in Response to Ontology Evolution”, Models & Evolution Workshop, pp. 20–27, Miami, FL, September 2013.
- Elaasar, M., Neal, A.: “Integrating Modeling Tools in the Development Lifecycle with OSLC: a Case Study”, MODELS 2013, LNCS, Vol. 8107, pp. 154–169, Miami, FL, October 2013.
- Elaasar, M., Conallen, J.: “Design Management: a Collaborative Design Solution”, ECMFA 2013, LNCS, Vol. 7949, pp. 165–178, Montpellier, France, July 2013.
- Badreddin, O., Lethbridge, T. C., Elaasar, M.: “Modeling Practices in Open Source Software”, 9th International Conference on Open Source Systems, IFIP AICT, Vol. 404, pp. 127–139, Koper-Capodistria, Slovenia, June 2013.
- Elaasar, M., Labiche, Y.: “Model Interchange Testing: a Process and a Case Study”, 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”, MoDELS 2011, LNCS, Vol. 6981, pp. 364–378, Wellington, NZ, October 2011.
- Elaasar, M., Briand, L., Labiche, Y.: “Domain-Specific Model Verification with QVT”, ECMFA 2011, LNCS, Vol. 6689, pp. 282–298, Birmingham, England, June 2011.
- Elaasar, M., Briand, L., Labiche, Y.: “An Approach to Detecting Design Patterns in MOF-Based Domain-Specific Models with QVT”, Springerlink OCL Workshop, 2011.
- Elaasar, M., Briand, L., Labiche, Y.: “A Metamodeling Approach to Pattern Specification”, MoDELS 2006, LNCS, Vol. 4199, pp. 484–498, Genoa, Italy, October 2006.
- Elaasar, M., Li, G., Barbeau, M., Kranakis, E.: “The eXtended Satellite Transport Protocol: Its Design and Evaluation”, 17th AIAA/USU Conference on Small Satellites, Logan, Utah, August 2003.
- Torre, D., Genero, M., Labiche, Y., Elaasar, M.: "How consistency is handled in Model Driven Software Engineering and UML: a survey of experts in academia and industry", Technical Report SCE-18-01, Carleton University, 2018.
- Elaasar, M.: "An Approach to Design Pattern and Anti-Pattern Detection in MOF-Based Modeling Languages", Ph.D. Dissertation, Carleton University, Ottawa, Canada, September 2012.
- Yue, T., Ali, S., Elaasar, M.: "A Framework for Measuring Quality of Models Experiences from a Series of Controlled Experiments", Simula Research Laboratory, Technical Report 2010-17, March 2012.
- Elaasar, M., Fischer, J.: "Model-to-Model Transformation Authoring: an MDA Approach", IBM Canada, Rational Software, July 2007.
- Elaasar, M., Briand, L.: "An Overview of UML Consistency Management", Technical Report SCE-04-18, Carleton University, Ottawa, Canada, August 2004.
- Elaasar, M.: "XSTP: eXtended Satellite Transport Protocol", Master of Computer Science Thesis, Carleton University, Ottawa, Canada, January 2003.
- Wagner, D., Chodas, M., Elaasar, M., Jenkins, J.S., Rouquette, N.: “Ontological Metamodeling and Analysis Using openCAESAR,” Handbook of Model-Based Systems Engineering, pp. 925–954, November 2023.
- Wagner, D., Chodas, M., Elaasar, M., Jenkins, J.S., Rouquette, N.: “Semantic Modeling for Power Management using CAESAR,” Handbook of Model-Based Systems Engineering, pp. 1–18, May 6, 2022.
- Elaasar, M.: "Diagram Definition (DD) 1.0", OMG Specification, July 2012. (link)
- Elaasar, M.: "Annex B: UML Diagram Interchange, Unified Modeling Language 2.5", OMG Specification, October 2012. (link)
- Elaasar, M.: "Chapter 12: BPMN Notations and Diagrams, Business Process Modeling Notation 2.0", OMG Specification, January 2011. (link)
- MJ Boyersmith, B Dubauski, Elaasar, M.: "Database mapping of models for reporting tools in model driven development", US Patent 9,164,738, 2015. (link)
- Elaasar, M.: "Method and apparatus of specifying the concrete syntax of graphical modeling languages", US Patent 8,966,437, 2015. (link)
- Elaasar, M.: "Detecting design patterns in models by utilizing transformation language", US Patent 8,689,173, 2014. (link)
- Elaasar, M., JM Fischer: "Computer method and apparatus for providing model to model transformation using an MDA approach", US Patent 8,869,098, 2014. (link)
- Elaasar, M., JM Fischer: "UML profile transformation authoring method and system", US Patent 8,386,997, 2013. (link)
- Elaasar, M.: "Computer method and apparatus for model transformation reapply", US Patent 8,479,148, 2013. (link)
- Elaasar, M.: "Computer method and apparatus for chaining of model-to-model transformations", US Patent 8,583,413, 2013. (link)
- Elaasar, M., M Hanner, SR Shaw: "Optimized computer diagramming method", US Patent 8,166,080, 2012. (link)
- Elaasar, M.: "Configurable pattern detection method and apparatus", US Patent 7,890,923, 2011. (link)
- Elaasar, M.: "Generic markup specified object descriptor for a modularized computing application", US Patent 7,900,213, 2011. (link)
- Elaasar, M.: "Method and system defining and interchanging diagrams of graphical modeling languages", US Patent App. 12/628,630. (link)
- Elaasar, M.: "Computer method and system for pattern specification using meta-model of a target domain", US Patent 8,010,938, 2011. (link)
- Elaasar, M., M Hanner, SR Shaw: "Optimized computer diagramming method", US Patent 7,480,673, 2009. (link)
