default search action

combined dblp search
author search
venue search
publication search

ask others

44th FORTE 2024: Groningen, The Netherlands

> 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/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/2024
Valentina Castiglioni, Adrian Francalanza:
Formal Techniques for Distributed Objects, Components, and Systems - 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings. Lecture Notes in Computer Science 14678, Springer 2024, ISBN 978-3-031-62644-9

Full Papers

- view
  authority control:
- export record
  dblp key:
  - conf/forte/AlvimSKV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AlvimSKV24
Mário S. Alvim, Artur Gaspar da Silva, Sophia Knight, Frank Valencia:
A Multi-agent Model for Opinion Evolution in Social Networks Under Cognitive Biases. 3-19
- view
  authority control:
- export record
  dblp key:
  - conf/forte/BezhanishviliCGJLMV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BezhanishviliCGJLMV24
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink:
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_η. 20-38
- view
  authority control:
- export record
  dblp key:
  - conf/forte/EspositoAB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/EspositoAB24
Andrea Esposito, Alessandro Aldini, Marco Bernardo:
Noninterference Analysis of Reversible Probabilistic Systems. 39-59
- view
  authority control:
- export record
  dblp key:
  - conf/forte/EsterhuyseMB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/EsterhuyseMB24
Christopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen:
JustAct: Actions Universally Justified by Partial Dynamic Policies. 60-81
- view
  authority control:
- export record
  dblp key:
  - conf/forte/GrangeL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/GrangeL24
Julien Grange, Mathieu Lehaut:
Synthesis for Prefix First-Order Logic on Data Words. 82-98
- view
  authority control:
- export record
  dblp key:
  - conf/forte/BrunD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BrunD24
Matthew Alan Le Brun, Ornela Dardha:
MAGπ!: The Role of Replication in Typing Failure-Prone Communication. 99-117
- view
  authority control:
- export record
  dblp key:
  - conf/forte/LengletS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/LengletS24
Sergueï Lenglet, Alan Schmitt:
Leaf-First Zipper Semantics. 118-135
- view
  authority control:
- export record
  dblp key:
  - conf/forte/SaeedloeiK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/SaeedloeiK24
Neda Saeedloei, Feliks Kluzniak:
Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios. 136-154
- view
  authority control:
- export record
  dblp key:
  - conf/forte/WangNRZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/WangNRZ24
Weili Wang, Jianyu Niu, Michael K. Reiter, Yinqian Zhang:
Formally Verifying a Rollback-Prevention Protocol for TEEs. 155-173

Full Papers with Artefact

- view
  authority control:
- export record
  dblp key:
  - conf/forte/RousseauxCAL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/RousseauxCAL24
Tom Rousseaux, Christophe Crochet, John O. R. Aoga, Axel Legay:
Network Simulator-Centric Compositional Testing. 177-196
- view
  authority control:
- export record
  dblp key:
  - conf/forte/ViscontiBFN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/ViscontiBFN24
Ennio Visconti, Ezio Bartocci, Yliès Falcone, Laura Nenzi:
Adaptable Configuration of Decentralized Monitors. 197-217

Short Papers

- view
  authority control:
- export record
  dblp key:
  - conf/forte/FrankenN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/FrankenN24
Tom T. P. Franken, Thomas Neele:
AuDaLa is Turing Complete. 221-229
- view
  authority control:
- export record
  dblp key:
  - conf/forte/GuMS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/GuMS24
Rong Gu, Zahra Moezkarimi, Marjan Sirjani:
Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems. 230-238

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.