![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
5th 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
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 Kellomäki
, 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.