Subscribe
Quantitative Evaluation of Systems, International Conference on (2007)
Edinburgh, Scotland, UK
Sept. 17, 2007 to Sept. 19, 2007
ISBN: 0-7695-2883-X
TABLE OF CONTENTS
Introduction
Invited Talk
Session 1: Networking
Girish B.C. , Indian Institute of Science, India
R. Govindarajan , Indian Institute of Science, India
pp. 19-30
Session 2: Specification Formalisms
Serge Haddad , Universite Paris-Dauphine, France
Jeremy Sproston , Universita di Torino, Italy
pp. 31-40
Tamas Suto , Imperial College London, UK
William J. Knottenbelt , Imperial College London, UK
pp. 41-50
Ashok Argent-Katwala , Imperial College London, UK
Harini Kulatunga , Imperial College London, UK
pp. 51-52
Mirco Tribastone , The University of Edinburgh, UK
pp. 53-54
Allan Clark , University of Edinburgh, UK
pp. 55-56
Session 3: Performance Analysis
Session 4: Automated Model Analysis
Catalina M. Llado , Universitat de les Illes Balears, Spain
Ramon Puigjaner , Universitat de les Illes Balears, Spain
Connie U. Smith , Performance Engineering Services, USA
pp. 91-100
Peter Kemper , College of William and Mary, USA
Carsten Tepper , Universitat Dortmund, Germany
pp. 101-110
Daniel Ludtke , Technische Universitat Berlin, Germany
Matthias Kuhm , Technische Universitat Berlin, Germany
pp. 111-112
Alastair F. Donaldson , Codeplay Software Ltd., UK
Alice Miller , University of Glasgow, UK
David Parker , Oxford University, UK
pp. 115-116
Session 5: Model Checking
Lars Grunske , University of Queensland, Australia
Robert Colvin , University of Queensland, Australia
Kirsten Winter , University of Queensland, Australia
pp. 119-128
Bjorn Wachter , Saarland University, Germany
Lijun Zhang , Saarland University, Germany
Holger Hermanns , Saarland University, Germany
pp. 129-140
Session 6: Symbolic Analysis of Markov Chains
Shravan Gaonkar , University of Illinois at Urbana-Champaign, USA
Michael G. McQuinn , University of Illinois at Urbana-Champaign, USA
Eric Rozier , University of Illinois at Urbana-Champaign, USA
Tod Courtney , University of Illinois at Urbana-Champaign, USA
Patrick Webster , University of Illinois at Urbana-Champaign, USA
pp. 161-162
Paulo Fernandes , PUCRS, Brazil
Leonardo Brenner , LIG-ENSIMAG-ZIRST
Ihab Sbeity , LIG-ENSIMAG-ZIRST
pp. 163-164
D. Codetta-Raiteri , Univ. del Piemonte Orientale, Italy
M. Beccuti , Univ. del Piemonte Orientale, Italy
Serge Haddad , Univ. de Paris Dauphine, France
pp. 165-166
Session 7: Process Algebra
Catuscia Palamidessi , INRIA Futurs and LIX, Ecole Polytechnique, France
David Parker , Oxford University, England
Peng Wu , CNRS and LIX, Ecole Polytechnique, France
pp. 169-178
Peng Wu , CNRS and LIX, Ecole Polytechnqiue, France
Catuscia Palamidessi , INRIA Futurs and LIX, Ecole Polytechnique, France
Huimin Lin , Chinese Academy of Sciences, China
pp. 179-188
Rocco De Nicola , Universita di Firenze, Italy
Maria Carla Palmeri , Universita di Firenze, Italy
pp. 189-200
Session 8: Performance Models
Salem Derisavi , Carleton University, Canada
Greg Franks , Carleton University, Canada
Murray Woodside , Carleton University, Canada
pp. 201-210
Nihal Pekergin , Universite Paris 1, France; Universite Versailles St Quentin, France
Jean-Michel Fourneau , INRIA project MESCAL, France; Universite Versailles St Quentin, France
pp. 211-212
David Hickey , National University of Ireland, Cork, Ireland
pp. 213-214
Jiri Barnat , Masaryk University, Czech Republic
Ivana Cema , Masaryk University, Czech Republic
Milan Ceska , Masaryk University, Czech Republic
Jana Tumova , Masaryk University, Czech Republic
pp. 215-216
Session 9: Stochastic Logic
Christel Baier , Technische Universitat Dresden, Germany
Tomas Brazdil , Masaryk University, Czech Republic
Marcus Gr??er , Technische Universitat Dresden, Germany
Antonin Kucera , Masaryk University, Czech Republic
pp. 227-236
Krishnendu Chatterjee , University of California, Berkeley, USA
Marco Faella , Universita di Napoli "Federico II", Italy
Axel Legay , University of Liege, Belgium
pp. 237-248
Session 10: System Modelling
David M. Nicol , University of Illinois at Urbana-Champaign, USA
pp. 259-268
B.D. Theelen , Eindhoven University of Technology, The Netherlands
pp. 269-270
Andrew Ireland , Heriot-Watt University, Scotland
Benjamin Gorry , Heriot-Watt University, Scotland
pp. 271-272
S. Sbaraglia , IBM T.J. Watson Research Center, USA
S. Seelam , IBM T.J. Watson Research Center, USA
I. Chung , IBM T.J. Watson Research Center, USA
H. Wen , IBM T.J. Watson Research Center, USA
D. Klepacki , IBM T.J. Watson Research Center, USA
pp. 273-274
Session 11: Performance Analysis 2
Appie van de Liefvoort , University of Missouri-Kansas City, USA
Chaitanya Garikiparthi , University of Missouri-Kansas City, USA
pp. 277-286
Jean-Michel Foumeau , Universite de Versailles Saint-Quentin, France; Projet MESCAL INRIA, France
pp. 287-296
Author Index