default search action

combined dblp search
author search
venue search
publication search

ask others

43rd FORTE 2023: Lisbon, Portugal

> 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/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/2023
Marieke Huisman, António Ravara:
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. Lecture Notes in Computer Science 13910, Springer 2023, ISBN 978-3-031-35354-3

Concurrent Programming

- view
  authority control:
- export record
  dblp key:
  - conf/forte/BarrosRGC0A23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BarrosRGC0A23
Manuel Barros, Maria Ramos, Alexandre Gomes, Alcino Cunha, José Pereira, Paulo Sérgio Almeida:
An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises. 3-20
- view
  authority control:
- export record
  dblp key:
  - conf/forte/GoelMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/GoelMS23
Aman Goel, Stephan Merz, Karem A. Sakallah:
Towards an Automatic Proof of the Bakery Algorithm. 21-28
- view
  authority control:
- export record
  dblp key:
  - conf/forte/Cruz-FilipeLM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Cruz-FilipeLM23
Luís Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi:
Certified Compilation of Choreographies with hacc. 29-36
- view
  authority control:
- export record
  dblp key:
  - conf/forte/BelenchiaCQL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BelenchiaCQL23
Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti:
Implementing a CTL Model Checker with μ G, a Language for Programming Graph Neural Networks. 37-54

Security

- view
  authority control:
- export record
  dblp key:
  - conf/forte/EspositoA023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/EspositoA023
Andrea Esposito, Alessandro Aldini, Marco Bernardo:
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems. 57-74
- view
  authority control:
- export record
  dblp key:
  - conf/forte/LanotteMZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/LanotteMZ23
Ruggero Lanotte, Massimo Merro, Nicola Zannone:
Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study. 75-94

Probabilities, Time and other Resources

- view
  authority control:
- export record
  dblp key:
  - conf/forte/SaeedloeiK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/SaeedloeiK23
Neda Saeedloei, Feliks Kluzniak:
Operations on Timed Scenarios. 97-114
- view
  authority control:
- export record
  dblp key:
  - conf/forte/Das023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Das023
Susmoy Das, Arpit Sharma:
On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems. 115-131
- view
  authority control:
- export record
  dblp key:
  - conf/forte/CianciaGLMV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/CianciaGLMV23
Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink:
On Bisimilarity for Polyhedral Models and SLCS. 132-151

Model-Based Testing and Petri Nets

- view
  authority control:
- export record
  dblp key:
  - conf/forte/BosS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BosS23
Petra van den Bos, Mariëlle Stoelinga:
With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves. 155-172
- view
  authority control:
- export record
  dblp key:
  - conf/forte/Spaendonck23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Spaendonck23
P. H. M. van Spaendonck:
Efficient Dynamic Model Based Testing - Using Greedy Test Case Selection. 173-188
- view
  authority control:
- export record
  dblp key:
  - conf/forte/Memmi23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Memmi23
Gérard Memmi:
Minimal Generating Sets for Semiflows. 189-205
- view
  authority control:
- export record
  dblp key:
  - conf/forte/MelgrattiMP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/MelgrattiMP23
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna:
Relating Reversible Petri Nets and Reversible Event Structures, Categorically. 206-223

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.