• A
  • ACSD
  • 2006
  • Sixth International Conference on Application of Concurrency to System Design (ACSD'06)
Advanced Search 
Sixth International Conference on Application of Concurrency to System Design (ACSD'06)
Turku, Finland
June 28-June 30
ISBN: 0-7695-2556-3
Table of Contents
Introduction
Session 9: Algebraic Approaches
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
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
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
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
Patricia Bouyer, LSV, CNRS & ENS de Cachan, France
Pierre-Alain Reynier, LSV, CNRS & ENS de Cachan, France
Serge Haddad, LAMSADE, CNRS & Universite Paris-Dauphine, France
pp. 91-100
Karine Altisen, Verimag Laboratory
Franck Cassez, IRCCyN 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
Mark Schaefer, University of Augsburg, Germany
Walter Vogler, University of Augsburg, Germany
Ralf Wollowski, Hasso-Plattner-Institut (HPI) fur Softwaresystemtechnik GmbH, 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
Juliana Kuster-Filipe, University of Birmingham
pp. 153-164
Axel Jantsch, Royal Institute of Technology, Stockholm, Sweden
pp. 165-178
Session 7: Model-Checking
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
S. Ramesh, India Science Lab, GM R&D Centre Creator, International Tech Park, Bangalore
pp. 208-216
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
Arnim Wedig, University of Dormtund, Germany
Horst F. Wedde, University of Dormtund, Germany
Anca Lazarescu, University of Dormtund, Germany
Elisei Rotaru, University of Dormtund, Germany
pp. 251-260
Gabriel Juhas, Slovak University of Technology Bratislava
Robert Lorenz, Slovak University of Technology Bratislava
Sebastian Mauser, Catholic University of Eichstatt-Ingolstadt
pp. 261-272
Tool Papers
A. Hamez, 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
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
Kees van Hee, Eindhoven University of Technolog, The Netherlands
Olivia Oanea, Eindhoven University of Technolog, The Netherlands
Reinier Post, Eindhoven University of Technolog, The Netherlands
Lou Somers, Eindhoven University of Technolog, The Netherlands
Jan Martijn v an der Werf, Eindhoven University of Technolog, The Netherlands
pp. 279-282
Author Index
Usage of this product signifies your acceptance of the Terms of Use.