index - Formal Techniques for Distributed Objects, Components, and Systems
   


Full Text Documents

13

Search


Table of Contents
Formal Techniques for Distributed Objects, Components, and Systems
Marieke Huisman, António Ravara
Front Matter

Concurrent Programming


An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises
Manuel Barros, Maria Ramos, Alexandre Gomes, Alcino Cunha, José Pereira, Paulo Sérgio Almeida
3-20
Towards an Automatic Proof of the Bakery Algorithm
Aman Goel, Stephan Merz, and Karem A. Sakallah
21-28
Certified Compilation of Choreographies with hacc
Luís Cruz-Filipe, Lovro Lugović, Fabrizio Montesi
29-36
Implementing a CTL Model Checker with $$\mu \mathcal {G}$$μG, a Language for Programming Graph Neural Networks
Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti
37-54

Security


Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems
Andrea Esposito, Alessandro Aldini, Marco Bernardo
57-74
Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study
Ruggero Lanotte, Massimo Merro, Nicola Zannone
75-94

Probabilities, Time and other Resources


Operations on Timed Scenarios
Neda Saeedloei, Feliks Kluźniak
97-114
On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems
Susmoy Das, Arpit Sharma
115-131
On Bisimilarity for Polyhedral Models and SLCS
Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik Vink
132-151

Model-Based Testing and Petri Nets


With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves
Petra van Den Bos, Mariëlle Stoelinga
155-172
Efficient Dynamic Model Based Testing
P. Spaendonck
173-188
Minimal Generating Sets for Semiflows
Gerard Memmi
189-205
Relating Reversible Petri Nets and Reversible Event Structures, Categorically
Hernán Melgratti, Claudio Antares Mezzina, G. Michele Pinna
206-223

 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/