FORTE/FMOODS 2013 Program

MONDAY JUNE 3

  • 9.30: Keynote speaker: Tevfik Bultan
  • 10.30: Coffee break
  • 11.00-12.30: Session 1 - Verification 
    • Martin Abadi, Frank McSherry, Derek Murray, and Thomas Rodeheffer. Formal Analysis of a Distributed Algorithm for Tracking Progress.
    • Wojciech Mostowski. A Case Study in Formal Verification using Multiple Explicit Heaps.
    • Sergio Feo-Arenis and Bernd Westpha. Parameterized Verification of Track Topology Aggregation Protocols.
  • 12.30-14.30: Lunch
  • 14.30-16:00: Session 2 – Types
    • Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, and Nobuko Yoshida. Monitoring Networks through Multiparty Session Types .
    • Ornela Dardha, Daniele Gorla, and Daniele Varacca. Semantic Subtyping for Objects and Classes.
    • Viviana Bono, Luca Padovani, and Andrea Tosatto. Polymorphic Types for Leak Detection in a Session-Oriented Functional Language.
  • 16.00-16.30: Coffee break
  • 16.30-18.00: Session 3 – Testing
    • Rob Hierons, Mercedes Merayo, and Manuel Nuñez. Passive Testing with Asynchronous Communications.
    • Luis Llana, Rafael Martínez-Torres, and Carlos Gregorio-Rodríguez. Input-Output Conformance Simulation (iocos) for Model Based Testing.

TUESDAY JUNE 4

  • 9.30: Keynote speaker: Gian Pietro Picco
  • 10.30: Coffee break
  • 11.00-12.30: Joint Session 
    • Andrea Cerone, Matthew Hennessy and Massimo Merro. Modelling Mac-layer communications in wireless systems (COORDINATION).
    • Vinicius V. Cogo, Andrè Nogueira, João Sousa, Marcelo Pasin, Hans P. Reiser and Alysson Bessani. FITCH: Supporting Adaptive Replicated Services in the Cloud (DAIS).
    • Andreas Griesmayer and Alessio Lomuscio. Model Checking Distributed Systems against Temporal-Epistemic Specifications (FORTE/FMOODS).
  • 12.30-14.30: Lunch
  • 14.30-16:00: Session 4 - Model Checking
    • Hugues Evrard and Frederic Lang. Formal Verification of Distributed Branching Multiway Synchronization Protocols.
    • Paul Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, and Fadi Zaraket. An Abstract Framework for Deadlock Prevention in BIP.
    • Tobias Isenberg, Dominik Steenken, and Heike Wehrheim. Bounded Model Checking of Graph Transformation Systems via SMT Solving.
  • 16.00-16.30: Coffee break
  • 16.30-: Social Event and Dinner.

WEDNESDAY JUNE 5

  • 9.30: Keynote speaker: Roberto Baldoni
  • 10.30: Coffee break
  • 11.00-12.30: Session 5 – Automata
    • Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Othmane Rezine. Verification of Directed Acyclic Ad Hoc Networks.
    • Jay Thakkar, Aditya Kanade, and Rajeev Alur. Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels.
    • Domagoj Babic and Zvonimir Rakamaric. Asynchronously Communicating Visibly Pushdown Systems.
  • 12.30-14.30: Lunch
  • 14.30-16:00: Session 6 – Distribution and Concurrency
    • Benoit Delahaye, José Luiz Fiadeiro, Axel Legay, and Antónia Lopes. A Timed Component Algebra for Services.
    • Hanne Riis Nielson and Flemming Nielson. Probabilistic Analysis of the Quality Calculus.
    • Antonio E. Flores-Montoya, Elvira Albert, and Samir Genaim. May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects.
  • 16.00-16.30: Coffee break
  • 16.30-17.30: Session 7 - Security
    • Michele Bugliesi, Stefano Calzavara, and Alvise Spanò. Lintent: Towards Security Type-Checking of Android Applications.
    • Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, and Roberto Zunino. Honesty by Typing.
  • 17.30: Closing