The Community for Technology Leaders
RSS Icon
Subscribe
Third International Conference on the Quantitative Evaluation of Systems (2006)
Riverside, CA
Sept. 11, 2006 to Sept. 14, 2006
ISBN: 0-7695-2665-9
TABLE OF CONTENTS
Introduction
pp. xv
Papers
pp. xv
Invited Talk
Joseph Y. Halpern , Cornell University, Ithaca, NY 14853, USA
pp. 3-8
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
Anne Remke , University of Twente
Boudewijn R. Haverkort , University of Twente
Lucia Cloth , University of Twente
pp. 63-72
Michele Garetto , Universita di Torino, Italy
Marco Gribaudo , Universita di Torino, Italy
pp. 73-82
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
Jose M. Martinez , University of Twente, the Netherlands
Boudewijn R. Haverkort , University of Twente, the Netherlands
pp. 133-134
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
Invited Talk
Pierre L'Ecuyer , Universite de Montreal, Canada
pp. 145-156
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
Invited Talk
Arif Merchant , Hewlett-Packard Laboratories, Palo Alto, CA
pp. 265-268
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
Krishnendu Chatterjee , UC Berkeley
Luca de Alfaro , UC Santa Cruz
Thomas A. Henzinger , EPFL and UC Berkeley
pp. 291-300
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
David Thornley , Imperial College London
Harf Zatschler , Imperial College London
pp. 343-352
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
Author Index (PDF)
pp. 395
403 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool