- 2005
- Franck van Breugel, Mariya Koshkina:
Dead-Path-Elimination in BPEL4WS. ACSD 2005: 192-201 - Samuele Carpineti, Cosimo Laneve
, Paolo Milazzo:
BoPi - A Distributed Machine for Experimenting Web Services Technologies. ACSD 2005: 202-211 - Robert Clarisó
, Jordi Cortadella
:
Verification of Concurrent Systems with Parametric Delays Using Octahedra. ACSD 2005: 122-131 - Jordi Cortadella
, Kyller Costa Gorgônio
, Fei Xia, Alexandre Yakovlev
:
Automating Synthesis of Asynchronous Communication Mechanisms. ACSD 2005: 166-175 - Werner Damm:
Controlling Speculative Design Processes Using Rich Component Models. ACSD 2005: 118-119 - Marc Geilen
, Twan Basten
, Bart D. Theelen, Ralph Otten:
An Algebra of Pareto Points. ACSD 2005: 88-97 - Blaise Genest, Anca Muscholl:
Message Sequence Charts: A Survey. ACSD 2005: 2-4 - Kees Goossens:
Formal Methods for Networks on Chips. ACSD 2005: 188-189 - Radu Grosu, Scott A. Smolka:
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams. ACSD 2005: 6-14 - Rachid Hadjidj, Hanifa Boucheneb:
Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties. ACSD 2005: 224-233 - Keijo Heljanko
, Alin Stefanescu:
Complexity Results for Checking Distributed Implementability. ACSD 2005: 78-87 - Jukka Honkola, Sari Leppänen, Teemu Tynjälä:
Modeling the SpaceWire Architecture with Lyra. ACSD 2005: 15-24 - Hemangee K. Kapoor, Mark B. Josephs
:
Controllable Delay-Insensitive Processes and their Reflection, Interaction and Factorisation. ACSD 2005: 58-67 - Timo Kellomäki
, Antti Valmari:
A Method for Analysing the Performance of Certain Testing Techniques for Concurrent Systems. ACSD 2005: 154-163 - Juan de Lara
, Gabriele Taentzer:
Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation. ACSD 2005: 144-153 - Yinghua Li, Alex Kondratyev, Robert K. Brayton:
Gaining Predictability and Noise Immunity in Global Interconnects. ACSD 2005: 176-185 - Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz:
LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level. ACSD 2005: 26-35 - Dumitru Potop-Butucaru, Benoît Caillaud:
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. ACSD 2005: 48-57 - Nicolas Rivierre, François Horn, Frédéric Dang Tran:
On Monitoring Concurrent Systems with TLA: An Example. ACSD 2005: 36-45 - Klaus Schneider, Jens Brandt, Tobias Schüle, Thomas Tuerk:
Maximal Causality Analysis. ACSD 2005: 106-115 - Marjan Sirjani, Frank S. de Boer, Ali Movaghar
, Amin Shali:
Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. ACSD 2005: 212-221 - Alexander B. Smirnov, Alexander Taubin, Ming Su, Mark G. Karpovsky:
An Automated Fine-Grain Pipelining Using Domino Style Asynchronous Library. ACSD 2005: 68-76 - Christian Stahl, Wolfgang Reisig, Milos Krstic
:
Hazard Detection in a GALS Wrapper: A Case Study. ACSD 2005: 234-243 - Stavros Tripakis
:
Two-Phase Distributed Observation Problems. ACSD 2005: 98-105 - Walter Vogler, Ben Kangsah:
Improved Decomposition of STGs. ACSD 2005: 244-253 - Foreword. ACSD 2005
- Conference Organizers. ACSD 2005
- Steering Committee. ACSD 2005
- International Program Committee. ACSD 2005
- Reviewers. ACSD 2005