Powered by
2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS),
June 3–6, 2013,
Florence, Italy
Keynote
Mon, Jun 3, 09:30 - 10:30 (Chair: Dirk Beyer / Michele Boreale)
Verification
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)
@InProceedings{FORTE/FMOODS13p5,
author = {Martin Abadi and Frank McSherry and Derek Murray and Thomas Rodeheffer},
title = {Formal Analysis of a Distributed Algorithm for Tracking Progress},
booktitle = {Proc.\ FORTE/FMOODS},
publisher = {Springer},
year = {2013},
}
A Case Study in Formal Verification using Multiple Explicit Heaps
Wojciech Mostowski
(University of Twente, Netherlands)
@InProceedings{FORTE/FMOODS13p9,
author = {Wojciech Mostowski},
title = {A Case Study in Formal Verification using Multiple Explicit Heaps},
booktitle = {Proc.\ FORTE/FMOODS},
publisher = {Springer},
year = {2013},
}
Parameterized Verification of Track Topology Aggregation Protocols
Sergio Feo-Arenis and Bernd Westphal
(University of Freiburg, Germany)
@InProceedings{FORTE/FMOODS13p13,
author = {Sergio Feo-Arenis and Bernd Westphal},
title = {Parameterized Verification of Track Topology Aggregation Protocols},
booktitle = {Proc.\ FORTE/FMOODS},
publisher = {Springer},
year = {2013},
}
Types
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)
@InProceedings{FORTE/FMOODS13p17,
author = {Laura Bocchi and Tzu-Chun Chen and Romain Demangeon and Kohei Honda and Nobuko Yoshida},
title = {Monitoring Networks through Multiparty Session Types},
booktitle = {Proc.\ FORTE/FMOODS},
publisher = {Springer},
year = {2013},
}
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)
@InProceedings{FORTE/FMOODS13p21,
author = {Ornela Dardha and Daniele Gorla and Daniele Varacca},
title = {Semantic Subtyping for Objects and Classes},
booktitle = {Proc.\ FORTE/FMOODS},
publisher = {Springer},
year = {2013},
}
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language
Viviana Bono, Luca Padovani, and Andrea Tosatto
(Università di Torino, Italy)
@InProceedings{FORTE/FMOODS13p25,
author = {Viviana Bono and Luca Padovani and Andrea Tosatto},
title = {Polymorphic Types for Leak Detection in a Session-Oriented Functional Language},
booktitle = {Proc.\ FORTE/FMOODS},
publisher = {Springer},
year = {2013},
}
Testing
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)
@InProceedings{FORTE/FMOODS13p29,
author = {Rob Hierons and Mercedes Merayo and Manuel Nuñez},
title = {Passive Testing with Asynchronous Communications},
booktitle = {Proc.\ FORTE/FMOODS},
publisher = {Springer},
year = {2013},
}
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)
@InProceedings{FORTE/FMOODS13p33,
author = {Luis Llana and Rafael Martínez-Torres and Carlos Gregorio-Rodríguez},
title = {Input-Output Conformance Simulation (iocos) for Model Based Testing},
booktitle = {Proc.\ FORTE/FMOODS},
publisher = {Springer},
year = {2013},
}
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)
@InProceedings{FORTE/FMOODS13p37,
author = {Andreas Griesmayer and Alessio Lomuscio},
title = {Model Checking Distributed Systems against Temporal-Epistemic Specifications},
booktitle = {Proc.\ FORTE/FMOODS},
publisher = {Springer},
year = {2013},
}
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)
@InProceedings{FORTE/FMOODS13p41,
author = {Hugues Evrard and Frederic Lang},
title = {Formal Verification of Distributed Branching Multiway Synchronization Protocols},
booktitle = {Proc.\ FORTE/FMOODS},
publisher = {Springer},
year = {2013},
}
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)
@InProceedings{FORTE/FMOODS13p45,
author = {Paul Attie and Saddek Bensalem and Marius Bozga and Mohamad Jaber and Joseph Sifakis and Fadi Zaraket},
title = {An Abstract Framework for Deadlock Prevention in BIP},
booktitle = {Proc.\ FORTE/FMOODS},
publisher = {Springer},
year = {2013},
}
Bounded Model Checking of Graph Transformation Systems via SMT Solving
Tobias Isenberg, Dominik Steenken, and Heike Wehrheim
(University of Paderborn, Germany)
@InProceedings{FORTE/FMOODS13p49,
author = {Tobias Isenberg and Dominik Steenken and Heike Wehrheim},
title = {Bounded Model Checking of Graph Transformation Systems via SMT Solving},
booktitle = {Proc.\ FORTE/FMOODS},
publisher = {Springer},
year = {2013},
}
Automata
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)
@InProceedings{FORTE/FMOODS13p53,
author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Othmane Rezine},
title = {Verification of Directed Acyclic Ad Hoc Networks},
booktitle = {Proc.\ FORTE/FMOODS},
publisher = {Springer},
year = {2013},
}
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)
@InProceedings{FORTE/FMOODS13p57,
author = {Jay Thakkar and Aditya Kanade and Rajeev Alur},
title = {Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels},
booktitle = {Proc.\ FORTE/FMOODS},
publisher = {Springer},
year = {2013},
}
Asynchronously Communicating Visibly Pushdown Systems
Domagoj Babic and Zvonimir Rakamaric
(Facebook, USA; School of Computing, University of Utah, USA)
@InProceedings{FORTE/FMOODS13p61,
author = {Domagoj Babic and Zvonimir Rakamaric},
title = {Asynchronously Communicating Visibly Pushdown Systems},
booktitle = {Proc.\ FORTE/FMOODS},
publisher = {Springer},
year = {2013},
}
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)
@InProceedings{FORTE/FMOODS13p65,
author = {Benoit Delahaye and José Luiz Fiadeiro and Axel Legay and Antónia Lopes},
title = {A Timed Component Algebra for Services},
booktitle = {Proc.\ FORTE/FMOODS},
publisher = {Springer},
year = {2013},
}
Probabilistic Analysis of the Quality Calculus
Hanne Riis Nielson and Flemming Nielson
(Technical University of Denmark, Denmark)
@InProceedings{FORTE/FMOODS13p69,
author = {Hanne Riis Nielson and Flemming Nielson},
title = {Probabilistic Analysis of the Quality Calculus},
booktitle = {Proc.\ FORTE/FMOODS},
publisher = {Springer},
year = {2013},
}
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)
@InProceedings{FORTE/FMOODS13p73,
author = {Antonio E. Flores-Montoya and Elvira Albert and Samir Genaim},
title = {May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects},
booktitle = {Proc.\ FORTE/FMOODS},
publisher = {Springer},
year = {2013},
}
Security
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)
@InProceedings{FORTE/FMOODS13p77,
author = {Michele Bugliesi and Stefano Calzavara and Alvise Spanò},
title = {Lintent: Towards Security Type-Checking of Android Applications},
booktitle = {Proc.\ FORTE/FMOODS},
publisher = {Springer},
year = {2013},
}
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)
@InProceedings{FORTE/FMOODS13p81,
author = {Massimo Bartoletti and Alceste Scalas and Emilio Tuosto and Roberto Zunino},
title = {Honesty by Typing},
booktitle = {Proc.\ FORTE/FMOODS},
publisher = {Springer},
year = {2013},
}
proc time: 0.22