The Community for Technology Leaders
RSS Icon
Subscribe
2010 10th International Conference on Application of Concurrency to System Design (2003)
Guimar?es, Portugal
June 18, 2003 to June 20, 2003
ISBN: 0-7695-1887-7
TABLE OF CONTENTS
Introduction
Invited Papers
Ian Oliver , Nokia Research Center
pp. 5
Regular Papers
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
Harry Hsieh , University of California at Riverside
Felice Balarin , Cadence Berkeley Laboratories
Xi Chen , University of California at Riverside
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
Alex Yakovlev , University of Newcastle upon Tyne
pp. 51
Michel Reniers , Eindhoven University of Technology
Twan Basten , Eindhoven University of Technology
Mohammad Reza Mousavi , Eindhoven University of Technology
pp. 71
Stanislav Chachkov , Swiss Federal Institute of Technology Lausanne
Didier Buchs , Swiss Federal Institute of Technology Lausanne
pp. 82
Laure Petrucci , ENS de Cachan
Lars M. Kristensen , University of Aarhus
Zahid H. Qureshi , Defence Science and Technology Organisation
pp. 92
Emmanuelle Encrenaz , UPMC - LIP6 - ASIM
Vincent Beaudenon , UPMC - LIP6 - ASIM
pp. 102
P. Ballarini , Università di Torino
L. Capra , Univeristà di Milano
G. Franceschinis , Univeristà Piemonte Orientale
M. De Pierro , Univeristà Piemonte Orientale
pp. 111
S. Moschoyiannis , University of Surrey
pp. 122
Elisabeth Pelz , Universit? Paris XII-Val de Marne
Hans Fleischhack , CvO Universit?t Oldenburg
pp. 132
Roberto Gorrieri , Università di Bologna
Marinella Petrocchi , Istituto di Informatica e Telematica - C.N.R.
Anna Vaccarelli , Istituto di Informatica e Telematica - C.N.R.
pp. 142
Heikki Virtanen , Tampere University of Technology
Henri Hansen , 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
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
Valentín Valero , Universidad de Castilla-La Mancha
Fernando Cuartero , Universidad de Castilla-La Mancha
Hermenegilda Macià , 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.
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
Jesús Martínez , University of Malaga
Pedro Merino , University of Malaga
María del Mar Gallardo , University of Malaga
pp. 245
Jan J?rjens , Technical Univesität München
Guido Wimmel , Technical Univesität München
Oscar Slotosch , Validas AG
Jan Romberg , Technical Univesität München
pp. 249
Author Index
Author Index (PDF)
pp. 251
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool