Cited By
View all- Rosales RPaulitsch M(2021)Composable Finite State Machine-based Modeling for Quality-of-Information-aware Cyber-physical SystemsACM Transactions on Cyber-Physical Systems10.1145/33862445:2(1-27)Online publication date: 20-Jan-2021
- Kahani NCordy JGherbi AHamou-Lhadj WBali A(2020)Bounded Verification of State Machine ModelsProceedings of the 12th System Analysis and Modelling Conference10.1145/3419804.3420263(23-32)Online publication date: 19-Oct-2020
- Babaei MBagherzadeh MDingel JSyriani ESahraoui H(2020)Efficient reordering and replay of execution traces of distributed reactive systems in the context of model-driven developmentProceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3365438.3410939(285-296)Online publication date: 16-Oct-2020
- Show More Cited By