default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID33rd FORTE / 15th FMOODS 2013: Florence, Italy
- Dirk Beyer, Michele Boreale:
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. Lecture Notes in Computer Science 7892, Springer 2013, ISBN 978-3-642-38591-9
Invited Talk
- Tevfik Bultan:
Analyzing Interactions of Asynchronously Communicating Software Components - (Invited Paper). 1-4
Session 1: Verification
- Martín Abadi, Frank McSherry, Derek Gordon Murray, Thomas L. Rodeheffer:
Formal Analysis of a Distributed Algorithm for Tracking Progress. 5-19 - Wojciech Mostowski:
A Case Study in Formal Verification Using Multiple Explicit Heaps. 20-34 - Sergio Feo-Arenis, Bernd Westphal:
Parameterized Verification of Track Topology Aggregation Protocols. 35-49
Session 2: Types
- Laura Bocchi, Tzu-Chun Chen
, Romain Demangeon, Kohei Honda, Nobuko Yoshida:
Monitoring Networks through Multiparty Session Types. 50-65 - Ornela Dardha, Daniele Gorla, Daniele Varacca:
Semantic Subtyping for Objects and Classes. 66-82 - Viviana Bono, Luca Padovani, Andrea Tosatto:
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language. 83-98
Session 3: Testing
- Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Passive Testing with Asynchronous Communications. 99-113 - Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres:
Input-Output Conformance Simulation (iocos) for Model Based Testing. 114-129
Session 4: DisCoTec Joint Session
- Andreas Griesmayer, Alessio Lomuscio:
Model Checking Distributed Systems against Temporal-Epistemic Specifications. 130-145
Session 5: Model Checking
- Hugues Evrard, Frédéric Lang:
Formal Verification of Distributed Branching Multiway Synchronization Protocols. 146-160 - Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket:
An Abstract Framework for Deadlock Prevention in BIP. 161-177 - Tobias Isenberg, Dominik Steenken, Heike Wehrheim:
Bounded Model Checking of Graph Transformation Systems via SMT Solving. 178-192
Session 6: Automata
- Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine:
Verification of Directed Acyclic Ad Hoc Networks. 193-208 - Jay Thakkar, Aditya Kanade, Rajeev Alur:
Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels. 209-224 - Domagoj Babic, Zvonimir Rakamaric:
Asynchronously Communicating Visibly Pushdown Systems. 225-241
Session 7: Distribution and Concurrency
- Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes:
A Timed Component Algebra for Services. 242-257 - Hanne Riis Nielson, Flemming Nielson:
Probabilistic Analysis of the Quality Calculus. 258-272 - Antonio Flores-Montoya, Elvira Albert, Samir Genaim:
May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects. 273-288
Session 8: Security
- Michele Bugliesi, Stefano Calzavara, Alvise Spanò:
Lintent: Towards Security Type-Checking of Android Applications. 289-304 - Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino:
Honesty by Typing. 305-320
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-10 18:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
