


default search action
45th FORTE 2025: Lille, France
- Carla Ferreira

, Claudio Antares Mezzina
:
Formal Techniques for Distributed Objects, Components, and Systems - 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings. Lecture Notes in Computer Science 15732, Springer 2025, ISBN 978-3-031-95496-2
Tutorial Paper
- Emilio Tuosto:

A Choreographic View of Smart Contracts. 1-9
Regular Papers
- Hugo Araújo, Mohammad Reza Mousavi, Shiva Nejati:

Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems. 15-35 - Tannaz Zameni

, Petra van den Bos
, Johan Foederer
, Arend Rensink
:
Sequential Composition of BDD Transition Systems for Model-Based Testing. 36-54 - Rasmus C. Rønneberg

, Tabea Bordis
, Christopher Gerking
, Asmae Heydari Tabar
, Ina Schaefer
:
Scaling Information Flow Control By-Construction to Component-Based Software Architectures. 55-74 - Andrea Esposito, Alessandro Aldini

, Marco Bernardo:
Noninterference Analysis ofStochastically Timed Reversible Systems. 75-95 - Marco Comini

, Luca Gemolotto
, Marino Miculan
:
Attribute-Based Communication over Pub/Sub: Transactional Coordination for Smart Systems. 96-113 - Bineet Ghosh

, Étienne André
:
Probabilistic Safety Verification of Distributed Systems: A Statistical Approach for Monitoring. 114-133 - Mathieu Laurent

, Thierry Jéron
, Martin Quinson
:
Towards Efficient Verification of Parallel Applications with Mc SimGrid. 134-153 - Karine Altisen

, Marius Bozga
:
Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm. 154-170
Short/Tool Papers
- Gabriele Genovese

, Ivan Lanese
, Cinzia Di Giusto
, Emilio Tuosto
, Germán Vidal
:
Choreographies for Program Understanding. 173-181 - Cheng-Hui Weng

, Reynald Affeldt
, Jacques Garrigue
, Takafumi Saikawa
:
An Approach to Formalize Information-Theoretic Security of Multiparty Computation Protocols. 182-192 - Lorenzo Capra

, Massimiliano De Pierro, Giuliana Franceschinis:
SNexpression: A New Component for SN Matrix-Based Structural Analysis. 193-201 - Cosimo Laneve, Alvise Spanò, Dalila Ressi, Sabina Rossi, Michele Bugliesi:

Assessing Code Understanding in LLMs. 202-210

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














