| 2023 | An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises. Manuel Barros, Maria Ramos, Alexandre Gomes, Alcino Cunha, José Pereira, Paulo Sérgio Almeida |
| 2023 | Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems. Andrea Esposito, Alessandro Aldini, Marco Bernardo |
| 2023 | Certified Compilation of Choreographies with hacc. Luís Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi |
| 2023 | Efficient Dynamic Model Based Testing - Using Greedy Test Case Selection. P. H. M. van Spaendonck |
| 2023 | Formal Techniques for Distributed Objects, Components, and Systems - 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings Marieke Huisman, António Ravara |
| 2023 | Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study. Ruggero Lanotte, Massimo Merro, Nicola Zannone |
| 2023 | Implementing a CTL Model Checker with μ Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti |
| 2023 | Minimal Generating Sets for Semiflows. Gérard Memmi |
| 2023 | On Bisimilarity for Polyhedral Models and SLCS. Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink |
| 2023 | On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems. Susmoy Das, Arpit Sharma |
| 2023 | Operations on Timed Scenarios. Neda Saeedloei, Feliks Kluzniak |
| 2023 | Relating Reversible Petri Nets and Reversible Event Structures, Categorically. Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
| 2023 | Towards an Automatic Proof of the Bakery Algorithm. Aman Goel, Stephan Merz, Karem A. Sakallah |
| 2023 | With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves. Petra van den Bos, Mariëlle Stoelinga |