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

WEDNESDAY JUNE 4

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

THURSDAY JUNE 5

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