31. FORTE / 13. FMOODS 2011:
Reykjavik,
Iceland
Roberto Bruni, Jürgen Dingel (Eds.):
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.
Lecture Notes in Computer Science 6722 Springer 2011, ISBN 978-3-642-21460-8 
- Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani:
On Global Types and Multi-party Sessions.
1-28
- Lucia Acciai, Michele Boreale, Rocco De Nicola:
Linear-Time and May-Testing in a Probabilistic Reactive Setting.
29-43
- Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
A Model-Checking Tool for Families of Services.
44-58
- Jonathan Bogdoll, Luis María Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns:
Partial Order Methods for Statistical Model Checking and Simulation.
59-74
- Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám:
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking.
75-89
- Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Adaptable Processes (Extended Abstract).
90-105
- Yuxin Deng, Stéphane Grumbach, Jean-François Monin:
A Framework for Verifying Data-Centric Protocols.
106-120
- John Derrick, Eerke A. Boiten:
Relational Concurrent Refinement: Timed Refinement.
121-137
- Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson:
Galois Connections for Flow Algebras.
138-152
- Séverine Fratani, Jean-Marc Talbot:
An Accurate Type System for Information Flow in Presence of Arrays.
153-167
- Elena Giachino, Cosimo Laneve:
Analysis of Deadlocks in Object Groups.
168-182
- Susanne Graf, Doron Peled, Sophie Quinton:
Monitoring Distributed Systems Using Knowledge.
183-197
- Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart:
Global State Estimates for Distributed Systems.
198-212
- Dimitrios Kouzapas, Anna Philippou:
A Process Calculus for Dynamic Networks.
213-227
- Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda:
On Asynchronous Session Semantics.
228-243
- Tianxiang Lu, Stephan Merz, Christoph Weidenbach:
Towards Verification of the Pastry Protocol Using TLA + .
244-258
- María Martos-Salgado, Fernando Rosa-Velardo:
Dynamic Soundness in Resource-Constrained Workflow Nets.
259-273
- Stephan Merz, Martin Quinson, Cristian Daniel Rosa:
SimGrid MC: Verification Support for a Multi-API Simulation Platform.
274-288
- Marco Patrignani, Dave Clarke, Davide Sangiorgi:
Ownership Types for the Join Calculus.
289-303
- Vidar Slåtten, Peter Herrmann:
Contracts for Multi-instance UML Activities.
304-318
- Frédéric Vogels, Bart Jacobs, Frank Piessens, Jan Smans:
Annotation Inference for Separation Logic Based Verifiers.
319-333
- Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, Andre Scedrov:
Analyzing BGP Instances in Maude.
334-348
Last update Fri May 25 08:14:17 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
