Integrating model checking into a live modeling environment
Source
18th International Conference on Software Language, Engineering-SLE-Annual, JUN 12-13, 2025, Koblenz, Germany- (2025) p. 128-133
Operation-based versioning as a foundation for live executable models
Source
Software and systems modeling - ISSN 1619-1366-24:3 (2025) p. 721-739
SCCD debugger : a debugger for statecharts and class diagrams
Source
ACM/IEEE 27th International Conference on Model Driven Engineering, Languages and Systems: Companion Proceedings (MODELS), SEP 22-27, 2024, Linz, Austria- (2024) p. 61-65
A virtual global monorepo of immutable linked data
Source
ACM/IEEE 27th International Conference on Model Driven Engineering, Languages and Systems: Companion Proceedings (MODELS), SEP 22-27, 2024, Linz, Austria- (2024) p. 1000-1004
Model management to support systems engineering workflows using ontology-based knowledge graphs
Source
Journal of Industrial Information Integration - ISSN 2467-964X-42 (2024) p. 1-23