Table of Contents
|
Formal Techniques for Distributed Objects, Components, and Systems
Marieke Huisman, António Ravara |
Front Matter |
Concurrent Programming
|
An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises
Manuel Barros, Maria Ramos, Alexandre Gomes, Alcino Cunha, José Pereira, Paulo Sérgio Almeida |
3-20 |
Towards an Automatic Proof of the Bakery Algorithm
Aman Goel, Stephan Merz, and Karem A. Sakallah |
21-28 |
Certified Compilation of Choreographies with hacc
Luís Cruz-Filipe, Lovro Lugović, Fabrizio Montesi |
29-36 |
Implementing a CTL Model Checker with $$\mu \mathcal {G}$$μG, a Language for Programming Graph Neural Networks
Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti |
37-54 |
Security
|
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems
Andrea Esposito, Alessandro Aldini, Marco Bernardo |
57-74 |
Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study
Ruggero Lanotte, Massimo Merro, Nicola Zannone |
75-94 |
Probabilities, Time and other Resources
|
Operations on Timed Scenarios
Neda Saeedloei, Feliks Kluźniak |
97-114 |
On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems
Susmoy Das, Arpit Sharma |
115-131 |
On Bisimilarity for Polyhedral Models and SLCS
Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik Vink |
132-151 |
Model-Based Testing and Petri Nets
|
With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves
Petra van Den Bos, Mariëlle Stoelinga |
155-172 |
Efficient Dynamic Model Based Testing
P. Spaendonck |
173-188 |
Minimal Generating Sets for Semiflows
Gerard Memmi |
189-205 |
Relating Reversible Petri Nets and Reversible Event Structures, Categorically
Hernán Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
206-223 |
