@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
@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
@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
Types
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
@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
@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
@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
@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
@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
@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
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)
@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
@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
@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