FORTE 2014: 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems

A DisCoTec Member Conference

June 3-6, 2014, Berlin, Germany


  • 9.30: Keynote speaker: Frank Leymann. Orchestrating Management Behavior of Cloud Applications.
  • 10.30: Coffee break


  • 9.30: Keynote speaker: Maarten van Steen. A perspective on the future of computer sciences (through a technical example).
  • 10.30: Coffee break
  • 11.00-12.30: Joint Session
    • Carlos Baquero, Paulo Sérgio Almeida and Ali Shoker. 
      Making Operation-based CRDTs Operation-based (DAIS).
    • Paolo Baldan, Filippo Bonchi, Fabio Gadducci and Giacoma Monreale. 
      Encoding Synchronous Interactions using Labelled Petri Nets (COORDINATION).
    • David Romero-Hernández, David de Frutos Escrig. 
      Coinductive Definition of Distances Between Processes: Beyond Bisimulation Distances (FORTE).
  • 12.30-14.00: Lunch
  • 14.00-16:00: Session 4 - Monitoring and Testing
    • Elvira Albert, Puri Arenas, Miguel Gomez-Zamalloa. 
      Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing.
    • Ylies Falcone, Tom Cornebize, Jean-Claude Fernandez. 
      Efficient and Generalized Decentralized Monitoring of Regular Languages.
    • Alexander Graf-Brill, Holger Hermanns, Hubert Garavel. 
      A Model-Based Certification Framework for the EnergyBus Standard.
    • Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martinez-Torres. 
      Effectiveness for Input Output Conformance Simulation iocos.
  • 16.00-16.30: Coffee break
  • 16.30-18.00: Session 5 - Specification Languages and Type Systems
    • Søren Debois, Thomas Hildebrandt, Tijs Slaats, Nobuko Yoshida. 
      Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.
    • Daniela Remenska, Tim A.C. Willemse, Jeff Templon, Kees Verstoep, Henri Bal. 
      Property Specification Made Easy: Harnessing the Power of Model Checking in UML designs.
    • Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter. 
      Formal Specification and Verification of CRDTs.
  • 19.00-: Social Dinner.


  • 9.30: Keynote speaker: Joachim Parrow. The right stuff.
  • 10.30: Coffee break
  • 11.00-12.30: Session 6 - Security Analysis I
    • hen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo. 
      A Program Logic for Verifying Secure Routing Protocols.
    • Cornelius Diekmann, Stephan-A. Posselt, Heiko Niedermayer, Holger Kinkelin, Oliver Hanka, Georg Carle. 
      Verifying Security Policies using Host Attributes.
    • Shuling Wang, Flemming Nielson, Hanne Riis Nielson. 
      Denial-of-Service Security Attack in the Continuous-Time World.
  • 12.30-14.00: Lunch
  • 14.00-16:00: Session 7 - Bisimulation, Abstraction and Reduction
    • Souheib Baarir, Alexandre Duret-Lutz. 
      Mechanizing the Minimization of Deterministic Generalized Büchi Automata.
    • Dániel Darvas, Borja Fernández Adiego, András Vörös, Tamás Bartha, Enrique Blanco Viñuela, Victor Manuel González Suárez. 
      Formal verification of complex properties on PLC programs.
    • Rocco De Nicola, Giulio Iacobelli, Mirco Tribastone. 
      Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction.
    • Stephan Mennicke, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz. 
      On the Step Branching Time Closure of Free-Choice Petri Nets.
  • 16.00-16.30: Coffee break
  • 16.30-18.00: Session 8 - Security Analysis II
    • Michele Boreale, Francesca Pampaloni. 
      Quantitative information flow under generic leakage functions and adaptive adversaries.
    • Roberto Vigo, Flemming Nielson, Hanne Riis Nielson. 
      Uniform Protection for Multi-exposed Targets.
    • Lili Xu, Konstantinos Chatzikokolakis, Huimin Lin. 
      Metrics for Differential Privacy in Concurrent Systems.