• A
  • ACSD
  • 2003
  • Third International Conference on Application of Concurrency to System Design (ACSD'03)
Advanced Search 
Third International Conference on Application of Concurrency to System Design (ACSD'03)
Guimar?es, Portugal
June 18-June 20
ISBN: 0-7695-1887-7
Table of Contents
Introduction
Invited Papers
Ian Oliver, Nokia Research Center
pp. 5
Regular Papers
Jean-Pierre Talpin, INRIA/IRISA
Paul Le Guernic, INRIA/IRISA
Sandeep Kumar Shukla, Virginia Tech
Rajesh Gupta, University of California at San Diego
Frédéric Doucet, University of California at San Diego
pp. 9
Xi Chen, University of California at Riverside
Harry Hsieh, University of California at Riverside
Felice Balarin, Cadence Berkeley Laboratories
Yosinori Watanabe, Cadence Berkeley Laboratories
pp. 20
Jordi Cortadella, Universitat Politècnica de Catalunya
Alex Kondratyev, Cadence Berkeley Labs
Luciano Lavagno, Politecnico di Torino
Yosinori Watanabe, Cadence Berkeley Labs
pp. 29
Victor Khomenko, University of Newcastle upon Tyne
Maciej Koutny, University of Newcastle upon Tyne
Alex Yakovlev, University of Newcastle upon Tyne
pp. 51
Mohammad Reza Mousavi, Eindhoven University of Technology
Michel Reniers, Eindhoven University of Technology
Twan Basten, Eindhoven University of Technology
Michel Chaudron, Eindhoven University of Technology
pp. 71
Didier Buchs, Swiss Federal Institute of Technology Lausanne
Stanislav Chachkov, Swiss Federal Institute of Technology Lausanne
David Hurzeler, Swiss Federal Institute of Technology Lausanne
pp. 82
P. Ballarini, Università di Torino
L. Capra, Univeristà di Milano
G. Franceschinis, Univeristà Piemonte Orientale
M. De Pierro, Univeristà Piemonte Orientale
pp. 111
Roberto Gorrieri, Università di Bologna
Fabio Martinelli, Istituto di Informatica e Telematica - C.N.R.
Marinella Petrocchi, Istituto di Informatica e Telematica - C.N.R.
Anna Vaccarelli, Istituto di Informatica e Telematica - C.N.R.
pp. 142
Henri Hansen, Tampere University of Technology
Heikki Virtanen, Tampere University of Technology
Antti Valmari, Tampere University of Technology
pp. 150
Abhik Roychoudhury, National University of Singapore
P. S. Thiagarajan, National University of Singapore
pp. 157
João Paulo Barros, Universidade Nova de Lisboa and Instituto Politécnico de Beja
Luís Gomes, Universidade Nova de Lisboa
pp. 177
Tuomo Pyhälä, Helsinki University of Technology
Keijo Heljanko, Helsinki University of Technology
pp. 187
Jaco van de Pol, Centrum voor Wiskunde en Informatica
Miguel Valero Espada, Centrum voor Wiskunde en Informatica
pp. 196
Lu? Gomes, Universidade Nova de Lisboa and UNINOVA, Centro de Rob?tica Inteligente
Anik? Costa, Universidade Nova de Lisboa and UNINOVA, Centro de Rob?tica Inteligente
pp. 206
Hermenegilda Macià, Universidad de Castilla-La Mancha
Valentín Valero, Universidad de Castilla-La Mancha
Fernando Cuartero, Universidad de Castilla-La Mancha
Fernando L. Pelayo, Universidad de Castilla-La Mancha
pp. 216
Tool Presentations
Roman Jokl, University of West Bohemia in Pilsen
Stanislav Racek, University of West Bohemia in Pilsen
pp. 229
Jean-Louis Boulanger, University of Technology of Compiegne
pp. 231
Dag Bj?rklund, ?bo Akademi University
Johan Lilius, ?bo Akademi University
Ivan Porres, ?bo Akademi University
pp. 233
Boualem Benatallah, University of New South Wales
Piotr Chrz¸stowski-Wachtel, Warsaw University and Polish-Japanese Institute of Information Technology
Rachid Hamadi, University of New South Wales
Milton O?Dell, Justwin Technologies Pty Ltd
Adi Susanto, University of New South Wales
pp. 235
Sander Stuijk, Eindhoven University of Technology
Twan Basten, Eindhoven University of Technology
Jan Ypma, Eindhoven University of Technology
pp. 237
Federico Crazzolara, NEC Europe and Chi Spaces Technologies ltd.
Giuseppe Milicia, University of Aarhus and Chi Spaces Technologies ltd.
pp. 239
Ammar Aljer, Laboratoire d?Informatique Fondamentale de Lille
Philippe Devienne, Laboratoire d?Informatique Fondamentale de Lille
Sophie Tison, Laboratoire d?Informatique Fondamentale de Lille
Jean-Louis Boulanger, Université de Compiègne
Georges Mariano, Institut National de Recherche sur les Transports et leur Sécurité
pp. 241
María del Mar Gallardo, University of Malaga
Jesús Martínez, University of Malaga
Pedro Merino, University of Malaga
Ernesto Pimentel, University of Malaga
pp. 245
Jan Romberg, Technical Univesität München
Jan J?rjens, Technical Univesität München
Guido Wimmel, Technical Univesität München
Oscar Slotosch, Validas AG
Gabor Hahn, Validas AG
pp. 249
Author Index
Usage of this product signifies your acceptance of the Terms of Use.