The Community for Technology Leaders
RSS Icon
Subscribe
Quantitative Evaluation of Systems, International Conference on (2004)
Enschede, the Netherlands
Sept. 27, 2004 to Sept. 30, 2004
ISBN: 0-7695-2185-1
TABLE OF CONTENTS
pp. xii
Reviewers (PDF)
pp. xiii
Invited Session
Ger Koole , Vrije Universiteit, The Netherlands
pp. 2-5
Session I: Case Studies
Alexander Thomasian , New Jersey Institute of Technology - NJIT, Newark, NJ
Chunqi Han , New Jersey Institute of Technology - NJIT, Newark, NJ
Gang Fu , New Jersey Institute of Technology - NJIT, Newark, NJ
Chang Liu , New Jersey Institute of Technology - NJIT, Newark, NJ
pp. 8-17
Michael Liljenstam , University of Illinois at Urbana-Champaign
David M. Nicol , University of Illinois at Urbana-Champaign
pp. 18-27
H. C. Bohnenkamp , University of Twente, The Netherlands
H. Hermanns , University of Twente, The Netherlands; Saarland University, Germany
R. Klaren , University of Twente, The Netherlands
A. Mader , University of Twente, The Netherlands
Y. S. Usenko , University of Twente, The Netherlands
pp. 28-37
Connie U. Smith , Performance Engineering Services, Santa Fe, New Mexico
Catalina M. Llad? , Universitat Illes Balears, Spain
pp. 38-47
Session II: Time and Continuous Petri Nets
Simona Bernardi , Universit? di Torino, Italy
Javier Campos , Universidad de Zaragoza, Spain
pp. 50-59
Jorge J?lvez , Universidad de Zaragoza, Spain
Emilio Jim?nez , Universidad de La Rioja, Spain
Laura Recalde , Universidad de Zaragoza, Spain
Manuel Silva , Universidad de Zaragoza, Spain
pp. 60-69
G. Bucci , Universit? di Firenze, Italia
L. Sassoli , Universit? di Firenze, Italia
E. Vicario , Universit? di Firenze, Italia
pp. 70-79
Session III: Queueing Theory
Jos? Incera , ITAM, M?xico
Gerardo Rubino , IRISA/INRIA Rennes, France
pp. 82-89
Peter G. Harrison , Imperial College London
Harf Zatschler , Imperial College London
pp. 90-99
Armin Heindl , University Erlangen-Nuremberg, Germany
Qi Zhang , College of William and Mary, VA
Evgenia Smirni , College of William and Mary, VA
pp. 100-109
Gerardo Rubino , INRIA / Rennes, France
Mart?n Varela Irisa , INRIA / Rennes, France
pp. 110-119
Invited Session
Session IV: Analysis, Simulation, and Synthesis of Markov Chains
Peter Buchholz , Universit?t Dortmund, Germany
William H. Sanders , University of Illinois at Urbana-Champaign
pp. 126-135
Vinh V. Lam , University of Illinois at Urbana-Champaign
Peter Buchholz , Universit?t Dortmund, Germany
William H. Sanders , University of Illinois at Urbana-Champaign
pp. 136-145
Koushik Sen , University of Illinois at Urbana Champaign
Mahesh Viswanathan , University of Illinois at Urbana Champaign
Gul Agha , University of Illinois at Urbana Champaign
pp. 146-155
G?bor Horv?th , Technical University of Budapest, Hungary
S?ndor R?cz , Technical University of Budapest, Hungary
?rp? Tari , Technical University of Budapest, Hungary
Mikl? Telek , Technical University of Budapest, Hungary
pp. 165-174
Session V: Scheduling and Optimization
Alma Riska , Seagate Research, Pittsburgh, PA
Erik Riedel , Seagate Research, Pittsburgh, PA
Sami Iren , Seagate Research, Pittsburgh, PA
pp. 176-185
Daniel A. Menasc? , George Mason University, Fairfax, VA
Vasudeva Akula , George Mason University, Fairfax, VA
pp. 186-194
Aad P. A. van Moorsel , University of Newcastle, UK
Katinka Wolter , Humboldt-Universit?t Berlin, Germany
pp. 195-204
Invited Session
Krishnendu Chatterjee , University of California, Berkeley
Luca de Alfaro , University of California, Santa Cruz
Thomas A. Henzinger , University of California, Berkeley; EPFL, Switzerland
pp. 206-217
Session VI: Model Checking
Jeremy Sproston , Universit? di Torino, Italy
Susanna Donatelli , Universit? di Torino, Italy
pp. 220-229
Christel Baier , Universit?t Bonn, Germany
Marcus Gr??er , Universit?t Bonn, Germany
Frank Ciesinski , Universit?t Bonn, Germany
pp. 230-239
Pedro R. D'Argenio , Universit? de Provence, France
Peter Niebert , Universit? de Provence, France
pp. 240-249
David N. Jansen , Max-Planck-Institut f?r Informatik, Saarbr?cken, Germany
Holger Hermanns , Universit?t des Saarlandes, Saarbr?cken, Germany
pp. 250-259
Session VII: Symbolic Techniques
Andrew S. Miner , Iowa State University
Shuxing Cheng , Iowa State University
pp. 262-271
Saturation NOW (Abstract)
Ming-Ying Chung , University of California, Riverside
Gianfranco Ciardo , University of California, Riverside
pp. 272-281
Andrew S. Miner , Iowa State University, Ames
pp. 282-291
Session VIII: Semantics
Augusto Parma , Universit? di Verona
Roberto Segala , Universit? di Verona
pp. 294-303
Vineet Gupta , Google Inc.
Radha Jagadeesan , DePaul University
Prakash Panangaden , McGill University
pp. 304-313
Tool Papers
S. Avallone , Universit? di Napoli Federico II, Italy
S. Guadagno , Universit? di Napoli Federico II, Italy
D. Emma , Universit? di Napoli Federico II, Italy
A. Pescap? , Universit? di Napoli Federico II, Italy
G. Ventre , Universit? di Napoli Federico II, Italy
pp. 316-317
M. Arns , Universit?t Dortmund, Germany
M. Fischer , Universit?t Dortmund, Germany
C. Tepper , Universit?t Dortmund, Germany
M. V?lker , Universit?t Dortmund, Germany
pp. 318-319
Guido Juckeland , Technical University Dresden, Germany
Michael Kluge , Technical University Dresden, Germany
Wolfgang E. Nagel , Technical University Dresden, Germany
Stefan Pfl? , Technical University Dresden, Germany
pp. 320-321
Marta Kwiatkowska , University of Birmingham, UK
Gethin Norman , University of Birmingham, UK
David Parker , University of Birmingham, UK
pp. 322-323
J. M. Ili? , Paris 6 University, Paris, France
S. Baarir , Paris 6 University, Paris, France
M. Beccuti , Universit? del Piemonte Orientale, Alessandria, Italy
C. Delamare , Universit? de Reims Champagne-Ardenne Reims, France
S. Donatelli , Universit? di Torino, Italy
C. Dutheillet , Paris 6 University, Paris, France
G. Franceschinis , Universit? del Piemonte Orientale, Alessandria, Italy
R. Gaeta , Universit? di Torino, Italy
P. Moreaux , Universit? de Reims Champagne-Ardenne Reims, France
pp. 324-325
Mohammad Abdollahi Azgomi , Sharif University of Technology, Tehran, Iran
Ali Movaghar , Sharif University of Technology, Tehran, Iran
pp. 326-327
Tod Courtney , University of Illinois at Urbana-Champaign
David Daly , University of Illinois at Urbana-Champaign
Salem Derisavi , University of Illinois at Urbana-Champaign
Shravan Gaonkar , University of Illinois at Urbana-Champaign
Mark Griffith , University of Illinois at Urbana-Champaign
Vinh Lam , University of Illinois at Urbana-Champaign
William H. Sanders , University of Illinois at Urbana-Champaign
pp. 328-329
Nicolas Markey , Universit? Libre de Bruxelles, Belgium
Philippe Schnoebelen , CNRS UMR, France
pp. 330-331
G. Ruffo , Universit? degli Studi di Torino
R. Schifanella , Universit? degli Studi di Torino
M. Sereno , Universit? degli Studi di Torino
R. Politi , CSP Sc.a.r.l. c/o Villa Gualino
pp. 332-333
Jeremy T. Bradley , Imperial College London, UK
William J. Knottenbelt , Imperial College London, UK
pp. 334-335
Alessandro Aldini , Universit? di Urbino "Carlo Bo", Italy
Marco Bernardo , Universit? di Urbino "Carlo Bo", Italy
pp. 336-337
Gianfranco Ciardo , University of California, Riverside
Andrew S. Miner , Iowa State University
pp. 338-339
Moreno Marzolla , Universit? Ca' Foscari di Venezia, Italy
Simonetta Balsamo , Universit? Ca' Foscari di Venezia, Italy
pp. 340-341
Vittorio Cortellessa , Universita' dell'Aquila, Italy
Michele Gentile , Universita' dell'Aquila, Italy
Marco Pizzuti , Universita' dell'Aquila, Italy
pp. 342-343
Author Index (PDF)
pp. 344-345
406 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool