Table of Contents

• Steering Committee [doi]
• International Program Committee [doi]
• Foreword [doi]
• Reviewers [doi]
• Conference Organizers [doi]
• Message Sequence Charts: A SurveyBlaise Genest, Anca Muscholl. 2-4 [doi]
• Safety-Liveness Semantics for UML 2.0 Sequence DiagramsRadu Grosu, Scott A. Smolka. 6-14 [doi]
• Modeling the SpaceWire Architecture with LyraJukka Honkola, Sari Leppänen, Teemu Tynjälä. 15-24 [doi]
• LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional LevelMatthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz. 26-35 [doi]
• On Monitoring Concurrent Systems with TLA: An ExampleNicolas Rivierre, François Horn, Frédéric Dang Tran. 36-45 [doi]
• Correct-by-Construction Asynchronous Implementation of Modular Synchronous SpecificationsDumitru Potop-Butucaru, Benoît Caillaud. 48-57 [doi]
• Controllable Delay-Insensitive Processes and their Reflection, Interaction and FactorisationHemangee K. Kapoor, Mark B. Josephs. 58-67 [doi]
• An Automated Fine-Grain Pipelining Using Domino Style Asynchronous LibraryAlexander B. Smirnov, Alexander Taubin, Ming Su, Mark G. Karpovsky. 68-76 [doi]
• Complexity Results for Checking Distributed ImplementabilityKeijo Heljanko, Alin Stefanescu. 78-87 [doi]
• An Algebra of Pareto PointsMarc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten. 88-97 [doi]
• Two-Phase Distributed Observation ProblemsStavros Tripakis. 98-105 [doi]
• Maximal Causality AnalysisKlaus Schneider, Jens Brandt, Tobias Schüle, Thomas Tuerk. 106-115 [doi]
• Controlling Speculative Design Processes Using Rich Component ModelsWerner Damm. 118-119 [doi]
• Verification of Concurrent Systems with Parametric Delays Using OctahedraRobert Clarisó, Jordi Cortadella. 122-131 [doi]
• Extensible and Scalable Time Triggered SchedulingWei Zheng, Jike Chong, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli. 132-141 [doi]
• Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph TransformationJuan de Lara, Gabriele Taentzer. 144-153 [doi]
• A Method for Analysing the Performance of Certain Testing Techniques for Concurrent SystemsTimo Kellomaki, Antti Valmari. 154-163 [doi]
• Automating Synthesis of Asynchronous Communication MechanismsJordi Cortadella, Kyller Costa Gorgônio, Fei Xia, Alexandre Yakovlev. 166-175 [doi]
• Gaining Predictability and Noise Immunity in Global InterconnectsYinghua Li, Alex Kondratyev, Robert K. Brayton. 176-185 [doi]
• Formal Methods for Networks on ChipsKees Goossens. 188-189 [doi]
• Dead-Path-Elimination in BPEL4WSFranck van Breugel, Mariya Koshkina. 192-201 [doi]
• BoPi - A Distributed Machine for Experimenting Web Services TechnologiesSamuele Carpineti, Cosimo Laneve, Paolo Milazzo. 202-211 [doi]
• Extended Rebeca: A Component-Based Actor Language with Synchronous Message PassingMarjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali. 212-221 [doi]
• Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* PropertiesRachid Hadjidj, Hanifa Boucheneb. 224-233 [doi]
• Hazard Detection in a GALS Wrapper: A Case StudyChristian Stahl, Wolfgang Reisig, Milos Krstic. 234-243 [doi]
• Improved Decomposition of STGsWalter Vogler, Ben Kangsah. 244-253 [doi]