default search action
QEST 2007: Edinburgh, Scotland, UK
- Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK. IEEE Computer Society 2007, ISBN 0-7695-2883-X
Invited Talk
- Jean-Yves Le Boudec, David D. McDonald, Jochen Mundinger:
A Generic Mean Field Convergence Result for Systems of Interacting Objects. 3-18
Networking
- Girish B. C., R. Govindarajan:
A Petri Net Model for Evaluating Packet Buffering Strategies in a Network Processor. 19-30
Specification Formalisms
- Susanna Donatelli, Serge Haddad, Jeremy Sproston:
CSLTA: an Expressive Logic for Continuous-Time Markov Chains. 31-40 - Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt:
Performance Trees: Expressiveness and Quantitative Semantics. 41-50 - Harini Kulatunga, Ashok Argent-Katwala, William J. Knottenbelt:
Cluster Grid based Response-time analysis module for the PIPE Tool. 51-52 - Mirco Tribastone:
The PEPA Plug-in Project. 53-54 - Allan Clark:
The ipclib PEPA Library. 55-56
Performance Analysis
- Luigi Sassoli, Enrico Vicario:
Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models. 59-68 - Takayuki Osogami:
Relations in the Central Limit Theorem Version of the Response Time Law. 69-78 - Jeroen Van Velthoven, Benny Van Houdt, Chris Blondia:
Simultaneous Transient Analysis of QBD Markov Chains for all Initial Configurations using a Level Based Recursion. 79-90 - Connie U. Smith, Catalina M. Lladó, Ramón Puigjaner, Lloyd G. Williams:
Interchange Formats for Performance Models: Experimentation and Ouput. 91-100
Automated Model Analysis
- Peter Kemper, Carsten Tepper:
Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior. 101-110 - Daniel Lüdtke, Dietmar Tutsch, Matthias Kühm:
Quantile Estimation for Performance Measures in Network Simulations with CINSim. 111-112 - Jean-Marc Vincent, Jérôme Vienne:
Psi2 a Software Tool for the Perfect Simulation of Finite Queueing Networks. 113-114 - Alastair F. Donaldson, Alice Miller
, David Parker
GRIP: Generic Representatives in PRISM. 115-116
Model Checking
- Lars Grunske
Probabilistic Model-Checking Support for FMEA. 119-128 - Björn Wachter, Lijun Zhang, Holger Hermanns
Probabilistic Model Checking Modulo Theories. 129-140
Symbolic Analysis of Markov Chains
- Salem Derisavi:
Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping. 141-150 - Michael G. McQuinn, Peter Kemper, William H. Sanders:
Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations. 151-160 - Tod Courtney, Shravan Gaonkar, Michael G. McQuinn, Eric Rozier, William H. Sanders, Patrick G. Webster:
Design of Experiments within the Mobius Modeling Environment. 161-162 - Leonardo Brenner, Paulo Fernandes, Brigitte Plateau, Ihab Sbeity:
PEPS2007 - Stochastic Automata Networks Software Tool. 163-164 - Marco Beccuti, Daniele Codetta Raiteri
A framework to design and solve Markov Decision Well-formed Net models. 165-166
Process Algebra
- Gethin Norman, Catuscia Palamidessi, David Parker
Model checking the probabilistic pi-calculus. 169-178 - Peng Wu, Catuscia Palamidessi, Huimin Lin:
Symbolic Bisimulations for Probabilistic Systems. 179-188 - Maria Carla Palmeri, Rocco De Nicola, Mieke Massink
Basic Observables for Probabilistic May Testing. 189-200
Performance Models
- Tariq Omari, Salem Derisavi, Greg Franks, C. Murray Woodside:
Performance Modeling of a Quorum Pattern in Layered Service Systems. 201-210 - Jean-Michel Fourneau, Nihal Pekergin, Sana Younès:
CUT : Combining stochastic ordering and censoring to bound steady-state rewards and first passage time. 211-212 - David Hickey:
Distritrack: Automated Average-Case Analysis. 213-214 - Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova:
ProbDiVinE: A Parallel Qualitative LTL Model Checker. 215-216 - Luca Cardelli:
Invited Talk: A Process Algebra Master Equation. 219-226
Stochastic Logic
- Christel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera
Stochastic Game Logic. 227-236 - Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay:
Qualitative Logics and Equivalences for Probabilistic Systems. 237-248
System Modelling
- Daniel A. Menascé, Vasudeva Akula:
A business-oriented load dispatching framework for online auction sites. 249-258 - David M. Nicol:
Analysis of Local Address Scanning by Puppetnets. 259-268 - Bart D. Theelen:
A Performance Analysis Tool for Scenario-Aware Streaming Applications. 269-270 - Benjamin Gorry, Andrew Ireland, Peter King:
PARTES: Performance Analysis of Real-Time Embedded Systems. 271-272 - Hui-Fang Wen, Simone Sbaraglia, Seetharami R. Seelam, I-Hsin Chung, Guojing Cong, David J. Klepacki:
A Productivity Centered Tools Framework for Application Performance Tuning. 273-274
Performance Analysis 2
- Chaitanya Garikiparthi, Appie van de Liefvoort, Kenneth Mitchell:
Sample Path Analysis of Busy Periods and Related First Passages of a Correlated MEP/MEP/1 System. 277-286 - Jean-Michel Fourneau:
Closed G-networks with Resets: product form solution. 287-296
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-15 01:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: