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


@InProceedings{FORTE/FMOODS13p1, author = {Tevfik Bultan}, title = {Analyzing Interactions of Asynchronously Communicating Software Components (Invited Paper)}, booktitle = {Proc.\ FORTE/FMOODS}, publisher = {Springer}, year = {2013}, } Article Search

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}, } Article Search

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}, } Article Search

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}, } 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)


@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}, } 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)


@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}, } Article Search

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}, } 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)


@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}, } 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)


@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}, } Article Search

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}, } Article Search

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}, } 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)


@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}, } Article Search

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}, } Article Search

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}, } 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)


@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}, } Article Search

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}, } Article Search

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}, } Article Search

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}, } 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)


@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}, } 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)


@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}, } 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)


@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}, } Article Search