default search action

combined dblp search
author search
venue search
publication search

ask others

45th FORTE 2025: Lille, France

> Home > Conferences and Workshops > FORTE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/forte/2025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/2025
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

- view
  authority control:
- export record
  dblp key:
  - conf/forte/Tuosto25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Tuosto25
Emilio Tuosto:
A Choreographic View of Smart Contracts. 1-9

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/forte/AraujoMN25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AraujoMN25
Hugo Araújo, Mohammad Reza Mousavi, Shiva Nejati:
Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems. 15-35
- view
  authority control:
- export record
  dblp key:
  - conf/forte/ZameniBFR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/ZameniBFR25
Tannaz Zameni, Petra van den Bos, Johan Foederer, Arend Rensink:
Sequential Composition of BDD Transition Systems for Model-Based Testing. 36-54
- view
  authority control:
- export record
  dblp key:
  - conf/forte/RonnebergBGTS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/RonnebergBGTS25
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
- view
  authority control:
- export record
  dblp key:
  - conf/forte/EspositoAB25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/EspositoAB25
Andrea Esposito, Alessandro Aldini, Marco Bernardo:
Noninterference Analysis ofStochastically Timed Reversible Systems. 75-95
- view
  authority control:
- export record
  dblp key:
  - conf/forte/CominiGM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/CominiGM25
Marco Comini, Luca Gemolotto, Marino Miculan:
Attribute-Based Communication over Pub/Sub: Transactional Coordination for Smart Systems. 96-113
- view
  authority control:
- export record
  dblp key:
  - conf/forte/GhoshA25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/GhoshA25
Bineet Ghosh, Étienne André:
Probabilistic Safety Verification of Distributed Systems: A Statistical Approach for Monitoring. 114-133
- view
  authority control:
- export record
  dblp key:
  - conf/forte/LaurentJQ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/LaurentJQ25
Mathieu Laurent, Thierry Jéron, Martin Quinson:
Towards Efficient Verification of Parallel Applications with Mc SimGrid. 134-153
- view
  authority control:
- export record
  dblp key:
  - conf/forte/AltisenB25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AltisenB25
Karine Altisen, Marius Bozga:
Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm. 154-170

Short/Tool Papers

- view
  authority control:
- export record
  dblp key:
  - conf/forte/GenoveseLGTV25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/GenoveseLGTV25
Gabriele Genovese, Ivan Lanese, Cinzia Di Giusto, Emilio Tuosto, Germán Vidal:
Choreographies for Program Understanding. 173-181
- view
  authority control:
- export record
  dblp key:
  - conf/forte/WengAGS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/WengAGS25
Cheng-Hui Weng, Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa:
An Approach to Formalize Information-Theoretic Security of Multiparty Computation Protocols. 182-192
- view
  authority control:
- export record
  dblp key:
  - conf/forte/CapraPF25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/CapraPF25
Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis:
SNexpression: A New Component for SN Matrix-Based Structural Analysis. 193-201
- view
  authority control:
- export record
  dblp key:
  - conf/forte/LaneveSRRB25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/LaneveSRRB25
Cosimo Laneve, Alvise Spanò, Dalila Ressi, Sabina Rossi, Michele Bugliesi:
Assessing Code Understanding in LLMs. 202-210
- view
  authority control:
- export record
  dblp key:
  - conf/forte/NavaratnarajahABHM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/NavaratnarajahABHM25
Melane Navaratnarajah, Ma'ayan Armony, Sebastian Biewer, Holger Hermanns, Mohammad Reza Mousavi:
LolaPrompts: Assisting the General Public in Performing Real-Driving Emission Tests. 211-220

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.