Abstract is missing.
- Compositional Simulation of Abstract State Machines for Safety Critical SystemsSilvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra. 3-19 [doi]
- Specifying Source Code and Signal-based Behaviour of Cyber-Physical System ComponentsJoshua Heneage Dawes, Domenico Bianculli. 20-38 [doi]
- Formally Characterizing the Effect of Model Transformations on System PropertiesRikayan Chaki, Anton Wijs. 39-58 [doi]
- Interpretation and Formalization of the Right-of-Way RulesVictor A. Carreño, Mariano M. Moscato, Paolo M. Masci, Aaron Dutle. 59-73 [doi]
- Formal Model In-The-Loop for Secure Industrial Control NetworksLaurynas Ubys, Valeriu Nicolas Vancea, Tomas Kulik, Peter Gorm Larsen, Jalil Boudjadar, Diego F. Aranha. 74-89 [doi]
- Debugging of BPMN Processes Using Coloring TechniquesQuentin Nivon, Gwen Salaün. 90-109 [doi]
- WEASY: A Tool for Modelling Optimised BPMN ProcessesAngel Contreras, Yliès Falcone, Gwen Salaün, Ahang Zuo. 110-118 [doi]
- Embeddings Between State and Action Based Probabilistic LogicsSusmoy Das, Arpit Sharma 0002. 121-140 [doi]
- Footprint Logic for Object-Oriented ComponentsFrank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian. 141-160 [doi]
- Decompositional Branching Bisimulation Minimisation of Monolithic ProcessesMark Bouwman, Maurice Laveaux, Bas Luttik, Tim A. C. Willemse. 161-182 [doi]
- Realisability of Branching PomsetsLuc Edixhoven, Sung-Shik Jongmans. 185-204 [doi]
- Liquidity Analysis in Resource-Aware ProgrammingSilvia Crafa, Cosimo Laneve. 205-221 [doi]
- Open Compliance in Multiparty SessionsFranco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro. 222-243 [doi]