The proceedings of FORTE/FMOODS 2013 are available online via SpringerLink. Links to free preprints posted by the authors can be found below.


Calendar view of the conference program
Calendar in iCal format for import into calendar clients
Electronic program of the conference for mobile devices (you can also install the app Confero)
PDF program for printing

Mon, Jun 3, 09:30 - 10:30 (Chair: Dirk Beyer / Michele Boreale)

Analyzing Interactions of Asynchronously Communicating Software Components (Invited Paper)
Tevfik Bultan
(UC Santa Barbara, USA)
Article Search

Mon, Jun 3, 11:00 - 12:30 (Chair: Domagoj Babic)

Formal Analysis of a Distributed Algorithm for Tracking Progress
Martin Abadi, Frank McSherry, Derek Murray, and Thomas Rodeheffer
(Microsoft Research, USA)
Article Search
A Case Study in Formal Verification using Multiple Explicit Heaps
Wojciech Mostowski
(University of Twente, Netherlands)
Article Search
Parameterized Verification of Track Topology Aggregation Protocols
Sergio Feo-Arenis and Bernd Westphal
(University of Freiburg, Germany)
Article Search

Mon, Jun 3, 14:30 - 16:00 (Chair: Martin Abadi)

Monitoring Networks through Multiparty Session Types
Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, and Nobuko Yoshida
(Queen Mary, University of London, UK; University of Leicester, UK; Imperial College London, UK)
Article Search
Semantic Subtyping for Objects and Classes
Ornela Dardha, Daniele Gorla, and Daniele Varacca
(University of Bologna, Italy; University of Rome La Sapienza, Italy; University Paris Diderot, France)
Article Search
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language
Viviana Bono, Luca Padovani, and Andrea Tosatto
(Università di Torino, Italy)
Article Search

Mon, Jun 3, 16:30 - 17:30 (Chair: Wojciech Mostowski)

Passive Testing with Asynchronous Communications
Rob Hierons, Mercedes Merayo, and Manuel Nuñez
(Brunel University, UK; Universidad Complutense de Madrid, Spain; UCM, Spain)
Article Search
Input-Output Conformance Simulation (iocos) for Model Based Testing
Luis Llana, Rafael Martínez-Torres, and Carlos Gregorio-Rodríguez
(Universidad Complutense de Madrid, Spain)
Article Search

DisCoTec Joint Session
Tue, Jun 4, 11:00 - 12:30

Model Checking Distributed Systems against Temporal-Epistemic Specifications
Andreas Griesmayer and Alessio Lomuscio
(Imperial College London, UK)
Article Search

Model Checking
Tue, Jun 4, 14:30 - 16:00 (Chair: Tevfik Bultan)

Formal Verification of Distributed Branching Multiway Synchronization Protocols
Hugues Evrard and Frederic Lang
(Inria, France; INRIA Rhône-Alpes, France)
Article Search
An Abstract Framework for Deadlock Prevention in BIP
Paul Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, and Fadi Zaraket
(American University of Beirut, Lebanon; VERIMAG, France; American University of beirut, Lebanon)
Article Search
Bounded Model Checking of Graph Transformation Systems via SMT Solving
Tobias Isenberg, Dominik Steenken, and Heike Wehrheim
(University of Paderborn, Germany)
Article Search

Wed, Jun 5, 11:00 - 12:30 (Chair: Hanne Riis Nielson)

Verification of Directed Acyclic Ad Hoc Networks
Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Othmane Rezine
(Uppsala University, Sweden)
Article Search
Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels
Jay Thakkar, Aditya Kanade, and Rajeev Alur
(Indian Institute of Science, India; University of Pennsylvania, USA)
Article Search
Asynchronously Communicating Visibly Pushdown Systems
Domagoj Babic and Zvonimir Rakamaric
(Facebook, USA; School of Computing, University of Utah, USA)
Article Search

Distribution and Concurrency
Wed, Jun 5, 14:30 - 16:00 (Chair: Nobuko Yoshida)

A Timed Component Algebra for Services
Benoit Delahaye, José Luiz Fiadeiro, Axel Legay, and Antónia Lopes
(INRIA/IRISA, France; Royal Holloway, University of London, UK; University of Lisbon, Portugal)
Article Search
Probabilistic Analysis of the Quality Calculus
Hanne Riis Nielson and Flemming Nielson
(Technical University of Denmark, Denmark)
Article Search
May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects
Antonio E. Flores-Montoya, Elvira Albert, and Samir Genaim
(Technische Universität Darmstadt, Germany; Complutense University of Madrid, Spain)
Article Search

Wed, Jun 5, 16:30 - 17:30 (Chair: Emilio Tuosto)

Lintent: Towards Security Type-Checking of Android Applications
Michele Bugliesi, Stefano Calzavara, and Alvise Spanò
(Università Ca Foscari Venezia, Italy; Ca Foscari University of Venice, Italy)
Article Search
Honesty by Typing
Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, and Roberto Zunino
(Universita' degli Studi di Cagliari, Italy; University of Cagliari, Italy; University of Leicester, UK; Università degli Studi di Trento, Italy)
Article Search

proc time: 0.13