5. ACSD 2005: St. Malo, France

Introduction

• Foreword.
  
• Conference Organizers.
  
• Steering Committee.
  
• International Program Committee.
  
• Reviewers.
  

Invited Talk

• Blaise Genest, Anca Muscholl:
  Message Sequence Charts: A Survey. 2-4
  

Specification of Communication Protocols

• Radu Grosu, Scott A. Smolka:
  Safety-Liveness Semantics for UML 2.0 Sequence Diagrams. 6-14
  
• Jukka Honkola, Sari Leppänen, Teemu Tynjälä:
  Modeling the SpaceWire Architecture with Lyra. 15-24
  

Formal Models and Property Analysis

• Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz:
  LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level. 26-35
  
• Nicolas Rivierre, François Horn, Frédéric Dang Tran:
  On Monitoring Concurrent Systems with TLA: An Example. 36-45
  

Asynchronies

• Dumitru Potop-Butucaru, Benoît Caillaud:
  Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. 48-57
  
• Hemangee K. Kapoor, Mark B. Josephs:
  Controllable Delay-Insensitive Processes and their Reflection, Interaction and Factorisation. 58-67
  
• Alexander B. Smirnov, Alexander Taubin, Ming Su, Mark G. Karpovsky:
  An Automated Fine-Grain Pipelining Using Domino Style Asynchronous Library. 68-76
  

Theoretical Approaches

• Keijo Heljanko, Alin Stefanescu:
  Complexity Results for Checking Distributed Implementability. 78-87
  
• Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten:
  An Algebra of Pareto Points. 88-97
  
• Stavros Tripakis:
  Two-Phase Distributed Observation Problems. 98-105
  
• Klaus Schneider, Jens Brandt, Tobias Schüle, Thomas Tuerk:
  Maximal Causality Analysis. 106-115
  

Invited Talk

• Werner Damm:
  Controlling Speculative Design Processes Using Rich Component Models. 118-119
  

Analysis and Synthesis of Timed Systems

• Robert Clarisó, Jordi Cortadella:
  Verification of Concurrent Systems with Parametric Delays Using Octahedra. 122-131
  
• Wei Zheng, Jike Chong, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli:
  Extensible and Scalable Time Triggered Scheduling. 132-141
  

Models of Simulation Techniques

• Juan de Lara, Gabriele Taentzer:
  Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation. 144-153
  
• Timo Kellomaki, Antti Valmari:
  A Method for Analysing the Performance of Certain Testing Techniques for Concurrent Systems. 154-163
  

Communication Synthesis

• Jordi Cortadella, Kyller Costa Gorgônio, Fei Xia, Alexandre Yakovlev:
  Automating Synthesis of Asynchronous Communication Mechanisms. 166-175
  
• Yinghua Li, Alex Kondratyev, Robert K. Brayton:
  Gaining Predictability and Noise Immunity in Global Interconnects. 176-185
  

Invited Talk

• Kees Goossens:
  Formal Methods for Networks on Chips. 188-189
  

Languages and Calculi

• Franck van Breugel, Mariya Koshkina:
  Dead-Path-Elimination in BPEL4WS. 192-201
  
• Samuele Carpineti, Cosimo Laneve, Paolo Milazzo:
  BoPi - A Distributed Machine for Experimenting Web Services Technologies. 202-211
  
• Marjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali:
  Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. 212-221
  

Approaches Based on Petri Nets

• Rachid Hadjidj, Hanifa Boucheneb:
  Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties. 224-233
  
• Christian Stahl, Wolfgang Reisig, Milos Krstic:
  Hazard Detection in a GALS Wrapper: A Case Study. 234-243
  
• Walter Vogler, Ben Kangsah:
  Improved Decomposition of STGs. 244-253