default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID43rd 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
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.
last updated on 2024-10-04 20:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
