default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID31st FORTE / 13th FMOODS 2011: Reykjavik, Iceland
- Roberto Bruni
, Jürgen Dingel:
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 A. 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
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-10-29 01:26 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:
