Powered by
Conference Publishing Consulting

2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS), June 3–6, 2013, Florence, Italy

FORTE/FMOODS 2013 – Proceedings

Contents - Abstracts - Authors
Online Calendar - iCal File


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


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


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


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

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

Model Checking

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


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

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


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