• A
  • ACSD
  • 2007
  • Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)
Advanced Search 
Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)
Bratislava, Slovak Republic
July 10-July 13
ISBN: 0-7695-2902-X
Table of Contents
Introduction
Invited Papers
W. M. P. van der Aalst, Eindhoven University of Technology, the Netherlands
C. W. G?nther, Eindhoven University of Technology, the Netherlands
pp. 3-12
Lothar Thiele, Swiss Federal Institute of Technology Zurich, Switzerland
Iuliana Bacivarov, Swiss Federal Institute of Technology Zurich, Switzerland
Wolfgang Haid, Swiss Federal Institute of Technology Zurich, Switzerland
Kai Huang, Swiss Federal Institute of Technology Zurich, Switzerland
pp. 29-40
Regular Papers
Souheib Baarir, Universite Pierre et Marie Curie, France
Alexandre Duret-Lutz, Universite Pierre et Marie Curie, France
pp. 41-50
Fr?d?ric B?al, Tokyo Institute of Technology, Japan
Tomohiro Yoneda, National Institute of Informatics, Japan
Chris J. Myers, University of Utah, USA
pp. 51-60
J. K. F. Bowles, The University of Birmingham, UK
B. Bordbar, The University of Birmingham, UK
pp. 71-79
Franck Cassez, CNRS/IRCCyN, France
Stavros Tripakis, Cadence Berkeley Labs, USA
Karine Altisen, INPG and Verimag Laboratory, France
pp. 90-99
Yuan Chen, University of Newcastle upon Tyne, UK
Fei Xia, University of Newcastle upon Tyne, UK
Delong Shang, University of Newcastle upon Tyne, UK
Alex Yakovlev, University of Newcastle upon Tyne, UK
pp. 100-109
Raymond Devillers, Universite Libre de Bruxelles, Belgium
Hanna Klaudel, Universite d'Evry, France
Maciej Koutny, University of Newcastle, United Kingdom
pp. 110-119
Guan Yu, Vrije Universiteit Brussel, Belgium; Inter-university Micro-Electronics Centre, Belgium
Gauthier Lafruit, Inter-university Micro-Electronics Centre, Belgium
Peter Schelkens, Universiteit Brussel, Belgium
pp. 120-126
Jinfeng Huang, Eindhoven University of Technology, the Netherlands
Jeroen Voeten, Eindhoven University of Technology, the Netherlands; Embedded Systems Institute, the Netherlands
Marcel Groothuis, University of Twente, the Netherlands
Jan Broenink, University of Twente, the Netherlands
Henk Corporaal, Eindhoven University of Technology, the Netherlands
pp. 127-136
Victor Khomenko, Newcastle University, UK
Mark Schaefer, University of Augsburg, Germany
Walter Vogler, University of Augsburg, Germany
pp. 147-156
Robert Lorenz, Catholic University of Eichstatt-Ingolstadt, Germany
Robin Bergenthum, Catholic University of Eichstatt-Ingolstadt, Germany
J?rg Desel, Catholic University of Eichstatt-Ingolstadt, Germany
Sebastian Mauser, Catholic University of Eichstatt-Ingolstadt, Germany
pp. 157-166
Robert Lorenz, Catholic University of Eichstatt-Ingolstadt, Germany
Sebastian Mauser, Catholic University of Eichstatt-Ingolstadt, Germany
Robin Bergenthum, Catholic University of Eichstatt-Ingolstadt, Germany
pp. 167-176
J. Markovski, Technische Universiteit Eindhoven, the Netherlands
E. P. de Vink, Technische Universiteit Eindhoven, the Netherlands
pp. 177-186
Siamak Nazari, University of Waterloo, Canada
John Thistle, University of Waterloo, Canada
pp. 187-196
Danil Sokolov, University of Newcastle, UK
Ivan Poliakov, University of Newcastle, UK
Alex Yakovlev, University of Newcastle, UK
pp. 197-210
Tool Papers
I. Budinsk?, Institute of informatics SAS, Slovak Republic
V. Oravec, Institute of informatics SAS, Slovak Republic
E. Gatial, Institute of informatics SAS, Slovak Republic
M. Laclav?, Institute of informatics SAS, Slovak Republic
M. Seleng, Institute of informatics SAS, Slovak Republic
Z. Balogh, Institute of informatics SAS, Slovak Republic
B. Frankovic, Institute of informatics SAS, Slovak Republic
R. Forg?, Institute of informatics SAS, Slovak Republic
I. Mokris, Institute of informatics SAS, Slovak Republic
L. Hluch?, Institute of informatics SAS, Slovak Republic
pp. 211-215
H. Hojjat, University of Tehran and IPM, Iran
M. Sirjani, University of Tehran and IPM, Iran
M. R. Mousavi, Eindhoven University of Technology, the Netherlands; Reykjavik University, Iceland
J. F. Groote, Eindhoven University of Technology, the Netherlands
pp. 216-222
Tutorial
Martin Drozda, Leibniz University of Hannover, Germany
pp. 223-230
Extended Abstracts
Hemangee K. Kapoor, Dhirubhai Ambani Institute of Information and Communication Technology, India
pp. 231-232
Wojciech Penczek, Institute of Computer Science, PAS, Poland
Maciej Szreter, Institute of Computer Science, PAS, Poland
pp. 236-237
Jinzhao Wu, University of Electronic Science and Technology, China; Chinese Academy of Sciences, China
Lin Zhao, Chinese Academy of Sciences, China
pp. 238-239
Marius C. Bujorianu, University of Kent, UK
Manuela L. Bujorianu, University of Twente, the Netherlands
pp. 240-241
Author Index
Usage of this product signifies your acceptance of the Terms of Use.