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 – Author Index

Contents - Abstracts - Authors
Online Calendar - iCal File

A B C D E F G H I J K L M N P R S T V W Y Z

Abadi, Martin FORTE/FMOODS '13: "Formal Analysis of a Distributed ..."
Abdulla, Parosh Aziz FORTE/FMOODS '13: "Verification of Directed Acyclic ..."
Albert, Elvira FORTE/FMOODS '13: "May-Happen-in-Parallel Based ..."
Alur, Rajeev FORTE/FMOODS '13: "Transducer-Based Algorithmic ..."
Atig, Mohamed Faouzi FORTE/FMOODS '13: "Verification of Directed Acyclic ..."
Attie, Paul FORTE/FMOODS '13: "An Abstract Framework for ..."
Babic, Domagoj FORTE/FMOODS '13: "Asynchronously Communicating ..."
Bartoletti, Massimo FORTE/FMOODS '13: "Honesty by Typing ..."
Bensalem, Saddek FORTE/FMOODS '13: "An Abstract Framework for ..."
Bocchi, Laura FORTE/FMOODS '13: "Monitoring Networks through ..."
Bono, Viviana FORTE/FMOODS '13: "Polymorphic Types for Leak ..."
Bozga, Marius FORTE/FMOODS '13: "An Abstract Framework for ..."
Bugliesi, Michele FORTE/FMOODS '13: "Lintent: Towards Security ..."
Bultan, Tevfik FORTE/FMOODS '13: "Analyzing Interactions of ..."
Calzavara, Stefano FORTE/FMOODS '13: "Lintent: Towards Security ..."
Chen, Tzu-Chun FORTE/FMOODS '13: "Monitoring Networks through ..."
Dardha, Ornela FORTE/FMOODS '13: "Semantic Subtyping for Objects ..."
Delahaye, Benoit FORTE/FMOODS '13: "A Timed Component Algebra ..."
Demangeon, Romain FORTE/FMOODS '13: "Monitoring Networks through ..."
Evrard, Hugues FORTE/FMOODS '13: "Formal Verification of Distributed ..."
Feo-Arenis, Sergio FORTE/FMOODS '13: "Parameterized Verification ..."
Fiadeiro, José Luiz FORTE/FMOODS '13: "A Timed Component Algebra ..."
Flores-Montoya, Antonio E. FORTE/FMOODS '13: "May-Happen-in-Parallel Based ..."
Genaim, Samir FORTE/FMOODS '13: "May-Happen-in-Parallel Based ..."
Gorla, Daniele FORTE/FMOODS '13: "Semantic Subtyping for Objects ..."
Gregorio-Rodríguez, Carlos FORTE/FMOODS '13: "Input-Output Conformance Simulation ..."
Griesmayer, Andreas FORTE/FMOODS '13: "Model Checking Distributed ..."
Hierons, Rob FORTE/FMOODS '13: "Passive Testing with Asynchronous ..."
Honda, Kohei FORTE/FMOODS '13: "Monitoring Networks through ..."
Isenberg, Tobias FORTE/FMOODS '13: "Bounded Model Checking of ..."
Jaber, Mohamad FORTE/FMOODS '13: "An Abstract Framework for ..."
Kanade, Aditya FORTE/FMOODS '13: "Transducer-Based Algorithmic ..."
Lang, Frederic FORTE/FMOODS '13: "Formal Verification of Distributed ..."
Legay, Axel FORTE/FMOODS '13: "A Timed Component Algebra ..."
Llana, Luis FORTE/FMOODS '13: "Input-Output Conformance Simulation ..."
Lomuscio, Alessio FORTE/FMOODS '13: "Model Checking Distributed ..."
Lopes, Antónia FORTE/FMOODS '13: "A Timed Component Algebra ..."
Martínez-Torres, Rafael FORTE/FMOODS '13: "Input-Output Conformance Simulation ..."
McSherry, Frank FORTE/FMOODS '13: "Formal Analysis of a Distributed ..."
Merayo, Mercedes FORTE/FMOODS '13: "Passive Testing with Asynchronous ..."
Mostowski, Wojciech FORTE/FMOODS '13: "A Case Study in Formal Verification ..."
Murray, Derek FORTE/FMOODS '13: "Formal Analysis of a Distributed ..."
Nielson, Flemming FORTE/FMOODS '13: "Probabilistic Analysis of ..."
Nielson, Hanne Riis FORTE/FMOODS '13: "Probabilistic Analysis of ..."
Nuñez, Manuel FORTE/FMOODS '13: "Passive Testing with Asynchronous ..."
Padovani, Luca FORTE/FMOODS '13: "Polymorphic Types for Leak ..."
Rakamaric, Zvonimir FORTE/FMOODS '13: "Asynchronously Communicating ..."
Rezine, Othmane FORTE/FMOODS '13: "Verification of Directed Acyclic ..."
Rodeheffer, Thomas FORTE/FMOODS '13: "Formal Analysis of a Distributed ..."
Scalas, Alceste FORTE/FMOODS '13: "Honesty by Typing ..."
Sifakis, Joseph FORTE/FMOODS '13: "An Abstract Framework for ..."
Spanò, Alvise FORTE/FMOODS '13: "Lintent: Towards Security ..."
Steenken, Dominik FORTE/FMOODS '13: "Bounded Model Checking of ..."
Thakkar, Jay FORTE/FMOODS '13: "Transducer-Based Algorithmic ..."
Tosatto, Andrea FORTE/FMOODS '13: "Polymorphic Types for Leak ..."
Tuosto, Emilio FORTE/FMOODS '13: "Honesty by Typing ..."
Varacca, Daniele FORTE/FMOODS '13: "Semantic Subtyping for Objects ..."
Wehrheim, Heike FORTE/FMOODS '13: "Bounded Model Checking of ..."
Westphal, Bernd FORTE/FMOODS '13: "Parameterized Verification ..."
Yoshida, Nobuko FORTE/FMOODS '13: "Monitoring Networks through ..."
Zaraket, Fadi FORTE/FMOODS '13: "An Abstract Framework for ..."
Zunino, Roberto FORTE/FMOODS '13: "Honesty by Typing ..."

62 authors

proc time: 0.11