Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th 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
a service of 
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.
last updated on 2024-04-25 20:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
