The Community for Technology Leaders
2010 10th International Conference on Application of Concurrency to System Design (2006)
Turku, Finland
June 28, 2006 to June 30, 2006
ISSN: 1550-4808
ISBN: 0-7695-2556-3
TABLE OF CONTENTS
Introduction

Referees (PDF)

pp. xi

Foreword (PDF)

pp. viii
Introduction

Foreword (PDF)

pp. viii
Invited Paper

Simulation and Verification of Asynchronous Systems by means of a Synchronous Model (Abstract)

Louis Mandel , Verimag, Grenoble, France
Nicolas Halbwachs , Verimag, Grenoble, France
pp. 3-14
Session 1: Asynchronous and Synchronous Systems I

Communicating with Synchronized Environments (Abstract)

Tiberiu Seceleanu , University of Turku, Finland
Axel Jantsch , Royal Institute of Technology, Stockholm, Sweden
pp. 15-24

Throughput Analysis of Synchronous Data Flow Graphs (Abstract)

A.H. Ghamarian , Eindhoven University of Technology
T. Basten , Eindhoven University of Technology
M.J.G. Bekooij , Philips Research Laboratories Eindhoven
B.D. Theelen , Eindhoven University of Technology
S. Stuijk , Eindhoven University of Technology
A.J.M. Moonen , Philips Research Laboratories Eindhoven
M.R. Mousavi , Eindhoven University of Technology
M.C.W. Geilen , Eindhoven University of Technology
pp. 25-36
Session 2: Asynchronous and Synchronous Systems II

On process-algebraic verification of asynchronous circuits (Abstract)

X. Wang , University of Birmingham
M. Kwiatkowska , University of Birmingham
pp. 37-46

On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs (Abstract)

Javier Esparza , Univ. Stuttgart, Germany
Petr Jan?car , TU Ostrava, Czechia
Alexander Miller , Univ. Stuttgart, Germany
pp. 47-56

Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings (Abstract)

Victor Khomenko , University of Newcastle upon Tyne, UK.
Alex Yakovlev , University of Newcastle upon Tyne, UK.
Agnes Madalinski , University of Newcastle upon Tyne, UK.
pp. 57-68
Session 3: Scheduling

Schedulability Analysis of Petri Nets Based on Structural Properties (Abstract)

Jorg Desel , Katholische Universitat Eichstatt-Ingolstadt, Germany
Cong Liu , University of California, Berkeley
Alex Kondratyev , Cadence Berkeley Labs Berkeley, CA
Yosinori Watanabe , Cadence Berkeley Labs Berkeley, CA
Alberto Sangiovanni-Vincentelli , University of California, Berkeley
pp. 69-78

High-level Synthesis for Highly Concurrent Hardware Systems (Abstract)

Sunan Tugsinavisut , Systems Division, USC Los Angeles, CA
Roger Su , Systems Division, USC Los Angeles, CA
Peter A. Beerel , Systems Division, USC Los Angeles, CA
pp. 79-90
Session 4: Timed Systems

Extended Timed Automata and Time Petri Nets (Abstract)

Serge Haddad , LAMSADE, CNRS & Universite Paris-Dauphine, France
Patricia Bouyer , LSV, CNRS & ENS de Cachan, France
Pierre-Alain Reynier , LSV, CNRS & ENS de Cachan, France
pp. 91-100

In this work, we propose two translations: one from extended (Abstract)

Franck Cassez , IRCCyN Laboratory
Karine Altisen , Verimag Laboratory
Stavros Tripakis , Verimag Laboratory and Cadence Berkeley Labs
pp. 101-110

On-the-fly TCTL model checking for Time Petri Nets using state class graphs (Abstract)

Rachid Hadjidj , Ecole Polytechnique de Montreal, Canada
Hanifa Boucheneb , Ecole Polytechnique de Montreal, Canada
pp. 111-122
Session 5: Algorithms

Strategies for Optimised STG Decomposition (Abstract)

Ralf Wollowski , Hasso-Plattner-Institut (HPI) fur Softwaresystemtechnik GmbH, Germany
Victor Khomenko , University of Newcastle upon Tyne, UK.
Mark Schaefer , University of Augsburg, Germany
Walter Vogler , University of Augsburg, Germany
pp. 123-132

Minimal Counterexamples in O(n log n) Memory and O(n^2) Time (Abstract)

Henri Hansen , Tampere University of Technology, Finland
Antti Kervinen , Tampere University of Technology, Finland
pp. 133-142
Session 6: Stochastic Models

Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools (Abstract)

D. Cerotti , Universita di Torino, Torino, Italy
S. Donatelli , Universita di Torino, Torino, Italy
D. D?Aprile , Universita di Torino, Torino, Italy
J. Sproston , Universita di Torino, Torino, Italy
pp. 143-152

Modelling Mobility with UML2.0 and PEPA Nets (Abstract)

Juliana Kuster-Filipe , University of Birmingham
Leila Kloul , Universite de Versailles, Cedex, France
pp. 153-164
Invited Paper

Models of Computation for Networks on Chip (Abstract)

Axel Jantsch , Royal Institute of Technology, Stockholm, Sweden
pp. 165-178
Session 7: Model-Checking

Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language) (Abstract)

Hanna Klaudel , IBISC, Universit? d?Evry, France
Roland Bouroulet , LACL, Universit? Paris 12, France
Elisabeth Pelz , LACL, Universit? Paris 12, France
pp. 179-188

Specification and Verification of Dynamic Communication Systems (Abstract)

Jorg Bauer , Universitat des Saarlandes, 66041 Saarbrucken, Germany
Bernd Westphal , Carl von Ossietzky Universitat Oldenburg, 26111 Oldenburg, Germany
Ina Schaefer , Max-Planck-Institut fur Informatik, 66123 Saarbrucken, Germany
Tobe Toben , Carl von Ossietzky Universitat Oldenburg, 26111 Oldenburg, Germany
pp. 189-200
Session 8: Systems on Chips

Asynchronous Packet-Switching for Networks-on-Chip (Abstract)

Jun Xu , University of Hertfordshire
Reza Sotudeh , University of Hertfordshire
Mark B. Josephs , London South Bank University
pp. 201-207

Synthesis of Synchronous Interfaces (Abstract)

S. Ramesh , India Science Lab, GM R&D Centre Creator, International Tech Park, Bangalore
Purandar Bhaduri , Indian Institute of Technology Guwahati
pp. 208-216
Session 9: Algebraic Approaches

Functional Model Exploration for Multimedia Applications via Algebraic Operators (Abstract)

Shinjiro Kakita , Sony Corporation, Japan
Abhijit Davare , University of California, Berkeley
Douglas Densmore , University of California, Berkeley
Alberto Sangiovanni-Vincentelli , University of California, Berkeley
Yosinori Watanabe , Cadence Berkeley Laboratories, Berkeley, CA
pp. 229-238
Session 10: Semantics

Concurrency in Distributed Systems under Autonomous and Enforced Actions (Abstract)

Anca Lazarescu , University of Dormtund, Germany
Horst F. Wedde , University of Dormtund, Germany
Arnim Wedig , University of Dormtund, Germany
Elisei Rotaru , University of Dormtund, Germany
pp. 251-260

Synchronous + Concurrent + Sequential = Earlier than + Not later than (Abstract)

Robert Lorenz , Slovak University of Technology Bratislava
Sebastian Mauser , Catholic University of Eichstatt-Ingolstadt
Gabriel Juhas , Slovak University of Technology Bratislava
pp. 261-272
Tool Papers

New features in CPN-AMI 3: focusing on the analysis of complex distributed systems (Abstract)

X. Renault , Universite Pierre & Marie Curie, 4 place Jussieu, 75252 Paris cedex 05, France
A. Hamez , Universite Pierre & Marie Curie, 4 place Jussieu, 75252 Paris cedex 05, France
E. Paviot-Adet , Universite Pierre & Marie Curie, 4 place Jussieu, 75252 Paris cedex 05, France
L. Hillah , Universite Pierre & Marie Curie, 4 place Jussieu, 75252 Paris cedex 05, France
Y. Thierry-Mieg , Universite Pierre & Marie Curie, 4 place Jussieu, 75252 Paris cedex 05, France
F. Kordon , Universite Pierre & Marie Curie, 4 place Jussieu, 75252 Paris cedex 05, France
A. Linard , Universite Pierre & Marie Curie, 4 place Jussieu, 75252 Paris cedex 05, France
pp. 273-275

SDF^3: SDF For Free (Abstract)

Sander Stuijk , Eindhoven University of Technology, The Netherlands
Twan Basten , Eindhoven University of Technology, The Netherlands
Marc Geilen , Eindhoven University of Technology, The Netherlands
pp. 276-278

Yasper: a tool for workflow modeling and analysis (Abstract)

Lou Somers , Eindhoven University of Technolog, The Netherlands
Olivia Oanea , Eindhoven University of Technolog, The Netherlands
Reinier Post , Eindhoven University of Technolog, The Netherlands
Kees van Hee , Eindhoven University of Technolog, The Netherlands
Jan Martijn v an der Werf , Eindhoven University of Technolog, The Netherlands
pp. 279-282
Author Index

Author Index (PDF)

pp. 283
85 ms
(Ver 3.1 (10032016))