loading...
The Quantitative Evaluation of Systems, First International Conference on (QEST'04)
ISBN: 0-7695-2185-1
Enschede, the Netherlands September 27-September 30
Advanced Search 
null
pp. ix-x
PURCHASE ARTICLE: $0
 ABSTRACT
HTML
IEEE Xplore Subscribers
pp. xi-xi
PURCHASE ARTICLE: $0
 ABSTRACT
HTML
IEEE Xplore Subscribers
pp. xii-xii
PURCHASE ARTICLE: $0
 ABSTRACT
HTML
IEEE Xplore Subscribers
pp. xiii-xiii
PURCHASE ARTICLE: $0
 ABSTRACT
HTML
IEEE Xplore Subscribers
Invited Session
Ger Koole, Vrije Universiteit, The Netherlands
pp. 2-5
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
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
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
Michael Liljenstam, University of Illinois at Urbana-Champaign
David M. Nicol, University of Illinois at Urbana-Champaign
pp. 18-27
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
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
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
Connie U. Smith, Performance Engineering Services, Santa Fe, New Mexico
Catalina M. Llad?, Universitat Illes Balears, Spain
pp. 38-47
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
Session II: Time and Continuous Petri Nets
Simona Bernardi, Universit? di Torino, Italy
Javier Campos, Universidad de Zaragoza, Spain
pp. 50-59
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
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
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
G. Bucci, Universit? di Firenze, Italia
L. Sassoli, Universit? di Firenze, Italia
E. Vicario, Universit? di Firenze, Italia
pp. 70-79
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
Session III: Queueing Theory
Jos? Incera, ITAM, M?xico
Gerardo Rubino, IRISA/INRIA Rennes, France
pp. 82-89
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
Peter G. Harrison, Imperial College London
Harf Zatschler, Imperial College London
pp. 90-99
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
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
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
Gerardo Rubino, INRIA / Rennes, France
Mart?n Varela Irisa, INRIA / Rennes, France
pp. 110-119
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
Michele Colajanni, University of Modena and Reggio Emilia, Italy
pp. 122-123
PURCHASE ARTICLE: $0
 ABSTRACT
HTML
IEEE Xplore Subscribers
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
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
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
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
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
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
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
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
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
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
Daniel A. Menasc?, George Mason University, Fairfax, VA
Vasudeva Akula, George Mason University, Fairfax, VA
pp. 186-194
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
Aad P. A. van Moorsel, University of Newcastle, UK
Katinka Wolter, Humboldt-Universit?t Berlin, Germany
pp. 195-204
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
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
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
Session VI: Model Checking
Jeremy Sproston, Universit? di Torino, Italy
Susanna Donatelli, Universit? di Torino, Italy
pp. 220-229
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
Christel Baier, Universit?t Bonn, Germany
Marcus Gr??er, Universit?t Bonn, Germany
Frank Ciesinski, Universit?t Bonn, Germany
pp. 230-239
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
Pedro R. D'Argenio, Universit? de Provence, France
Peter Niebert, Universit? de Provence, France
pp. 240-249
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
David N. Jansen, Max-Planck-Institut f?r Informatik, Saarbr?cken, Germany
Holger Hermanns, Universit?t des Saarlandes, Saarbr?cken, Germany
pp. 250-259
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
Session VII: Symbolic Techniques
Andrew S. Miner, Iowa State University
Shuxing Cheng, Iowa State University
pp. 262-271
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
Ming-Ying Chung, University of California, Riverside
Gianfranco Ciardo, University of California, Riverside
pp. 272-281
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
Andrew S. Miner, Iowa State University, Ames
pp. 282-291
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
Session VIII: Semantics
Augusto Parma, Universit? di Verona
Roberto Segala, Universit? di Verona
pp. 294-303
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
Vineet Gupta, Google Inc.
Radha Jagadeesan, DePaul University
Prakash Panangaden, McGill University
pp. 304-313
ABSTRACT
PDF
HTML
IEEE Xplore Subscribers
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
PURCHASE ARTICLE: $0
 ABSTRACT
HTML
IEEE Xplore Subscribers
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
PURCHASE ARTICLE: $0
 ABSTRACT
HTML
IEEE Xplore Subscribers
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
PURCHASE ARTICLE: $0
 ABSTRACT
HTML
IEEE Xplore Subscribers
Marta Kwiatkowska, University of Birmingham, UK
Gethin Norman, University of Birmingham, UK
David Parker, University of Birmingham, UK
pp. 322-323
PURCHASE ARTICLE: $0
 ABSTRACT
HTML
IEEE Xplore Subscribers
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
PURCHASE ARTICLE: $0
 ABSTRACT
HTML
IEEE Xplore Subscribers
Mohammad Abdollahi Azgomi, Sharif University of Technology, Tehran, Iran
Ali Movaghar, Sharif University of Technology, Tehran, Iran
pp. 326-327
PURCHASE ARTICLE: $0
 ABSTRACT
HTML
IEEE Xplore Subscribers
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
PURCHASE ARTICLE: $0
 ABSTRACT
HTML
IEEE Xplore Subscribers
Nicolas Markey, Universit? Libre de Bruxelles, Belgium
Philippe Schnoebelen, CNRS UMR, France
pp. 330-331
PURCHASE ARTICLE: $0
 ABSTRACT
HTML
IEEE Xplore Subscribers
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
PURCHASE ARTICLE: $0
 ABSTRACT
HTML
IEEE Xplore Subscribers
Jeremy T. Bradley, Imperial College London, UK
William J. Knottenbelt, Imperial College London, UK
pp. 334-335
PURCHASE ARTICLE: $0
 ABSTRACT
HTML
IEEE Xplore Subscribers
Alessandro Aldini, Universit? di Urbino "Carlo Bo", Italy
Marco Bernardo, Universit? di Urbino "Carlo Bo", Italy
pp. 336-337
PURCHASE ARTICLE: $0
 ABSTRACT
HTML
IEEE Xplore Subscribers
Gianfranco Ciardo, University of California, Riverside
Andrew S. Miner, Iowa State University
pp. 338-339
PURCHASE ARTICLE: $0
 ABSTRACT
HTML
IEEE Xplore Subscribers
Moreno Marzolla, Universit? Ca' Foscari di Venezia, Italy
Simonetta Balsamo, Universit? Ca' Foscari di Venezia, Italy
pp. 340-341
PURCHASE ARTICLE: $0
 ABSTRACT
HTML
IEEE Xplore Subscribers
Vittorio Cortellessa, Universita' dell'Aquila, Italy
Michele Gentile, Universita' dell'Aquila, Italy
Marco Pizzuti, Universita' dell'Aquila, Italy
pp. 342-343
PURCHASE ARTICLE: $0
 ABSTRACT
HTML
IEEE Xplore Subscribers
pp. 344-345
PURCHASE ARTICLE: $0
 ABSTRACT
HTML
IEEE Xplore Subscribers
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions