Accepted Papers & Talks
Logics & Semantics
-
Decompositional Branching Bisimulation Minimisation of Monolithic Processes
-
Embeddings Between State and Action Based Probabilistic Logics
-
Footprint Logic for Object-Oriented Components
Frank de Boer, Hans Dieter Hiep, Jinting Bian, Stijn de Gouw
Types & Choreographies
-
Open Compliance in Multiparty Sessions
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo De'Liguoro
-
Realisability of Branching Pomsets
Modelling & Verification
-
Compositional Simulation of Abstract State Machines for Safety Critical Systems
Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
-
Formal Model-In-The-Loop for Secure Industrial Control Networks
Laurynas Ubys, Valeriu Nicolas Vancea, Tomas Kulik, Peter Gorm Larsen, Jalil Boudjadar, Diego F. Aranha
-
Formally Characterizing the Effect of Model Transformations on System Properties
-
Interpretation and Formalization of the Right-of-Way Rules
-
Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components
-
WEASY: A Modelling Tool for Optimized BPMN Processes
Invited Talks
-
Correctness-by-Construction Engineering - Can we build better software?
-
Hardware-Components for Runtime Monitoring
-
Probabilistic causality in Markovian models
-
Semantics for Hybrid Components - Categorical Tools and Techniques