Process-oriented Inconsistency Management in Collaborative Systems Modeling
Source
,
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.
A theoretical framework for model-based life cycle engineering of simulation models
Source
2025 Modeling and Simulation Conference-ANNSIM, MAY 26-29, 2025, Madrid, Spain- (2025) p. 1-13
An agent-oriented twinning architecture for complex event-driven anomaly detection in distributed CPS
Source
22nd International Conference on Software Architecture Companion-ICSA, C-Annual, MAR 31-APR 04, 2025, University of Southern Denmark, University of Southern Denmark, Odense, Denmark- (2025) p. 205-214
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