Programme

(Programme not available yet)

Accepted papers

  • A Component-oriented Framework for Autonomous Agents
    Tobias Kappé, Farhad Arbab and Carolyn Talcott
  • A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches
    Shiji Bijo, Einar Broch Johnsen, Ka I Pun and Silvia Lizeth Tapia Tarifa
  • Certification of Workflows in a Component-Based Cloud of High Performance Computing Services
    Allberson Dantas, Heron Carvalho and Luis Barbosa
  • Component-Based Modeling in Mediator
    Yi Li and Meng Sun
  • Compositional Model Checking is Lively
    Sander de Putter and Anton Wijs
  • Coordination of dynamic software components with JavaBIP
    Anastasia Mavridou, Valentin Rutz and Simon Bliudze
  • Correct Composition of Dephased Behavioural Models
    Juliana Küster Filipe Bowles and Marco B. Caminati
  • Correctness-by-learning of infinite-state component-based systems
    Mohamad Jaber, Haitham Bou Ammar and Mohamad Nassar
  • Fault Localization in Service Compositions
    Heike Wehrheim
  • Guarded Terms for Rewriting modulo SMT
    Kyungmin Bae and Camilo Rocha
  • On Weighted Configuration Logics
    Paulina Paraponiari and George Rahonis
  • Safety analysis of software components of a dialysis machine using model checking
    Michael Harrison, Michael Drinnan, Jose Creissac Campos, Paolo Masci, Leo Freitas, Costanzo di Maria and Michael Whitaker
  • The Implementation of Object Propositions: the Oprop Verification Tool
    Ligia Nistor and Jonathan Aldrich
  • TOM: a Model-Based GUI Testing framework
    Miguel Pinto, Marcelo Gonçalves, Paolo Masci and José Creissac Campos

Invited speakers

Catuscia Palamidessi

Catuscia Palamidessi

Biography

Catuscia Palamidessi is the Director of Research at INRIA Saclay, where she leads the team COMETE. She got her PhD from the University of Pisa in 1988. She held Full Professor positions at the University of Genova, Italy (1994-1997) and at the Pennsylvania State University, USA (1998-2002). Catuscia Palamidessi's research interests include Privacy, Secure Information Flow, and Concurrency. Her past achievements include the proof of expressiveness gaps between various concurrent calculi, and the development of a probabilistic version of the asynchronous pi-calculus. More recently, she has contributed to establish the foundations of probabilistic secure information flow, she has proposed an extension of differential privacy, and geo-indistinguishability, an approach to location privacy.

David Costa

David Costa

Biography

David Costa is the CTO at NewMotion in Amsterdam, and a research member at CWI in Amsterdam at the Foundations of Software Engineering group. He has a Software Engineering and Computer Science education background and received his PhD in Computer Science in 2010 from Vrije Universiteit, Netherlands. His research interests include areas of large scale distributed systems, Immutable infrastructure design, loosely coupled architectures, and cloud computing. Furthermore, David has 10 years of large-scale systems engineering experience, and 5 years of business management responsibilities as the CTO and Head of R&D at Fredhopper in Amsterdam.