default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID29th FORTE / 11th FMOODS 2009: Lisboa, Portugal
- David Lee, Antónia Lopes, Arnd Poetzsch-Heffter:
Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. Lecture Notes in Computer Science 5522, Springer 2009, ISBN 978-3-642-02137-4
Invited Contribution
- David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra:
The Orc Programming Language. 1-25
Regular Contributions
- Luciano Baresi
, Domenico Bianculli, Sam Guinea, Paola Spoletini:
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. 26-40 - Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Approximated Context-Sensitive Analysis for Parameterized Verification. 41-56 - Naghmeh Ghafari, Arie Gurfinkel, Richard J. Trefler:
Verification of Parameterized Systems with Combinations of Abstract Domains. 57-72 - Hanifa Boucheneb, Abdessamad Imine:
On Model-Checking Optimistic Replication Algorithms. 73-89 - Lin Liu, Jonathan Billington:
Recursive Parametric Automata and epsilon-Removal. 90-105 - Gabriel Ciobanu, Calin Juravle:
A Software Platform for Timed Mobility and Timed Interaction. 106-121 - Iksoon Hwang, Mounir Lallali, Ana R. Cavalli, Dominique Verchère:
Modeling, Validation, and Verification of PCEP Using the IF Language. 122-136 - Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko:
Distinguing Non-deterministic Timed Finite State Machines. 137-151 - Hans Grönniger, Jan Oliver Ringert, Bernhard Rumpe:
System Model-Based Definition of Modeling Language Semantics. 152-166 - Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani:
Typing Component-Based Communication Systems. 167-181 - Rohit Chadha, Stéphanie Delaune, Steve Kremer:
Epistemic Logic for the Applied Pi Calculus. 182-197 - Morten Kühnrich, Uwe Nestmann:
On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. 198-212
Short Papers
- Gregor von Bochmann:
Using First-Order Logic to Reason about Submodule Construction. 213-218 - João Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi:
A Model-Checking Approach for Service Component Architectures. 219-224 - Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte:
Dynamic Symbolic Execution of Distributed Concurrent Objects. 225-230 - Gregorio Díaz, Ismael Rodríguez:
Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach. 231-236 - Arend Rensink, Eduardo Zambon:
A Type Graph Model for Java Programs. 237-242 - Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, Shengqiong Wang:
Conformance Testing of Network Simulators Based on Metamorphic Testing Technique. 243-248
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 2024-11-07 20:41 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:
