Skip to content

papers.md

Latest commit

 

History

History
28 lines (23 loc) · 1.69 KB

papers.md

File metadata and controls

28 lines (23 loc) · 1.69 KB

Some publications on SysMD Notebook

  • A. Ratzke, J. Koch, C. Grimm, "Modeling and Analysis of System Models with Constraints in SysMLv2", 2025 20th Annual System of Systems Engineering Conference (SoSE). https://ieeexplore.ieee.org/abstract/document/11083847

  • S. Post, J. Koch, A. Bevrnja and C. Grimm, "OpenCar: A SysML v2 Modeling Framework for Early Analysis of BoardNet Architectures," DVCon Europe 2024, Munich, Germany, 2024. https://ieeexplore.ieee.org/document/10830713

  • S. Kwasigroch, N. Theobald, J. Koch and C. Grimm, "A Roundtrip: From System Requirements to Circuit Variations and Back," DVCon Europe 2024, Munich, Germany, 2024. https://ieeexplore.ieee.org/document/10830775

  • A. Ratzke, S. Post, J. Koch and C. Grimm, "Constructive Model Analysis of SysMLv2 Models by Constraint Propagation," 2024 19th Annual System of Systems Engineering Conference (SoSE), Tacoma, WA, USA, 2024, pp. 239-244, doi: 10.1109/SOSE62659.2024.10620947. https://ieeexplore.ieee.org/document/10620947

  • Š. Dalecke and C. Grimm, "SysMD: An Inclusive Modelling Tool," 2024 19th Annual System of Systems Engineering Conference (SoSE), Tacoma, WA, USA, 2024, pp. 178-183, doi: 10.1109/SOSE62659.2024.10620956. https://ieeexplore.ieee.org/document/10620956

  • V. Molnár, B. Graics, A. Vörös, S. Tonetta, L, Cristoforetti, G. Kimberly, P. Dyer, K. Giammarco, M. Koethe, J. Hester, J. Smith, and C. Grimm. 2024. Towards the Formal Verification of SysML v2 Models. In Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion '24). Association for Computing Machinery, New York, NY, USA, 1086–1095. https://doi.org/10.1145/3652620.3687820