Full Text Documents

Search


 
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/