The Community for Technology Leaders
RSS Icon
Subscribe
Proceedings. Second International Conference on the Quantitative Evaluation of Systems (2005)
Torino
Sept. 19, 2005 to Sept. 22, 2005
ISBN: 0-7695-2427-3
TABLE OF CONTENTS
Introduction
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
J. Hillston , University of Edinburgh, UK
pp. 33-43
Bisimulation and Approximations
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)
Leana Golubchik , CS and EE-Systems Depts, IMSC, ISI Univ. of Southern California
Alix L.H. Chow , Univ. of Southern California
pp. 63-73
Workload Characterization/Measurements
Tao Zheng , Carleton University, Ottawa, Canada
Marin Litoiu , IBM Toronto Lab Canada
pp. 74-84
Performability
Moscato Francesco , Universita di Napoli, Italy
Nicola Mazzocca , Universita di Napoli, Italy
Gribaudo Marco , Universita di Torino, 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
E.Bachmat E. , E. Bachmat
pp. 105-113
Markovian Models
M. Telek , Technical University of Budapest
G. Horvath , Technical University of Budapest
pp. 124-133
Peter Bazan , Friedrich-Alexander University Erlangen-Nurnberg, Germany
Reinhard German , Friedrich-Alexander University Erlangen-Nurnberg, Germany
pp. 134-144
Model Checking
Lucia Cloth , University of Twente
Boudewijn R. Haverkort , University of Twente
pp. 145-154
Mihalis Yannakakis , Columbia University
pp. 155-165
Invited Talk (Thomas Sterling)
Thomas Sterling , California Institute of Technology
pp. 166-167
Architecture Measurements/Modeling I
Keshav Pingali , Cornell University, Ithaca, NY
Kamen Yotov , Cornell University, Ithaca, NY
pp. 168-178
Architecture Measurements/Modeling II
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
Matthew Curtis-Maury , College of William and Mary, Williamsburg, VA
Tanping Wang, , College of William and Mary, Williamsburg, VA
pp. 199-209
Markov Chains/Importance Sampling
B. Van Houdt , University of Antwerp, Belgium
C. Blondia , University of Antwerp, Belgium
pp. 210-219
Victor F. Nicola , University of Twente, Enschede, The Netherlands
Tatiana S. Zaburnenko , University of Twente, Enschede, The Netherlands
pp. 220-229
Werner Sandmann , Universitat Bamberg Feldkirchenstr
pp. 230-240
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
pp. 245-246
Elena Gomez-Martinez , Universidad de Zaragoza, Spain
Jose Merseguer , Universidad de Zaragoza, Spain
pp. 247-248
Mahesh Viswanathan , University of Illinois at Urbana Champaign
Koushik Sen , 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
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
Author Index (PDF)
pp. 261
16 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool