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. Springer 2011 Lecture Notes in Computer Science 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
- 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
- Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart: Global State Estimates for Distributed Systems. 198-212
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team