Tuesday (June 9)

(9:00-10:00)

• Hop, a Fast Server for the Diffuse Web (Manuel Serrano)

(10:30-12:30)

• Recursive Parametric Automata and ε-Removal (Lin Liu and Jonathan Billington)
• Approximated Context-sensitive Analysis for Parameterized Verification (Parosh Abdulla, Giorgio Delzanno and Ahmed Rezine)
• Verification of Parameterized Systems with Combinations of Abstract Domains (Naghmeh Ghafari, Arie Gurfinkel and Richard Trefler)
• Distinguishing Non-deterministic Timed Finite State Machines (Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina and Nina Yevtushenko)

• 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 (Rohit Chadha, Stephanie Delaune and Steve Kremer)
• On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems (Morten Kühnrich and Uwe Nestmann)
• A Software Platform for Timed Mobility and Timed Interaction (Gabriel Ciobanu and Calin Juravle)

• 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)

• Structured Application Development over Wide-Area Networks (Jayadev Misra)

• FMOODS: Typing Component-Based Communication (Michael Lienhardt, Claudio antares mezzina, Alan Schmitt and Jean-Bernard Stefani)
• 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)

• Data Management in the Cloud (Raghu Ramakrishnan)

• System Model-based Definition of Modeling Language Semantics (Hans Grönniger, Jan Oliver Ringert and Bernhard Rumpe)
• Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions (Luciano Baresi, Domenico Bianculli, Sam Guinea and Paola Spoletini)
• (S) A Type Graph Model for Java Programs (Arend Rensink and Eduardo Zambon)
• (S) Dynamic Symbolic Execution of Distributed Concurrent Objects (Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen and Rudolf Schlatte)
• (S) A Model-Checking Approach for Service Component Architectures (João Abreu, Franco Mazzanti, José Luiz Fiadeiro and Stefania Gnesi)
• (S) Checking the conformance of orchestrations with respect to choreographies in web services: A formal approach (Gregorio Díaz and Ismael Rodriguez)

• 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 (Hanifa Boucheneb and Abdessamad Imine)
• Modeling, validation, and verification of PCEP using the IF language (Iksoon Hwang, Mounir Lallali, Ana Cavalli and Dominique Verchere)
• (S) Conformance Testing of Network Simulators based on Metamorphic Testing Technique (Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu and Shengqiong Wang)
• (S) Using First-Order Logic to Reason about Submodule Construction (Gregor Bochmann)

• 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)