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
Jorge Pérez, Nobuko Yoshida
Front Matter

Full Papers


Psi-Calculi Revisited: Connectivity and Compositionality
Johannes Åman Pohjola
3-20
Squeezing Streams and Composition of Self-stabilizing Algorithms
Karine Altisen, Pierre Corbineau, Stéphane Devismes
21-38
Parametric Updates in Parametric Timed Automata
Etienne André, Didier Lime, Mathias Ramparison
39-56
Parametric Statistical Model Checking of UAV Flight Plan
Ran Bao, Christian Attiogbe, Benoit Delahaye, Paulin Fournier, Didier Lime
57-74
Only Connect, Securely
Chandrika Bhardwaj, Sanjiva Prasad
75-92
Output-sensitive Information flow analysis
Cristian Ene, Laurent Mounier, Marie-Laure Potet
93-110
Component-aware Input-Output Conformance
Alexander Graf-Brill, Holger Hermanns
111-128
Declarative Choreographies and Liveness
Thomas Hildebrandt, Tijs Slaats, Hugo López, Søren Debois, Marco Carbone
129-147
Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes
Jannik Hüls, Anne Remke
148-166
Causal-Consistent Replay Debugging for Message Passing Programs
Ivan Lanese, Adrián Palacios, Germán Vidal
167-184
Correct and Efficient Antichain Algorithms for Refinement Checking
Maurice Laveaux, Jan Groote, Tim Willemse
185-203
Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification
Diego Marmsoler
204-223
Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs
The Anh Pham, Thierry Jéron, Martin Quinson
224-241
Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework
Jean-Bernard Stefani, Martin Vassor
242-260
Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems
Hoang-Dung Tran, Luan Nguyen, Patrick Musau, Weiming Xiang, Taylor Johnson
261-277

Short and “Journal First” Papers


On Certifying Distributed Algorithms: Problem of Local Correctness
Kim Völlinger
281-288
On a Higher-Order Calculus of Computational Fields
Jacob Beal, Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini
289-292
Semantically Sound Analysis of Content Security Policies
Stefano Calzavara, Alvise Rabitti, Michele Bugliesi
293-297

 


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