Skip to Main content Skip to Navigation
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

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/