More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

31st FORTE / 13th FMOODS 2011: Reykjavik, Iceland

> Home > Conferences and Workshops > FORTE
> Home > Conferences and Workshops > FMOODS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/forte/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/2011
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
- view
  authority control:
- export record
  dblp key:
  - conf/forte/CastagnaDP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/CastagnaDP11
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani:
On Global Types and Multi-party Sessions. 1-28
- view
  authority control:
- export record
  dblp key:
  - conf/forte/AcciaiBN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AcciaiBN11
Lucia Acciai, Michele Boreale, Rocco De Nicola:
Linear-Time and May-Testing in a Probabilistic Reactive Setting. 29-43
- view
  authority control:
- export record
  dblp key:
  - conf/forte/AsirelliBFG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AsirelliBFG11
Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
A Model-Checking Tool for Families of Services. 44-58
- view
  authority control:
- export record
  dblp key:
  - conf/forte/BogdollFHH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BogdollFHH11
Jonathan Bogdoll, Luis María Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns:
Partial Order Methods for Statistical Model Checking and Simulation. 59-74
- view
  authority control:
- export record
  dblp key:
  - conf/forte/BraitlingWBJA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BraitlingWBJA11
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám:
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. 75-89
- view
  authority control:
- export record
  dblp key:
  - conf/forte/BravettiGPZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BravettiGPZ11
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Adaptable Processes (Extended Abstract). 90-105
- view
  authority control:
- export record
  dblp key:
  - conf/forte/DengGM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/DengGM11
Yuxin Deng, Stéphane Grumbach, Jean-François Monin:
A Framework for Verifying Data-Centric Protocols. 106-120
- view
  authority control:
- export record
  dblp key:
  - conf/forte/DerrickB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/DerrickB11
John Derrick, Eerke A. Boiten:
Relational Concurrent Refinement: Timed Refinement. 121-137
- view
  authority control:
- export record
  dblp key:
  - conf/forte/FilipiukTNN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/FilipiukTNN11
Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson:
Galois Connections for Flow Algebras. 138-152
- view
  authority control:
- export record
  dblp key:
  - conf/forte/FrataniT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/FrataniT11
Séverine Fratani, Jean-Marc Talbot:
An Accurate Type System for Information Flow in Presence of Arrays. 153-167
- view
  authority control:
- export record
  dblp key:
  - conf/forte/GiachinoL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/GiachinoL11
Elena Giachino, Cosimo Laneve:
Analysis of Deadlocks in Object Groups. 168-182
- view
  authority control:
- export record
  dblp key:
  - conf/forte/GrafPQ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/GrafPQ11
Susanne Graf, Doron A. Peled, Sophie Quinton:
Monitoring Distributed Systems Using Knowledge. 183-197
- view
  authority control:
- export record
  dblp key:
  - conf/forte/KalyonGMM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/KalyonGMM11
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart:
Global State Estimates for Distributed Systems. 198-212
- view
  authority control:
- export record
  dblp key:
  - conf/forte/KouzapasP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/KouzapasP11
Dimitrios Kouzapas, Anna Philippou:
A Process Calculus for Dynamic Networks. 213-227
- view
  authority control:
- export record
  dblp key:
  - conf/forte/KouzapasYH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/KouzapasYH11
Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda:
On Asynchronous Session Semantics. 228-243
- view
  authority control:
- export record
  dblp key:
  - conf/forte/LuMW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/LuMW11
Tianxiang Lu, Stephan Merz, Christoph Weidenbach:
Towards Verification of the Pastry Protocol Using TLA⁺. 244-258
- view
  authority control:
- export record
  dblp key:
  - conf/forte/Martos-SalgadoR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Martos-SalgadoR11
María Martos-Salgado, Fernando Rosa-Velardo:
Dynamic Soundness in Resource-Constrained Workflow Nets. 259-273
- view
  authority control:
- export record
  dblp key:
  - conf/forte/MerzQR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/MerzQR11
Stephan Merz, Martin Quinson, Cristian Daniel Rosa:
SimGrid MC: Verification Support for a Multi-API Simulation Platform. 274-288
- view
  authority control:
- export record
  dblp key:
  - conf/forte/PatrignaniCS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/PatrignaniCS11
Marco Patrignani, Dave Clarke, Davide Sangiorgi:
Ownership Types for the Join Calculus. 289-303
- view
  authority control:
- export record
  dblp key:
  - conf/forte/SlattenH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/SlattenH11
Vidar Slåtten, Peter Herrmann:
Contracts for Multi-instance UML Activities. 304-318
- view
  authority control:
- export record
  dblp key:
  - conf/forte/VogelsJPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/VogelsJPS11
Frédéric Vogels, Bart Jacobs, Frank Piessens, Jan Smans:
Annotation Inference for Separation Logic Based Verifiers. 319-333
- view
  authority control:
- export record
  dblp key:
  - conf/forte/WangTJLS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/WangTJLS11
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.