The Community for Technology Leaders
2010 10th International Conference on Application of Concurrency to System Design (2005)
St. Malo, France
June 7, 2005 to June 9, 2005
ISSN: 1550-4808
ISBN: 0-7695-2363-3
TABLE OF CONTENTS
Introduction

list-reviewer (PDF)

pp. x

Foreword (PDF)

pp. vii
Invited Talk

Message Sequence Charts: A Survey (Abstract)

Blaise Genest , University of Warwick
Anca Muscholl , University of Paris 7
pp. 2-4
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

Modeling the SpaceWire Architecture with Lyra (Abstract)

Sari Leppänen , Nokia Research Center
Jukka Honkola , Helsinki University of Technology
Teemu Tynjälä , Nokia Research Center
pp. 15-24
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

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

Francois Horn , France Telecom R&D
Fr?d?ric Dang Tran , France Telecom R&D
Nicolas Rivierre , France Telecom R&D
pp. 36-45
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

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

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

Ming Su , Boston University
Alexander Taubin , Boston University
Alexander Smirnov , Boston University
Mark Karpovsky , Boston University
pp. 68-76
Theoretical Approaches

Complexity Results for Checking Distributed Implementability (Abstract)

Alin Stefanescu , University of Stuttgart
Keijo Heljanko , Helsinki University of Technology
pp. 78-87

An Algebra of Pareto Points (Abstract)

Twan Basten , Eindhoven University of Technology
Marc Geilen , Eindhoven University of Technology
Ralph Otten , Eindhoven University of Technology
Bart Theelen , Eindhoven University of Technology
pp. 88-97

Two-Phase Distributed Observation Problems (Abstract)

Stavros Tripakis , Verimag Laboratory
pp. 98-105

Maximal Causality Analysis (Abstract)

Klaus Schneider , University of Kaiserslautern
Thomas Tuerk , University of Kaiserslautern
Tobias Schuele , University of Kaiserslautern
Jens Brandt , University of Kaiserslautern
pp. 106-115
Invited Talk
Analysis and Synthesis of Timed Systems

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

Jordi Cortadella , Universitat Polit?cnica de Catalunya
Robert Claris? , Universitat Polit`ecnica de Catalunya
pp. 122-131

Extensible and Scalable Time Triggered Scheduling (Abstract)

Alberto Sangiovanni-Vincentelli , University of California, Berkeley
Wei Zheng , University of California, Berkeley
Jike Chong , University of California, Berkeley
Sri Kanajan , General Motors
Claudio Pinello , Quantech Global Services
pp. 132-141
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

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

Antti Valmari , Tampere University of Technology
Timo Kellom?ki , Tampere University of Technology
pp. 154-163
Communication Synthesis

Automating Synthesis of Asynchronous Communication Mechanisms (Abstract)

Fei Xia , Univ. of Newcastle upon Tyne
Kyller Gorg?nio , Universitat Polit`ecnica de Catalunya
Alex Yakovlev , Univ. of Newcastle upon Tyne
Jordi Cortadella , Universitat Polit`ecnica de Catalunya
pp. 166-175

Gaining Predictability and Noise Immunity in Global Interconnects (Abstract)

Robert K. Brayton , University of California, Berkeley
Yinghua Li , University of California, Berkeley
Alex Kondratyev , Cadence Berkeley Lab
pp. 176-185
Invited Talk

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

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

Cosimo Laneve , University of Bologna
Paolo Milazzo , University of Pisa
Samuele Carpineti , University of Bologna
pp. 202-211

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
Approaches Based on Petri Nets

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

Hanifa Boucheneb , ?cole Polytechnique de Montr?al
Rachid Hadjidj , ?col? Polytechnique de Montr?al
pp. 224-233

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

Miloš Krstić , IHP Microelectronics
Christian Stahl , Humboldt-Universit?at zu Berlin
Wolfgang Reisig , Humboldt-Universit?at zu Berlin
pp. 234-243

Improved Decomposition of STGs (Abstract)

W. Vogler , Institut f?r Informatik
B. Kangsah , FB Elektro- und Informationstechnik
pp. 244-253
Author Index

Author Index (PDF)

pp. 255
75 ms
(Ver 3.3 (11022016))