Accepted tool papers
The following 15 tool papers have been accepted for the conference. The programme will follow.
-
Title: PARTES: Performance Analysis of Real-Time Embedded Systems
Authors: Benjamin Gorry, Andrew Ireland, Peter King
Emails: beng[at]macs.hw.ac.uk, air[at]macs.hw.ac.uk, pjbk[at]macs.hw.ac.uk -
Title: A Performance Analysis Tool for Scenario-Aware Streaming Applications
Authors: Bart Theelen
Emails: B.D.Theelen[at]tue.nl -
Title: The PEPA Plug-in Project
Authors: Micro Tribastone
Emails: mtribast[at]inf.ed.ac.uk -
Title: GRIP: Generic Representatives in PRISM
Authors: A.F. Donaldson, A. Miller, D. Parker
Emails: ally[at]dcs.gla.ac.uk, alice[at]dcs.gla.ac.uk, dxp[at]cs.bham.ac.uk -
Title: The ipclib PEPA Library
Authors: Allan Clark
Email: a.d.clark[at]sms.ed.ac.uk -
Title: Design of Experiments within the Möbius Modeling Environment
Authors: Tod Courtney, Shravan Gaonkar, Michael McQuinn, Eric Rozier, William Sanders, Patrick Webster
Emails: tod[at]crhc.uiuc.edu, gaonkar[at]crhc.uiuc.edu, mmcquinn[at]crhc.uiuc.edu, ewdr[at]crhc.uiuc.edu, whs[at]crhc.uiuc.edu, patrickwebster[at]gmail.com -
Title: ProbDiVinE: A Parallel Qualitative LTL Model Checker
Authors: Jiri Barnat, L. Brim, I. Cerna, M. Ceska, J. Tumova
Emails: xbarnat[at]fi.muni.cz, brim[at]fi.muni.cz, cerna[at]fi.muni.cz, xtumova[at]fi.muni.cz, xceska[at]fi.muni.cz -
Title: PEPS2007 - Stochastic Automata Networks Software Tool
Authors: L. Brenner, P. Fernandes, Brigitte Plateau, I. Sbeity
Emails: leonardo.brenner[at]imag.fr, paulo.fernandes[at]pucrs.br, brigitte.plateau[at]imag.fr, ihab.sbeity[at]imag.fr -
Title: Cluster Grid based Response-time analysis module for the PIPE tool
Authors: Harini Kulatunga, Ashok Argent-Katwala, William Knottenbelt
Emails: hkulatun[at]doc.ic.ac.uk, ashok[at]doc.ic.ac.uk, wjk[at]doc.ic.ac.uk -
Title: PSI2 a Software Tool for the Perfect Simulation of Finite Queueing Networks
Authors: Jean-Marc Vincent and Jerome Vienne
Emails: Jean-Marc.Vincent[at]imag.fr, Jerome.Vienne[at]imag.fr -
Title: A Productivity Centered Tools Framework for Application Performance Tuning
Authors: H. Wen, S. Sbaraglia, S. Seelam, I. Chung, G. Cong, D. Klepacki
Emails: hfwen[at]us.ibm.com, ssbarag[at]us.ibm.com, sseelam[at]us.ibm.com, ihchung[at]us.ibm.com, gcong[at]us.ibm.com, klepacki[at]us.ibm.com -
Title: Quantile Estimation for Performance Measures in Network Simulations with CINSim
Authors: Daniel Ludtke, Dietmar Tutsch, Matthias Kuhm
Emails: dluedtke[at]cs.tu-berlin.de, dietmart[at]cs.tu-berlin.de, kuehm[at]tkn.tu-berlin.de -
Title: CUT: Combining stochastic ordering and censoring to bound steady-state rewards and
first passage time
Authors: Jean-Michel Fourneau, Nihal Pekergin, Sana Younes
Emails: jmf[at]prism.uvsq.fr, nih[at]prism.uvsq.fr, sayo[at]prism.uvsq.fr -
Title: Distritrack: Automated Average-Case Analysis
Authors: David Hickey
Emails: d.hickey[at]cs.ucc.ie -
Title: A Framework to Design and Solve Markov Decision Well-formed Net Models
Authors: M. Beccuti, D. Codetta-Raiteri, G. Franceschinis, S. Haddad
Emails: beccuti[at]mfn.unipmn.it, raiteri[at]mfn.unipmn.it, giuliana[at]mfn.unipmn.it, haddad[at]lamsade.dauphine.fr
