• Q
  • QEST
  • 2006
  • Third International Conference on the Quantitative Evaluation of Systems - (QEST'06)
Advanced Search 
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06)
Riverside, California
September 11-September 14
ISBN: 0-7695-2665-9
Table of Contents
Introduction
Papers
Invited Talk
Session 1.1: Measurements
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
pp. 9-18
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
pp. 19-30
Session 1.2: Storage Systems
Jalil Boukhobza, Versailles Saint Quentin University, PRiSM
Claude Timsit, Versailles Saint Quentin University, PRiSM
pp. 31-40
Alma Riska, Seagate Research, Pittsburgh, PA
Erik Riedel, Seagate Research, Pittsburgh, PA
pp. 41-50
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
pp. 51-62
Session 1.3: Network Models
Roger Kalden, Ericsson Research, Aachen, Germany
Boudewijn R. Haverkort, University of Twente, The Netherlands
pp. 83-92
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
pp. 93-102
Greg Franks, Carleton University
Dorina Petriu, Carleton University
Murray Woodside, Carleton University
Jing Xu, Carleton University
Peter Tregunno, Alcatel
pp. 103-114
Session 1.4: Tools
Samuel Kounev, University of Cambridge, UK
Christofer Dutz, Darmstadt University of Technology, Germany
Alejandro Buchmann, Darmstadt University of Technology, Germany
pp. 115-116
Michael Knoke, Technische Universitat Berlin Institut f¨ur Technische Informatik und Mikroelektronik, Germany
Armin Zimmermann, University Potsdam, Postfach, Germany
pp. 117-118
Marco Bertoli, Politecnico di Milano - DEI, Milan, Italy
Giuliano Casale, Politecnico di Milano - DEI, Milan, Italy
Giuseppe Serazzi, Politecnico di Milano - DEI, Milan, Italy
pp. 119-120
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
pp. 121-122
Bernard Berthomieu, LAAS / CNRS, France
Francois Vernadat, LAAS / CNRS, France
pp. 123-124
UPPAAL 4.0 (Abstract)
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
pp. 125-126
L. Sassoli, Universita di Firenze, Italia
E. Vicario, Universita di Firenze, Italia
pp. 127-128
Thomas Herault, LRI - U. Paris-Sud, France
Richard Lassaigne, Equipe de Logique - U. Paris VII
Sylvain Peyronnet, LRDE/EPITA
pp. 129-130
Frank Ciesinski, Universitat Bonn, Institut fur Informatik I, Germany
Christel Baier, Universitat Bonn, Institut fur Informatik I, Germany
pp. 131-132
Peter Kemper, College of William and Mary Williamsburg, Virginia 23187-8795, USA
Carsten Tepper, Universitat Dortmund, Germany
pp. 135-136
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.
pp. 137-138
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
pp. 139-140
Session 2.1: Markov Decision Processes
Marta Kwiatkowska, University of Birmingham, UK
Gethin Norman, University of Birmingham, UK
David Parker, University of Birmingham, UK
pp. 157-166
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
pp. 167-178
Session 2.2: Model Checking
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
pp. 179-188
Mouad Ben Mamoun, Universite Mohammed V, Rabat, Maroc
Nihal Pekergin, Universite Paris 1, France
Sana Younes, PRiSM, Universite Versailles St Quentin, France
pp. 189-198
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
pp. 199-210
Session 2.3: Lumpability
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
pp. 211-220
Jasen Markovski, Technische Universiteit Eindhoven, Netherlands
Nikola Trcka, Technische Universiteit Eindhoven, Netherlands
pp. 221-232
Session 2.4: Markov Models
Peter Buchholz, Universitat Dortmund, Germany
Peter Kemper, College of William and Mary, Williamsburg, Virginia 23187-
pp. 233-242
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
pp. 243-252
Parosh Aziz Abdulla, Uppsala University, Sweden
Noomene Ben Henda, Uppsala University, Sweden
Richard Mayr, NC State University, USA.
Sven Sandberg, Uppsala University, Sweden
pp. 253-264
Session 3.1: Optimization in Networks
Hector Cancela, Universidad de la República, Uruguay
Pablo Rodríguez-Bocca, Universidad de la República, Uruguay
pp. 269-278
Yezekael Hayel, IRISMNRIA Rennes Campus de Beaulieu, France
Victor M. Ramos R., UAM-Iztapalapa, Iztapalapa, Mexico
Bruno Tuffin, IRISMNRIA Rennes Campus de Beaulieu, France
pp. 279-290
Session 3.2: Reachability
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
pp. 301-310
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
pp. 311-322
Session 3.3: Queuing
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
pp. 323-332
Giuliano Casale, Neptuny R&D,via Durando 10-G I-20158 Milan, Italy
pp. 333-342
Ho Woo Lee, Sungkyunkwan University, Korea
Jung Woo Baek, Sungkyunkwan University, Korea
pp. 353-364
Session 3.4: Server Systems
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
pp. 365-374
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
pp. 375-384
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
pp. 385-394
Author Index
Usage of this product signifies your acceptance of the Terms of Use.