Abstract is missing.
- A Process-Theoretic Look at AutomataJos C. M. Baeten, Pieter J. L. Cuijpers, Bas Luttik, P. J. A. van Tilburg. 1-33 [doi]
- Verification, Performance Analysis and Controller Synthesis for Real-Time SystemsUli Fahrenberg, Kim G. Larsen, Claus R. Thrane. 34-61 [doi]
- rCOS: Theory and Tool for Component-Based Model Driven DevelopmentZhiming Liu, Charles Morisset, Volker Stolz. 62-80 [doi]
- Termination in Higher-Order Concurrent CalculiRomain Demangeon, Daniel Hirschkoff, Davide Sangiorgi. 81-96 [doi]
- Typing Asymmetric Client-Server InteractionFranco Barbanera, Sara Capecchi, Ugo de Liguoro. 97-112 [doi]
- Equational Reasoning on Ad Hoc NetworksFatemeh Ghassemi, Wan Fokkink, Ali Movaghar. 113-128 [doi]
- Towards a Notion of Unsatisfiable Cores for LTLViktor Schuppan. 129-145 [doi]
- Rule Formats for Determinism and IdempotenceLuca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers. 146-161 [doi]
- The Complexity of Reachability in Randomized Sabotage GamesDominik Klein, Frank G. Radmacher, Wolfgang Thomas. 162-177 [doi]
- Applying Step Coverability Trees to Communicating Component-Based SystemsJetty Kleijn, Maciej Koutny. 178-193 [doi]
- Program Logics for Sequential Higher-Order ControlMartin Berger. 194-211 [doi]
- Modular Schedulability Analysis of Concurrent Objects in CreolFrank S. de Boer, Tom Chothia, Mohammad Mahdi Jaghoori. 212-227 [doi]
- A Timed Calculus for Wireless SystemsMassimo Merro, Eleonora Sibilio. 228-243 [doi]
- Model Checking Linear Duration Invariants of Networks of AutomataMiaomiao Zhang, Zhiming Liu, Naijun Zhan. 244-259 [doi]
- Automata Based Model Checking for Reo ConnectorsMarcello M. Bonsangue, Mohammad Izadi. 260-275 [doi]
- On the Expressiveness of Refinement SettingsHarald Fecher, David de Frutos-Escrig, Gerald Lüttgen, Heiko Schmidt. 276-291 [doi]
- Bounded Rational Search for On-the-Fly Model Checking of LTL PropertiesRazieh Behjati, Marjan Sirjani, Majid Nili Ahmadabadi. 292-307 [doi]
- Automated Translation and Analysis of a ToolBus Script for AuctionsWan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko. 308-323 [doi]
- Executable Interface Specifications for Testing Asynchronous Creol ComponentsImmo Grabe, Marcel Kyas, Martin Steffen, Arild B. Torjusen. 324-339 [doi]
- Compositional Strategy MappingGregor Gößler. 340-354 [doi]
- A Sound Analysis for Secure Information Flow Using Abstract Memory GraphsDorina Ghindici, Isabelle Simplot-Ryl, Jean-Marc Talbot. 355-370 [doi]
- Refinement Patterns for Hierarchical UML State MachinesJens Schönborn, Marcel Kyas. 371-386 [doi]
- Specification and Validation of Behavioural Protocols in the rCOS ModelerZhenbang Chen, Charles Morisset, Volker Stolz. 387-401 [doi]
- The Interplay between Relationships, Roles and ObjectsMatteo Baldoni, Guido Boella, Leendert van der Torre. 402-415 [doi]
- A Coordination Model for Interactive ComponentsMarco Antonio Barbosa, LuÃs Soares Barbosa, José Creissac Campos. 416-430 [doi]
- Evolution Control in MDE Projects: Controlling Model and Code Co-evolutionJacky Estublier, Thomas Leveque, Germán Vega. 431-438 [doi]
- An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented ArchitecturesMohammed Nadhmi Miladi, Ikbel Krichen, Mohamed Jmaiel, Khalil Drira. 439-446 [doi]
- A First Step towards Security Policy Compliance of ConnectorsSun Meng. 447-454 [doi]
- A Safe Implementation of Dynamic Overloading in Java-Like LanguagesLorenzo Bettini, Sara Capecchi, Betti Venneri. 455-462 [doi]
- Fundamental Concepts for the Structuring of Functionality into Modular PartsAlexander Gruler, Michael Meisinger. 463-470 [doi]