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
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
E.Bachmat E. , E. Bachmat
pp. 105-113
Markovian Models
G. Horvath , Technical University of Budapest
M. Telek , Technical University of Budapest
P. Buchholz , Universitat Dortmund
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
Kousha Etessami , University of Edinburgh
pp. 155-165
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
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
Gul Agha , 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
G Rajeshwari , Infosys Technologies Ltd
Santonu Sarkar , Infosys Technologies Ltd
pp. 249-250
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
Marco Gribaudo , Univ. di Torino, Italy
Daniele Codetta-Raiteri , Univ. di Torino, Italy
Giuliana Franceschinis , Univ. del Piemonte Orientale, Italy
pp. 257-258
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
Author Index (PDF)
pp. 261
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool