CSDL - Proceedings A

Conference Organizers (PDF)

pp. viii

Steering Committee (PDF)

pp. viii

International Program Committee (PDF)

pp. ix

Reviewers (PDF)

pp. x

Invited Talk

Message Sequence Charts: A Survey (Abstract)

Blaise Genest, University of Warwick

Anca Muscholl, University of Paris 7

pp. 2-4

PDF

Specification of Communication Protocols

Safety-Liveness Semantics for UML 2.0 Sequence Diagrams (Abstract)

Radu Grosu, State University of New York at Stony Brook

Scott A. Smolka, State University of New York at Stony Brook

pp. 6-14

PDF

Modeling the SpaceWire Architecture with Lyra (Abstract)

Jukka Honkola, Helsinki University of Technology

Sari Leppänen, Nokia Research Center

Teemu Tynjälä, Nokia Research Center

pp. 15-24

PDF

Formal Models and Property Analysis

LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level (Abstract)

M. Moy, STMicroelectronics

F. Maraninchi, Centre équation

L. Maillet-Contoz, STMicroelectronics

pp. 26-35

PDF

On Monitoring Concurrent Systems with TLA: An Example (Abstract)

Nicolas Rivierre, France Telecom R&D

Francois Horn, France Telecom R&D

Fr?d?ric Dang Tran, France Telecom R&D

pp. 36-45

PDF

Asynchronies

Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications (Abstract)

Dumitru Potop-Butucaru, IRISA, campus universitaire de Beaulieu

Beno? Caillaud, IRISA, campus universitaire de Beaulieu

pp. 48-57

PDF

Controllable Delay-Insensitive Processes and their Reflection, Interaction and Factorisation (Abstract)

Hemangee Kapoor, Dhirubhai Ambani Institute of Information and Communication Technology

Mark Josephs, Centre for Concurrent Systems and VLSI

pp. 58-67

PDF

An Automated Fine-Grain Pipelining Using Domino Style Asynchronous Library (Abstract)

Alexander Smirnov, Boston University

Alexander Taubin, Boston University

Ming Su, Boston University

Mark Karpovsky, Boston University

pp. 68-76

PDF

Theoretical Approaches

Complexity Results for Checking Distributed Implementability (Abstract)

Keijo Heljanko, Helsinki University of Technology

Alin Stefanescu, University of Stuttgart

pp. 78-87

PDF

An Algebra of Pareto Points (Abstract)

Marc Geilen, Eindhoven University of Technology

Twan Basten, Eindhoven University of Technology

Bart Theelen, Eindhoven University of Technology

Ralph Otten, Eindhoven University of Technology

pp. 88-97

PDF

Two-Phase Distributed Observation Problems (Abstract)

Stavros Tripakis, Verimag Laboratory

pp. 98-105

PDF

Maximal Causality Analysis (Abstract)

Klaus Schneider, University of Kaiserslautern

Jens Brandt, University of Kaiserslautern

Tobias Schuele, University of Kaiserslautern

Thomas Tuerk, University of Kaiserslautern

pp. 106-115

PDF

Controlling Speculative Design Processes Using Rich Component Models (PDF)

Werner Damm, OFFIS

pp. 118-119

Analysis and Synthesis of Timed Systems

Verification of Concurrent Systems with Parametric Delays Using Octahedra (Abstract)

Robert Claris?, Universitat Polit`ecnica de Catalunya

Jordi Cortadella, Universitat Polit?cnica de Catalunya

pp. 122-131

PDF

Extensible and Scalable Time Triggered Scheduling (Abstract)

Wei Zheng, University of California, Berkeley

Jike Chong, University of California, Berkeley

Claudio Pinello, Quantech Global Services

Sri Kanajan, General Motors

Alberto Sangiovanni-Vincentelli, University of California, Berkeley

pp. 132-141

PDF

Models of Simulation Techniques

Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation (Abstract)

Juan de Lara, Universidad Aut?noma de Madrid

Gabriele Taentzer, Technische Universitat Berlin

pp. 144-153

PDF

A Method for Analysing the Performance of Certain Testing Techniques for Concurrent Systems (Abstract)

Timo Kellom?ki, Tampere University of Technology

Antti Valmari, Tampere University of Technology

pp. 154-163

PDF

Communication Synthesis

Automating Synthesis of Asynchronous Communication Mechanisms (Abstract)

Jordi Cortadella, Universitat Polit`ecnica de Catalunya

Kyller Gorg?nio, Universitat Polit`ecnica de Catalunya

Fei Xia, Univ. of Newcastle upon Tyne

Alex Yakovlev, Univ. of Newcastle upon Tyne

pp. 166-175

PDF

Gaining Predictability and Noise Immunity in Global Interconnects (Abstract)

Yinghua Li, University of California, Berkeley

Alex Kondratyev, Cadence Berkeley Lab

Robert K. Brayton, University of California, Berkeley

pp. 176-185

PDF

Formal Methods for Networks on Chips (PDF)

Kees Goossens, Philips Research

pp. 188-189

Languages and Calculi

Dead-Path-Elimination in BPEL4WS (Abstract)

Franck van Breugel, York University

Mariya Koshkina, IBM Toronto Lab

pp. 192-201

PDF

BoPi — A Distributed Machine for Experimenting Web Services Technologies (Abstract)

Samuele Carpineti, University of Bologna

Cosimo Laneve, University of Bologna

Paolo Milazzo, University of Pisa

pp. 202-211

PDF

Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing (Abstract)

Marjan Sirjani, University of Tehran

Frank de Boer, Centrum voor Wiskunde en Informatica

Ali Movaghar, Institute for Studies in Theoretical Physics and Mathematics and Sharif University of Technology

Amin Shali, University of Tehran

pp. 212-221

PDF

Approaches Based on Petri Nets

Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties (Abstract)

Rachid Hadjidj, ?col? Polytechnique de Montr?al

Hanifa Boucheneb, ?cole Polytechnique de Montr?al

pp. 224-233

PDF

Hazard Detection in a GALS Wrapper: A Case Study (Abstract)

Christian Stahl, Humboldt-Universit?at zu Berlin

Wolfgang Reisig, Humboldt-Universit?at zu Berlin

Miloš Krstić, IHP Microelectronics

pp. 234-243

PDF

Improved Decomposition of STGs (Abstract)

W. Vogler, Institut f?r Informatik

B. Kangsah, FB Elektro- und Informationstechnik

pp. 244-253

PDF

Author Index

Author Index (PDF)

pp. 255