Full Text Documents

Search


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 : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/