Abstract is missing.
- An Experimental Evaluation of Tools for Grading Concurrent Programming ExercisesManuel Barros, Maria Ramos, Alexandre Gomes, Alcino Cunha, José Pereira 0001, Paulo Sérgio Almeida. 3-20 [doi]
- Towards an Automatic Proof of the Bakery AlgorithmAman Goel, Stephan Merz, Karem A. Sakallah. 21-28 [doi]
- Certified Compilation of Choreographies with haccLuís Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi. 29-36 [doi]
- G, a Language for Programming Graph Neural NetworksMatteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti. 37-54 [doi]
- Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible SystemsAndrea Esposito 0006, Alessandro Aldini, Marco Bernardo 0001. 57-74 [doi]
- Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case StudyRuggero Lanotte, Massimo Merro, Nicola Zannone. 75-94 [doi]
- Operations on Timed ScenariosNeda Saeedloei, Feliks Kluzniak. 97-114 [doi]
- On the Use of Model and Logical Embeddings for Model Checking of Probabilistic SystemsSusmoy Das, Arpit Sharma 0002. 115-131 [doi]
- On Bisimilarity for Polyhedral Models and SLCSVincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink. 132-151 [doi]
- With a Little Help from Your Friends: Semi-cooperative Games via Joker MovesPetra van den Bos, Mariëlle Stoelinga. 155-172 [doi]
- Efficient Dynamic Model Based Testing - Using Greedy Test Case SelectionP. H. M. van Spaendonck. 173-188 [doi]
- Minimal Generating Sets for SemiflowsGérard Memmi. 189-205 [doi]
- Relating Reversible Petri Nets and Reversible Event Structures, CategoricallyHernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna. 206-223 [doi]