Cited By
View all- Gomes CLúcio LVangheluwe HPretschner AVoss SBurgueño L(2019)Semantics of co-simulation algorithms with simulator contractsProceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems10.1109/MODELS-C.2019.00124(784-789)Online publication date: 15-Sep-2019
- Lawrence DGomes CDenil JVangheluwe HBuchs DBarros FPrähofer HHu XDenil J(2016)Coupling petri nets with deterministic formalisms using co-simulationProceedings of the Symposium on Theory of Modeling & Simulation10.5555/2975389.2975395(1-8)Online publication date: 3-Apr-2016
- Zhang ZPorter JEyisi EKarsai GKoutsoukos XSztipanovits JLu CKumar PStoleru R(2013)Co-simulation framework for design of time-triggered cyber physical systemsProceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems10.1145/2502524.2502541(119-128)Online publication date: 8-Apr-2013
- Show More Cited By