FORTE

Keyphrases

Publications

2023

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

volume 13910, 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 FORTE 13910 (2023)

2022

volume 13273, 2022

Formal Techniques for Distributed Objects, Components, and Systems - 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings FORTE 13273 (2022)

2021

volume 12719, 2021

Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings FORTE 12719 (2021)

2020