FMOODS/FORTE

Keyphrases

Publications

2013

Michele Bugliesi, Stefano Calzavara, Alvise Spanò
Lintent: Towards Security Type-Checking of Android Applications. FMOODS/FORTE (2013)
Antonio Flores-Montoya, Elvira Albert, Samir Genaim
May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects. FMOODS/FORTE (2013)
Martín Abadi, Frank McSherry, Derek Gordon Murray, Thomas L. Rodeheffer
Formal Analysis of a Distributed Algorithm for Tracking Progress. FMOODS/FORTE (2013)
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
Passive Testing with Asynchronous Communications. FMOODS/FORTE (2013)
Hanne Riis Nielson, Flemming Nielson
Probabilistic Analysis of the Quality Calculus. FMOODS/FORTE (2013)
Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino
Honesty by Typing. FMOODS/FORTE (2013)
Viviana Bono, Luca Padovani, Andrea Tosatto
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language. FMOODS/FORTE (2013)
Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket
An Abstract Framework for Deadlock Prevention in BIP. FMOODS/FORTE (2013)
Domagoj Babic, Zvonimir Rakamaric
Asynchronously Communicating Visibly Pushdown Systems. FMOODS/FORTE (2013)
Tevfik Bultan
Analyzing Interactions of Asynchronously Communicating Software Components - (Invited Paper). FMOODS/FORTE (2013)
Wojciech Mostowski
A Case Study in Formal Verification Using Multiple Explicit Heaps. FMOODS/FORTE (2013)
Sergio Feo Arenis, Bernd Westphal
Parameterized Verification of Track Topology Aggregation Protocols. FMOODS/FORTE (2013)
Tobias Isenberg, Dominik Steenken, Heike Wehrheim
Bounded Model Checking of Graph Transformation Systems via SMT Solving. FMOODS/FORTE (2013)
Hugues Evrard, Frédéric Lang
Formal Verification of Distributed Branching Multiway Synchronization Protocols. FMOODS/FORTE (2013)
Ornela Dardha, Daniele Gorla, Daniele Varacca
Semantic Subtyping for Objects and Classes. FMOODS/FORTE (2013)
Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida
Monitoring Networks through Multiparty Session Types. FMOODS/FORTE (2013)
Andreas Griesmayer, Alessio Lomuscio
Model Checking Distributed Systems against Temporal-Epistemic Specifications. FMOODS/FORTE (2013)
Jay Thakkar, Aditya Kanade, Rajeev Alur
Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels. FMOODS/FORTE (2013)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine
Verification of Directed Acyclic Ad Hoc Networks. FMOODS/FORTE (2013)
Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres
Input-Output Conformance Simulation (iocos) for Model Based Testing. FMOODS/FORTE (2013)
Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes
A Timed Component Algebra for Services. FMOODS/FORTE (2013)

volume 7892, 2013

Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings FMOODS/FORTE 7892 (2013)

2012

volume 7273, 2012

Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings FMOODS/FORTE 7273 (2012)

2011

volume 6722, 2011

Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings FMOODS/FORTE 6722 (2011)