• Q
  • QEST
  • 2004
  • The Quantitative Evaluation of Systems, First International Conference on (QEST'04)
Advanced Search 
The Quantitative Evaluation of Systems, First International Conference on (QEST'04)
Enschede, the Netherlands
September 27-September 30
ISBN: 0-7695-2185-1
Table of Contents
null
Reviewers (PDF)
pp. xiii-xiii
Invited Session
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
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
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
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
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
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
Usage of this product signifies your acceptance of the Terms of Use.