Translating Statecharts plus Class Diagrams (SCCD) to the Discrete-Event System Specifications (DEVS)
Source
2025 Modeling and Simulation Conference-ANNSIM, MAY 26-29, 2025, Madrid, Spain- (2025) p.
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