Peer-reviewed work by our founder and collaborators at NASA JPL, Airbus, and partner universities, on ontological modeling, automated reasoning, and rigorous model-based systems engineering. The ideas in these papers are the foundation OML Code is built on.
Elaasar, M., Rouquette, N., Wagner, D., Oakes, B., Hamou-Lhadj, A., Hamdaqa, M. “openCAESAR: Balancing Agility and Rigor in Model-Based Systems Engineering”, Proceedings of SAM 2023, Västerås, Sweden, 2023.
ACM/IEEE MODELS 2025 Companion Proceedings (MODELS-C), pp. 853–857
Validates SysML models with an automated reasoner through openCAESAR.
ACM/IEEE MODELS 2025 Companion Proceedings (MODELS-C), pp. 844–852
Applies openCAESAR to power balance analysis during the early formulation of a space mission.
ACM/IEEE MODELS 2025 Companion Proceedings (MODELS-C), pp. 367–376
Surveys practitioners on their experience with model-based systems engineering and the challenges that hold its adoption back.
Proceedings of SAM 2023, Västerås, Sweden
The primary citation for openCAESAR. Presents an approach that keeps model-based systems engineering both agile and formally rigorous, as applied at NASA JPL.
Proceedings of INCOSE IS 2023, Honolulu, Hawaii
Models autonomous behavior ontologically so that planning and execution can be analyzed formally rather than only tested.
Handbook of Model-Based Systems Engineering, Springer, Cham
A book chapter on treating metamodeling as the modeling of vocabularies, and on analyzing the resulting models with description logic.
Proceedings of the 8th IEEE International Symposium on Systems Engineering (ISSE), Vienna, Austria
Applies a semantic layer to early aircraft design trade studies so data distributed across engineering disciplines becomes openly queryable.
Handbook of Model-Based Systems Engineering, pp. 1–18
Shows how semantic models bring the rigor of computer-aided design to spacecraft power management.
Proceedings of the IEEE Aerospace Conference, Big Sky, MT, USA
A case study developing spacecraft electrical interface and harness specifications for the Europa Clipper flight project.
Proceedings of the Model Based Enterprise Summit, Gaithersburg, MD
Argues that MBSE adoption stalls without an integrated, model-centric foundation, and sets out what such a foundation requires.
The methods in these papers are not theory left on the page. They ship inside OML Code.
Explore OML Code Talk to Us