5. ACSD 2005: St. Malo, France

Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 6-9 June 2005, St. Malo, France. IEEE Computer Society 2005, ISBN 0-7695-2363-3 BibTeX

Introduction

Foreword.
Electronic Edition (link) BibTeX
Conference Organizers.
Electronic Edition (link) BibTeX
Steering Committee.
Electronic Edition (link) BibTeX
International Program Committee.
Electronic Edition (link) BibTeX
Reviewers.
Electronic Edition (link) BibTeX

Invited Talk

Blaise Genest, Anca Muscholl:
Message Sequence Charts: A Survey. 2-4
Electronic Edition (link) BibTeX

Specification of Communication Protocols

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

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
Electronic Edition (link) BibTeX
Nicolas Rivierre, François Horn, Frédéric Dang Tran:
On Monitoring Concurrent Systems with TLA: An Example. 36-45
Electronic Edition (link) BibTeX

Asynchronies

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

Theoretical Approaches

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

Invited Talk

Werner Damm:
Controlling Speculative Design Processes Using Rich Component Models. 118-119
Electronic Edition (link) BibTeX

Analysis and Synthesis of Timed Systems

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

Models of Simulation Techniques

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

Communication Synthesis

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

Invited Talk

Kees Goossens:
Formal Methods for Networks on Chips. 188-189
Electronic Edition (link) BibTeX

Languages and Calculi

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

Approaches Based on Petri Nets

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