default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID27th FORTE 2007: Tallinn, Estonia
- John Derrick, Jüri Vain
:
Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings. Lecture Notes in Computer Science 4574, Springer 2007, ISBN 978-3-540-73195-5
Invited Talk
- Susanne Graf, Sophie Quinton:
Contracts for BIP: Hierarchical Interaction Models for Compositional Verification. 1-18
Technical Session 1. Message Sequence Charts and SDL
- Haitao Dan, Robert M. Hierons, Steve Counsell:
Thread-Based Analysis of Sequence Diagrams. 19-34 - Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hüsnü Yenigün:
Recovering Repetitive Sub-functions from Observations. 35-49 - Samrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. Ümit Uyar:
Specification of Timed EFSM Fault Models in SDL. 50-65
Technical Session 2. Concurrency
- Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Coordination Via Types in an Event-Based Framework. 66-80 - Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu:
Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. 81-96 - Junghwa Chae:
Towards Modal Logic Formalization of Role-Based Access Control with Object Classes. 97-111
Technical Session 3. Model Programs
- Margus Veanes, Juhan P. Ernits, Colin Campbell:
State Isomorphism in Model Programs with Abstract Data Structures. 112-127 - Margus Veanes, Colin Campbell, Wolfram Schulte:
Composition of Model Programs. 128-142
Technical Session 4. Theory
- David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez:
New Bisimulation Semantics for Distributed Systems. 143-159 - Thomas Gazagnaire, Loïc Hélouët:
Event Correlation with Boxed Pomsets. 160-176 - Sami Evangelista, Christophe Pajault, Jean-François Pradat-Peyre:
A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets. 177-195
Technical Session 5. Verification
- Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng:
Improvements for the Symbolic Verification of Timed Automata. 196-210 - Rui Fan, Ralph E. Droms, Nancy D. Griffeth, Nancy A. Lynch:
The DHCP Failover Protocol: A Formal Perspective. 211-226 - Qiang Guo:
Verifying Erlang/OTP Components in mu CRL. 227-246
Technical Session 6. Model Checking
- Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini:
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. 247-262 - Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin:
Testing Distributed Systems Through Symbolic Model Checking. 263-279 - Kais Klai, Laure Petrucci, Michel A. Reniers:
An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. 280-295
Technical Session 7. Requirements and QoS
- Kedian Mu, Zhi Jin:
Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements. 296-308 - Christian Webel, Reinhard Gotzhein:
Formalization of Network Quality-of-Service Requirements. 309-324
Technical Session 8. Components
- Mila E. Majster-Cederbaum, Moritz Martens:
Robustness in Interaction Systems. 325-340 - Serge Haddad, Pascal Poizat:
Transactional Reduction of Component Compositions. 341-357 - João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes:
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. 358-373
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-11-08 00:54 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:
