Tuesday (June 9)

(9:00-10:00)

(10:30‐12:30)

• Recursive Parametric Automata and ε‐Removal
• Approximated Context‐sensitive Analysis for Parameterized Verification
• Verification of Parameterized Systems with Combinations of Abstract Domains
• Distinguishing Non‐deterministic Timed Finite State Machines

• D-Praxis : A peer-to-peer collaborative model edition framework (Alix Mougenot, Xavier Blanc, Marie-Pierre Gervais)
• A Reflective Middleware to Support Peer-to-Peer Overlay Adaptation (Gareth Tyson, Paul Grace, Andreas Mauthe, Gordon Blair, Sebastian Kaune)
• WiSeKit: A Distributed Middleware to Support Application-level Adaptation in Sensor Network (Amirhosein Taherkordi, Quan Le-Trung, Romain Rouvoy, Frank Eliassen)
• Automated Assessment of Aggregate Query Imprecision in Dynamic Environments (Vasanth Rajamani, Christine Julien, Jamie Payton)

• High-Performance Transactional Event Processing (Jesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek, Antonio Cunei)
• Exceptionally Safe Futures (Armand Navabi, Suresh Jagannathan)
• Enhanced Coordination in Sensor Networks through Flexible Service Provisioning (Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu)
• Fairness for Chorded Languages (Alexis Petrounias, Susan Eisenbach)

• Epistemic Logic for the Applied Pi Calculus
• On Process‐Algebraic Proof Methods for Fault Tolerant Distributed Systems
• A Software Platform for Timed Mobility and Timed Interaction

• Fault-Tolerant Aggregation by Flow Updating (Paulo Jesus, Carlos Baquero, Paulo Sergio Almeida)
• Foraging for better deployment of replicated service components (Mate J. Csorba, Hein Meling, Poul E. Heegaard, Peter Herrmann)
• A Generic Group Communication Approach for Hybrid Distributed Systems (Raimundo Macedo, Allan Freitas)

• Mobility Models and Behavioural Equivalence for Wireless Networks (Jens ChrGodskesen, Sebastian Nanz)
• Parametrised Constants and Replication for Spatial Mobility (Børn Haagensen, Hans Hüttel)
• Biochemical Tuple Spaces for Self-Organising Coordination (Mirko Viroli, Matteo Casadei)

• Static Security Analysis of Service-Oriented Systems (Flemming Nielson)

Wednesday (June 10)

• FMOODS: Typing Component‐Based Communication
• DAIS: Exploiting Synergies Between Coexisting Overlays (Shen Lin, François Taiani, Gordon Blair)
• Coordination: Multicore Scheduling for Lightweight Communicating Processes (Carl Ritson, Adam Sampson, Frederick Barnes)

• Types for Alias Control and Verification (Sophia Drossopoulou)

• A Formal Approach to Service-Oriented Modelling (José Luiz Fiadeiro)

Thursday (June 11)

• System Model‐based Definition of Modeling Language Semantics
• Keep It Small, Keep It Real: Efficient Run‐Time Verification of Web Service Compositions
• (S) A Type Graph Model for Java Programs
• (S) Dynamic Symbolic Execution of Distributed Concurrent Objects
• (S) A Model‐Checking Approach for Service Component Architectures
• (S) Checking the conformance of orchestrations with respect to choreographies in web services: A formal approach

• A Flexible Approach for Business Processes Monitoring (Diana Comes, Steffen Bleul, Thomas Weise, Kurt Geihs)
• Distributed Contracting and Monitoring in the Internet of Services (Josef Spillner, Matthias Winkler, Sandro Reichert, Jorge Cardoso, Alexander Schill)
• Dependency Management in Smart Homes (Daniel Retkowitz, Sven Kulle)
• SoundPark: Towards Highly Collaborative Game Support in an Ubiquitous Computing Architecture (Romain Pellerin, Nicolas Bouillot, Tatiana Pietkiewicz, Mike Wozniewski, Zack Settel, Eric Gressier-Soudan, Jeremy R. Cooperstock)

• Automata for Context-dependent Connectors (Marcello Bonsangue, Dave Clarke, Alexandra Silva)
• Contract-Based Coordination of Hardware Components for the Development of Embedded Software (Tayeb Bouhadiba, Florence Maraninchi)
• Coordination Model for Real-time Collaborative Editors (Abdessamad Imine)

• On Model‐Checking Optimistic Replication Algorithms
• Modeling, validation, and verification of PCEP using the IF language
• (S) Conformance Testing of Network Simulators based on Metamorphic Testing Technique
• (S) Using First‐Order Logic to Reason about Submodule Construction

• A Uniform Framework for Modeling and Verifying Components and Connectors (Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz )
• From Coordination to Stochastic Models of QoS (Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon, Chretien Verhoef)
• Assume-Guarantee Verification of Concurrent Systems (Liliana D'Errico, Michele Loreti)

• Verification Methods for Software Security and Correctness (Gilles Barthe)