Abstract is missing.
- Contracts for BIP: Hierarchical Interaction Models for Compositional VerificationSusanne Graf, Sophie Quinton. 1-18 [doi]
- Thread-Based Analysis of Sequence DiagramsHaitao Dan, Robert M. Hierons, Steve Counsell. 19-34 [doi]
- Recovering Repetitive Sub-functions from ObservationsGuy-Vincent Jourdan, Hasan Ural, Shen Wang, Hüsnü Yenigün. 35-49 [doi]
- Specification of Timed EFSM Fault Models in SDLSamrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. Ümit Uyar. 50-65 [doi]
- Coordination Via Types in an Event-Based FrameworkGianLuigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto. 66-80 [doi]
- Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/CompensationHongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu. 81-96 [doi]
- Towards Modal Logic Formalization of Role-Based Access Control with Object ClassesJunghwa Chae. 97-111 [doi]
- State Isomorphism in Model Programs with Abstract Data StructuresMargus Veanes, Juhan P. Ernits, Colin Campbell. 112-127 [doi]
- Composition of Model ProgramsMargus Veanes, Colin Campbell, Wolfram Schulte. 128-142 [doi]
- New Bisimulation Semantics for Distributed SystemsDavid de Frutos-Escrig, Fernando Rosa Velardo, Carlos Gregorio-Rodríguez. 143-159 [doi]
- Event Correlation with Boxed PomsetsThomas Gazagnaire, Loïc Hélouët. 160-176 [doi]
- A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored NetsSami Evangelista, Christophe Pajault, Jean-François Pradat-Peyre. 177-195 [doi]
- Improvements for the Symbolic Verification of Timed AutomataRongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng. 196-210 [doi]
- The DHCP Failover Protocol: A Formal PerspectiveRui Fan, Ralph E. Droms, Nancy D. Griffeth, Nancy A. Lynch. 211-226 [doi]
- Verifying Erlang/OTP Components in ::::mu:::: CRLQiang Guo. 227-246 [doi]
- Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed AutomataFei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini. 247-262 [doi]
- Testing Distributed Systems Through Symbolic Model CheckingGabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin. 263-279 [doi]
- An Incremental and Modular Technique for Checking LTL/X Properties of Petri NetsKais Klai, Laure Petrucci, Michel A. Reniers. 280-295 [doi]
- Identifying Acceptable Common Proposals for Handling Inconsistent Software RequirementsKedian Mu, Zhi Jin. 296-308 [doi]
- Formalization of Network Quality-of-Service RequirementsChristian Webel, Reinhard Gotzhein. 309-324 [doi]
- Robustness in Interaction SystemsMila E. Majster-Cederbaum, Moritz Martens. 325-340 [doi]
- Transactional Reduction of Component CompositionsSerge Haddad, Pascal Poizat. 341-357 [doi]
- Specifying and Composing Interaction Protocols for Service-Oriented System ModellingJoão Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes. 358-373 [doi]