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 |
