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