The Community for Technology Leaders
RSS Icon
Subscribe
Sixth International Conference on Application of Concurrency to System Design (2006)
Turku
June 28, 2006 to June 30, 2006
ISBN: 0-7695-2556-3
TABLE OF CONTENTS
Session 9: Algebraic Approaches
Foreword (PDF)
pp. viii
Introduction
Foreword (PDF)
pp. viii
Invited Paper
Session 1: Asynchronous and Synchronous Systems I
Tiberiu Seceleanu , University of Turku, Finland
Axel Jantsch , Royal Institute of Technology, Stockholm, Sweden
pp. 15-24
A.H. Ghamarian , Eindhoven University of Technology
M.C.W. Geilen , Eindhoven University of Technology
S. Stuijk , Eindhoven University of Technology
T. Basten , Eindhoven University of Technology
B.D. Theelen , Eindhoven University of Technology
M.R. Mousavi , Eindhoven University of Technology
A.J.M. Moonen , Philips Research Laboratories Eindhoven
M.J.G. Bekooij , Philips Research Laboratories Eindhoven
pp. 25-36
Session 2: Asynchronous and Synchronous Systems II
X. Wang , University of Birmingham
M. Kwiatkowska , University of Birmingham
pp. 37-46
Javier Esparza , Univ. Stuttgart, Germany
Petr Jan?car , TU Ostrava, Czechia
Alexander Miller , Univ. Stuttgart, Germany
pp. 47-56
Victor Khomenko , University of Newcastle upon Tyne, UK.
Agnes Madalinski , University of Newcastle upon Tyne, UK.
Alex Yakovlev , University of Newcastle upon Tyne, UK.
pp. 57-68
Session 3: Scheduling
Alex Kondratyev , Cadence Berkeley Labs Berkeley, CA
Yosinori Watanabe , Cadence Berkeley Labs Berkeley, CA
Alberto Sangiovanni-Vincentelli , University of California, Berkeley
Jorg Desel , Katholische Universitat Eichstatt-Ingolstadt, Germany
pp. 69-78
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
Pierre-Alain Reynier , LSV, CNRS & ENS de Cachan, France
Serge Haddad , LAMSADE, CNRS & Universite Paris-Dauphine, France
pp. 91-100
Karine Altisen , Verimag Laboratory
Stavros Tripakis , Verimag Laboratory and Cadence Berkeley Labs
pp. 101-110
Rachid Hadjidj , Ecole Polytechnique de Montreal, Canada
Hanifa Boucheneb , Ecole Polytechnique de Montreal, Canada
pp. 111-122
Session 5: Algorithms
Walter Vogler , University of Augsburg, Germany
Mark Schaefer , University of Augsburg, Germany
Victor Khomenko , University of Newcastle upon Tyne, UK.
pp. 123-132
Henri Hansen , Tampere University of Technology, Finland
Antti Kervinen , Tampere University of Technology, Finland
pp. 133-142
Session 6: Stochastic Models
D. Cerotti , Universita di Torino, Torino, Italy
D. D?Aprile , Universita di Torino, Torino, Italy
S. Donatelli , Universita di Torino, Torino, Italy
J. Sproston , Universita di Torino, Torino, Italy
pp. 143-152
Leila Kloul , Universite de Versailles, Cedex, France
pp. 153-164
Invited Paper
Axel Jantsch , Royal Institute of Technology, Stockholm, Sweden
pp. 165-178
Session 7: Model-Checking
Roland Bouroulet , LACL, Universit? Paris 12, France
Elisabeth Pelz , LACL, Universit? Paris 12, France
pp. 179-188
Jorg Bauer , Universitat des Saarlandes, 66041 Saarbrucken, Germany
Ina Schaefer , Max-Planck-Institut fur Informatik, 66123 Saarbrucken, Germany
Tobe Toben , Carl von Ossietzky Universitat Oldenburg, 26111 Oldenburg, Germany
Bernd Westphal , Carl von Ossietzky Universitat Oldenburg, 26111 Oldenburg, Germany
pp. 189-200
Session 8: Systems on Chips
Jun Xu , University of Hertfordshire
Reza Sotudeh , University of Hertfordshire
Mark B. Josephs , London South Bank University
pp. 201-207
Purandar Bhaduri , Indian Institute of Technology Guwahati
pp. 208-216
Session 9: Algebraic Approaches
Shinjiro Kakita , Sony Corporation, Japan
Yosinori Watanabe , Cadence Berkeley Laboratories, Berkeley, CA
Douglas Densmore , University of California, Berkeley
Abhijit Davare , University of California, Berkeley
Alberto Sangiovanni-Vincentelli , University of California, Berkeley
pp. 229-238
Session 10: Semantics
Horst F. Wedde , University of Dormtund, Germany
Arnim Wedig , University of Dormtund, Germany
Elisei Rotaru , University of Dormtund, Germany
pp. 251-260
Robert Lorenz , Slovak University of Technology Bratislava
Gabriel Juhas , Slovak University of Technology Bratislava
pp. 261-272
Tool Papers
L. Hillah , 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
E. Paviot-Adet , Universite Pierre & Marie Curie, 4 place Jussieu, 75252 Paris cedex 05, France
X. Renault , 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
pp. 273-275
SDF^3: SDF For Free (Abstract)
Sander Stuijk , Eindhoven University of Technology, The Netherlands
Marc Geilen , Eindhoven University of Technology, The Netherlands
Twan Basten , Eindhoven University of Technology, The Netherlands
pp. 276-278
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
11 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool