Table of Contents
|
Formal Techniques for Distributed Objects, Components, and Systems Christel Baier, Luís Caires |
Front Matter |
A Distributed Coordination Infrastructure for Attribute-Based Interaction Yehia Alrahman, Rocco Nicola, Giulio Garbi, Michele Loreti |
1-20 |
Applied Choreographies Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli |
21-40 |
Monotonic Prefix Consistency in Distributed Systems Alain Girault, Gregor Gössler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi |
41-57 |
A Modest Security Analysis of Cyber-Physical Systems: A Case Study Ruggero Lanotte, Massimo Merro, Andrei Munteanu |
58-78 |
Relating Process Languages for Security and Communication Correctness (Extended Abstract) Daniele Nantes, Jorge Pérez |
79-100 |
A Calculus for Modeling Floating Authorizations Jovanka Pantović, Ivan Prokić, Hugo Vieira |
101-120 |
Parameter Synthesis Algorithms for Parametric Interval Markov Chains Laure Petrucci, Jaco Pol |
121-140 |
Information Flow Tracking for Side-Effectful Libraries Alexander Sjösten, Daniel Hedin, Andrei Sabelfeld |
141-160 |
On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency Kim Völlinger, Samira Akili |
161-180 |
Preserving Contract Satisfiability Under Non-monotonic Composition Jonas Westman, Mattias Nyberg |
181-195 |
Designed by Inria-IES Team : Hosted by HAL :
|