ISBN: 0-7695-2665-9

Joseph Y. Halpern, Cornell University, Ithaca, NY 14853, USA

Alexander Chobanyan, Michigan State University East Lansing, MI

Matt Mutka, Michigan State University East Lansing, MI

Shlomo Levental, Michigan State University East Lansing, MI

Ning Xi, Michigan State University East Lansing, MI

Andrea Camesi, Ecole Polytechnique Federale de Lausanne (EPFL), CH-1015 Lausanne, Switzerland

Jarle Hulaas, Ecole Polytechnique Federale de Lausanne (EPFL), CH-1015 Lausanne, Switzerland

Walter Binder, Ecole Polytechnique Federale de Lausanne (EPFL), CH-1015 Lausanne, Switzerland

Jalil Boukhobza, Versailles Saint Quentin University, PRiSM

Claude Timsit, Versailles Saint Quentin University, PRiSM

Alma Riska, Seagate Research, Pittsburgh, PA

Erik Riedel, Seagate Research, Pittsburgh, PA

Seetharami R. Seelam, University of Texas at El Paso

Jayaraman Suresh Babu, University of Texas at El Paso

Patricia J. Teller, University of Texas at El Paso

Anne Remke, University of Twente

Boudewijn R. Haverkort, University of Twente

Lucia Cloth, University of Twente

Michele Garetto, Universita di Torino, Italy

Marco Gribaudo, Universita di Torino, Italy

Roger Kalden, Ericsson Research, Aachen, Germany

Boudewijn R. Haverkort, University of Twente, The Netherlands

Ana Busic, PRiSM, Universite de Versailles Saint-Quentin-en-Yvelines, 78000 Versailles, France

Mouad Ben Mamoun, Universite Mohammed V, B.P. 1014, Rabat, Maroc

Jean-Michel Fourneau, PRiSM, Universite de Versailles Saint-Quentin-en-Yvelines, 78000 Versailles, France

Greg Franks, Carleton University

Dorina Petriu, Carleton University

Murray Woodside, Carleton University

Jing Xu, Carleton University

Peter Tregunno, Alcatel

Samuel Kounev, University of Cambridge, UK

Christofer Dutz, Darmstadt University of Technology, Germany

Alejandro Buchmann, Darmstadt University of Technology, Germany

Michael Knoke, Technische Universitat Berlin Institut f¨ur Technische Informatik und Mikroelektronik, Germany

Armin Zimmermann, University Potsdam, Postfach, Germany

Marco Bertoli, Politecnico di Milano - DEI, Milan, Italy

Giuliano Casale, Politecnico di Milano - DEI, Milan, Italy

Giuseppe Serazzi, Politecnico di Milano - DEI, Milan, Italy

Daniel Garcia, Universitat de les Illes Balears, Spain

Catalina M. Llado, Universitat de les Illes Balears, Spain

Connie U. Smith, Performance Engineering Services, New Mexico, 87504-2640 USA

Ramon Puigjaner, Universitat de les Illes Balears, Spain

Bernard Berthomieu, LAAS / CNRS, France

Francois Vernadat, LAAS / CNRS, France

Gerd Behrmann, Aalborg University, Denmark

Alexandre David, Aalborg University, Denmark

Kim G. Larsen, Aalborg University, Denmark

John Hakansson, Uppsala University, Sweden

Paul Pettersson, Uppsala University, Sweden

Wang Yi, Uppsala University, Sweden

Martijn Hendriks, Radboud University Nijmegen, Netherlands

L. Sassoli, Universita di Firenze, Italia

E. Vicario, Universita di Firenze, Italia

Thomas Herault, LRI - U. Paris-Sud, France

Richard Lassaigne, Equipe de Logique - U. Paris VII

Sylvain Peyronnet, LRDE/EPITA

Frank Ciesinski, Universitat Bonn, Institut fur Informatik I, Germany

Christel Baier, Universitat Bonn, Institut fur Informatik I, Germany

Jose M. Martinez, University of Twente, the Netherlands

Boudewijn R. Haverkort, University of Twente, the Netherlands

Peter Kemper, College of William and Mary Williamsburg, Virginia 23187-8795, USA

Carsten Tepper, Universitat Dortmund, Germany

Tod Courtney, University of Illinois at Urbana-Champaign, Urbana, IL, U.S.A.

Shravan Gaonkar, University of Illinois at Urbana-Champaign, Urbana, IL, U.S.A.

Mark Griffith, University of Illinois at Urbana-Champaign, Urbana, IL, U.S.A.

Vinh Lam, University of Illinois at Urbana-Champaign, Urbana, IL, U.S.A.

Michael McQuinn, University of Illinois at Urbana-Champaign, Urbana, IL, U.S.A.

Eric Rozier, University of Illinois at Urbana-Champaign, Urbana, IL, U.S.A.

William H. Sanders, University of Illinois at Urbana-Champaign, Urbana, IL, U.S.A.

Andrea Bondavalli, DSI, Universita di Firenze, Viale Morgagni 65,Firenze, Italy

Silvano Chiaradonna, ISTI-CNR, Via G. Moruzzi 1, 56124 Pisa, Italy

Paolo Lollini, DSI, Universita di Firenze, Viale Morgagni, Italy

Fabrizio Squittieri, DSI, Universita di Firenze, Viale Morgagni, Italy

Matthew Curtis-Maury, Virginia Tech

Dimitrios S. Nikolopoulos, Virginia Tech

Christos D. Antonopoulos, College of William and Mary

Pierre L'Ecuyer, Universite de Montreal, Canada

Marta Kwiatkowska, University of Birmingham, UK

Gethin Norman, University of Birmingham, UK

David Parker, University of Birmingham, UK

Eckard Bode, Kuratorium OFFIS e.V., Oldenburg, Germany

Marc Herbstritt, Albert-Ludwigs-University Freiburg im Breisgau, Germany

Holger Hermanns, Saarland University, Saarbr¨ucken, Germany

Sven Johr, Saarland University, Saarbr¨ucken, Germany

Thomas Peikenkamp, Kuratorium OFFIS e.V., Oldenburg, Germany

Reza Pulungan, Saarland University, Saarbr¨ucken, Germany

Ralf Wimmer, Albert-Ludwigs-University Freiburg im Breisgau, Germany

Bernd Becker, Albert-Ludwigs-University Freiburg im Breisgau, Germany

Krishnendu Chatterjee, UC Berkeley

Luca de Alfaro, UC Santa Cruz

Marco Faella, Universita di Napoli Federico II

Thomas A. Henzinger, EPFL and UC Berkeley

Rupak Majumdar, UC Los Angeles

Marielle Stoelinga, University of Twente

Mouad Ben Mamoun, Universite Mohammed V, Rabat, Maroc

Nihal Pekergin, Universite Paris 1, France

Sana Younes, PRiSM, Universite Versailles St Quentin, France

Davide Cerotti, Universita di Torino, 10149 Torino, Italy

Susanna Donatelli, Universita di Torino, 10149 Torino, Italy

Andras Horvath, Universita di Torino, 10149 Torino, Italy

Jeremy Sproston, Universita di Torino, 10149 Torino, Italy

M. Beccuti, Univ. del Piemonte Orientale Alessandria, Italy

G. Franceschinis, Univ. del Piemonte OrientaleAlessandria, Italy

S. Baarir, LIP6, Univ. Pierre et Marie Curie, France

J-M. Ilie, LIP6, Univ. Pierre et Marie Curie, France

Jasen Markovski, Technische Universiteit Eindhoven, Netherlands

Nikola Trcka, Technische Universiteit Eindhoven, Netherlands

Peter Buchholz, Universitat Dortmund, Germany

Peter Kemper, College of William and Mary, Williamsburg, Virginia 23187-

David Daly, IBM T.J. Watson Research Center Yorktown Heights, NY

Peter Buchholz, Universitat Dortmund, Germany

William H. Sanders, University of Illinois at Urbana-Champaign

Parosh Aziz Abdulla, Uppsala University, Sweden

Noomene Ben Henda, Uppsala University, Sweden

Richard Mayr, NC State University, USA.

Sven Sandberg, Uppsala University, Sweden

Arif Merchant, Hewlett-Packard Laboratories, Palo Alto, CA

Hector Cancela, Universidad de la República, Uruguay

Pablo Rodríguez-Bocca, Universidad de la República, Uruguay

Yezekael Hayel, IRISMNRIA Rennes Campus de Beaulieu, France

Victor M. Ramos R., UAM-Iztapalapa, Iztapalapa, Mexico

Bruno Tuffin, IRISMNRIA Rennes Campus de Beaulieu, France

Krishnendu Chatterjee, UC Berkeley

Luca de Alfaro, UC Santa Cruz

Thomas A. Henzinger, EPFL and UC Berkeley

Joost-Pieter Katoen, RWTH Aachen, Software Modeling and Verification Group, D-52056 Aachen, Germany

Ivan S. Zapreev, University of Twente, P.O. Box 217, 7500 AE Enschede, The Netherlands

Jasper Berendsen, University of Twente, Netherlands

David N. Jansen, University of Twente, Netherlands

Joost-Pieter Katoen, RWTH Aachen Software Modeling and Verification Group Aachen, Germany

Levente Bodrog, Technical University of Budapest, 1521 Budapest, Hungary

Gabor Horvath, Technical University of Budapest, 1521 Budapest, Hungary

Sandor Racz, Technical University of Budapest, 1521 Budapest, Hungary

Miklos Telek, Technical University of Budapest, 1521 Budapest, Hungary

Giuliano Casale, Neptuny R&D,via Durando 10-G I-20158 Milan, Italy

David Thornley, Imperial College London

Harf Zatschler, Imperial College London

Ho Woo Lee, Sungkyunkwan University, Korea

Jung Woo Baek, Sungkyunkwan University, Korea

Mengjun Xie, The College of William and Mary Williamsburg, VA

Keywan Tabatabai, The College of William and Mary Williamsburg, VA

Haining Wang, The College of William and Mary Williamsburg, VA

Philipp Reinecke, Institut fur Informatik Berlin, Germany

Aad P. A. van Moorsel, University of Newcastle upon Tyne, U.K.

Katinka Wolter, Institut fur Informatik Berlin, Germany

Ningfang Mi, College of William and Mary Williamsburg, VA

Qi Zhang, College of William and Mary Williamsburg, VA

Alma Riska, Seagate Research, Pittsburgh, PA

Evgenia Smirni, College of William and Mary Williamsburg, VA