index - Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2018)

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

Full Text Documents