• Q
  • QEST
  • 2005
  • Second International Conference on the Quantitative Evaluation of Systems (QEST'05)
Advanced Search 
Second International Conference on the Quantitative Evaluation of Systems (QEST'05)
Torino, Italy
September 19-September 22
ISBN: 0-7695-2427-3
Table of Contents
Introduction
pp. xiv,xv,xvi,xvii,xviii,xix
Papers
Invited Talk (Pierpaolo Degano)
Michele Curti, University of Pisa, Italy
Pierpaolo Degano, University of Pisa, Italy
Davide Prandi, University of Trento
Corrado Priami, University of Trento
Paola Quaglia, University of Trento
Linda Brodo, University of Sassari
pp. 2-12
Petri Nets and Process Algebras
S. Baarir, LIP6, Universite Paris, France
C. Dutheillet, LIP6, Universite Paris, France
S. Haddad, LAMSADE, Universite Paris 9 , France
J.M. Ilie, LIP6 and IUT Paris5, France
pp. 23-32
Bisimulation and Approximations
Alexandre Bouchard-Cote, McGill University Montreal, Quebec, Canada
Norm Ferns, McGill University Montreal, Quebec, Canada
Prakash Panangaden,, McGill University Montreal, Quebec, Canada
Doina Precup, McGill University Montreal, Quebec, Canada
pp. 54-62
Invited Talk (Leana Golubchik)
Alix L.H. Chow, Univ. of Southern California
Leana Golubchik, CS and EE-Systems Depts, IMSC, ISI Univ. of Southern California
John C.S. Lui, Chinese Univ. of Hong Kong
pp. 63-73
Workload Characterization/Measurements
Murray Woodside, Carleton University, Ottawa, Canada
Tao Zheng, Carleton University, Ottawa, Canada
Marin Litoiu, IBM Toronto Lab Canada
pp. 74-84
Performability
Gribaudo Marco, Universita di Torino, Italy
Moscato Francesco, Universita di Napoli, Italy
Nicola Mazzocca, Universita di Napoli, Italy
Valeria Vittorini, Universita di Napoli, Italy
pp. 85-94
Eleftheria Athanasopoulou, University of Illinois at Urbana-Champaign
Purvesh Thakker, University of Illinois at Urbana-Champaign
William H. Sanders, University of Illinois at Urbana-Champaign
pp. 95-104
Markovian Models
Peter Bazan, Friedrich-Alexander University Erlangen-Nurnberg, Germany
Reinhard German, Friedrich-Alexander University Erlangen-Nurnberg, Germany
pp. 134-144
Model Checking
Invited Talk (Thomas Sterling)
Thomas Sterling, California Institute of Technology
pp. 166-167
Architecture Measurements/Modeling I
Kamen Yotov, Cornell University, Ithaca, NY
Keshav Pingali, Cornell University, Ithaca, NY
Paul Stodghill, Cornell University, Ithaca, NY
pp. 168-178
Architecture Measurements/Modeling II
Qi Zhang, College of William and Mary Williamsburg, VA
Alma Riska, Seagate Research, PA
Erik Riedel, Seagate Research, Pittsburgh, P
pp. 179-188
S. Govind, Indian Institute of Science Bangalore, India
R. Govindarajan, Indian Institute of Science Bangalore, India
pp. 189-198
Markov Chains/Importance Sampling
Victor F. Nicola, University of Twente, Enschede, The Netherlands
Tatiana S. Zaburnenko, University of Twente, Enschede, The Netherlands
pp. 220-229
Tool Presentations
Lorenzo Falai, University of Florence, Italy
Andrea Bondavalli, University of Florence, Italy
Felicita Di Giandomenico, CNR, ISTI Institute, Pisa, Italy
pp. 241-242
Joost-Pieter Katoen, RWTH Aachen, , Germany
Maneesh Khattri, University of Twente, Netherlands
Ivan S. Zapreev, University of Twente, Netherlands
pp. 243-244
YoungMin Kwon, University of Illinois at Urbana-Champaign
Gul Agha, University of Illinois at Urbana-Champaign
pp. 245-246
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. 251-252
Max Walter, Universitat Munchen, Lehrstuhl fur Rechnertechnik, Germany
Carsten Trinitis, Universitat Munchen, Lehrstuhl fur Rechnertechnik, Germany
pp. 253-254
Marisa Llorens, Universidad Politecnica de Valencia (UPV), Spain
Javier Oliver, Universidad Politecnica de Valencia (UPV), Spain
pp. 255-256
Tod Courtney, 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
Michael McQuinn, University of Illinois at Urbana-Champaign
Eric Rozier, University of Illinois at Urbana-Champaign
William H. Sanders, University of Illinois at Urbana-Champaign
pp. 259-260
Author Index
Usage of this product signifies your acceptance of the Terms of Use.