• Q
  • QEST
  • 2007
  • Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)
Advanced Search 
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)
Edinburgh, Scotland, UK
September 17-September 19
ISBN: 0-7695-2883-X
Table of Contents
Introduction
Invited Talk
Session 1: Networking
Session 2: Specification Formalisms
Susanna Donatelli, Universita di Torino, Italy
Serge Haddad, Universite Paris-Dauphine, France
Jeremy Sproston, Universita di Torino, Italy
pp. 31-40
Tamas Suto, Imperial College London, UK
Jeremy T. Bradley, Imperial College London, UK
William J. Knottenbelt, Imperial College London, UK
pp. 41-50
Harini Kulatunga, Imperial College London, UK
Ashok Argent-Katwala, Imperial College London, UK
William Knottenbelt, 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
Connie U. Smith, Performance Engineering Services, USA
Catalina M. Llado, Universitat de les Illes Balears, Spain
Ramon Puigjaner, Universitat de les Illes Balears, Spain
Lloyd G. Williams, PerX, USA
pp. 91-100
Daniel Ludtke, Technische Universitat Berlin, Germany
Dietmar Tutsch, Technische Universitat Berlin, Germany
Matthias Kuhm, Technische Universitat Berlin, Germany
pp. 111-112
Jean-Marc Vincent, LIG Laboratory, Mescal Projet, France
Jerome Vienne, LIG Laboratory, Mescal Projet, France
pp. 113-114
Alastair F. Donaldson, Codeplay Software Ltd., UK
Alice Miller, University of Glasgow, UK
David Parker, Oxford University, UK
pp. 115-116
Invited Talk
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
Michael G. McQuinn, University of Illinois at Urbana-Champaign, USA
William H. Sanders, University of Illinois at Urbana-Champaign, USA
pp. 151-160
Tod Courtney, University of Illinois at Urbana-Champaign, USA
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
William H. Sanders, University of Illinois at Urbana-Champaign, USA
Patrick Webster, University of Illinois at Urbana-Champaign, USA
pp. 161-162
Leonardo Brenner, LIG-ENSIMAG-ZIRST
Paulo Fernandes, PUCRS, Brazil
Brigitte Plateau, LIG-ENSIMAG-ZIRST
Ihab Sbeity, LIG-ENSIMAG-ZIRST
pp. 163-164
M. Beccuti, Univ. del Piemonte Orientale, Italy
D. Codetta-Raiteri, Univ. del Piemonte Orientale, Italy
G. Franceschinis, Univ. del Piemonte Orientale, Italy
Serge Haddad, Univ. de Paris Dauphine, France
pp. 165-166
Session 7: Process Algebra
Gethin Norman, Oxford University, England
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
Maria Carla Palmeri, Universita di Firenze, Italy
Rocco De Nicola, Universita di Firenze, Italy
Mieke Massink, CNR-ISTI, Italy
pp. 189-200
Session 8: Performance Models
Tariq Omari, Carleton University, Canada
Salem Derisavi, Carleton University, Canada
Greg Franks, Carleton University, Canada
Murray Woodside, Carleton University, Canada
pp. 201-210
Jean-Michel Fourneau, INRIA project MESCAL, France; Universite Versailles St Quentin, France
Nihal Pekergin, Universite Paris 1, France; Universite Versailles St Quentin, France
Sana Younes, 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
Lubos Brim, 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
Luca de Alfaro, University of California, Santa Cruz, USA
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
B.D. Theelen, Eindhoven University of Technology, The Netherlands
pp. 269-270
Benjamin Gorry, Heriot-Watt University, Scotland
Andrew Ireland, Heriot-Watt University, Scotland
Peter King, Heriot-Watt University, Scotland
pp. 271-272
H. Wen, IBM T.J. Watson Research Center, USA
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
G. Cong, IBM T.J. Watson Research Center, USA
D. Klepacki, IBM T.J. Watson Research Center, USA
pp. 273-274
Session 11: Performance Analysis 2
Chaitanya Garikiparthi, University of Missouri-Kansas City, USA
Appie van de Liefvoort, University of Missouri-Kansas City, USA
Kenneth Mitchell, 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
Usage of this product signifies your acceptance of the Terms of Use.