![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
43rd FORTE 2023: Lisbon, Portugal
- 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
- 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 - Aman Goel, Stephan Merz, Karem A. Sakallah:
Towards an Automatic Proof of the Bakery Algorithm. 21-28 - Luís Cruz-Filipe
, Lovro Lugovic
, Fabrizio Montesi
:
Certified Compilation of Choreographies with hacc. 29-36 - 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
- Andrea Esposito, Alessandro Aldini
, Marco Bernardo:
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems. 57-74 - 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
- Neda Saeedloei, Feliks Kluzniak:
Operations on Timed Scenarios. 97-114 - Susmoy Das
, Arpit Sharma:
On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems. 115-131 - 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
- Petra van den Bos, Mariëlle Stoelinga
:
With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves. 155-172 - P. H. M. van Spaendonck
:
Efficient Dynamic Model Based Testing - Using Greedy Test Case Selection. 173-188 - Gérard Memmi:
Minimal Generating Sets for Semiflows. 189-205 - Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna:
Relating Reversible Petri Nets and Reversible Event Structures, Categorically. 206-223
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.