Performance Trees: Expressiveness and Quantitative Semantics

No abstract is available for this paper.

• Publication year

  2007

• Venue

  International Conference on Quantitative Evaluation of Systems

• Publication date

  2007-09-17

• Fields of study

  Medicine, Computer Science

• Identifiers
  DOI 10.1109/QEST.2007.9
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A trace-based visual inspection technique to detect errors in simulation models

  2007cited by this paper
• Traviando - Debugging Simulation Traces with Message Sequence Charts

  2006cited by this paper
• Distributed computation of transient state distributions and passage time quantiles in large semi-Markov models

  2006cited by this paper
• Performance Trees: A New Approach to Quantitative Performance Specification

  2006influential reference
• Trace based analysis of process interaction models

  2005cited by this paper
• Visualizing the Dynamic Behavior of ProC/B Models

  2005cited by this paper
• A Markov reward model checker

  2005cited by this paper
• Debugging simulation models

  2005cited by this paper
• RT-MaC: runtime monitoring and checking of quantitative and probabilistic properties

  2005cited by this paper
• The Mobius modeling environment: recent developments

  2004cited by this paper
• Probabilistic symbolic model checking with PRISM: a hybrid approach

  2004cited by this paper
• Hypergraph-based parallel computation of passage time densities in large semi-Markov models

  2004cited by this paper
• Model checking action- and state-labelled Markov chains

  2004cited by this paper
• Cycle detection using a stack

  2004influential reference
• Uniformization and hypergraph partitioning for the distributed computation of response time densities in very large Markov models

  2004cited by this paper
• The ipc/HYDRA tool chain for the analysis of PEPA models

  2004cited by this paper
• Efficient approximation of response time densities and quantiles in stochastic models

  2004cited by this paper
• A tool for model-checking Markov chains

  2003cited by this paper
• Distributed computation of passage time quantiles and transient state distributions in large semi-Markov models

  2003cited by this paper
• Model-checking large structured Markov chains

  2003cited by this paper
• HYDRA: HYpergraph-Based Distributed Response-Time Analyzer

  2003cited by this paper
• Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic

  2003cited by this paper
• Extracting passage times from PEPA models with the HYDRA tool: a case study

  2003cited by this paper
• The Möbius Framework and Its Implementation

  2002cited by this paper
• Interactive Markov Chains

  2002cited by this paper
• The ProC/B Toolset for the Modelling and Analysis of Process Chains

  2002cited by this paper
• Model-Checking Algorithms for Continuous-Time Markov Chains

  2002cited by this paper
• Model checking performability properties

  2002cited by this paper
• Faster and Symbolic CTMC Model Checking

  2001cited by this paper
• The Mobius modeling tool

  2001cited by this paper
• Beyond Memoryless Distributions: Model Checking Semi-Markov Chains

  2001cited by this paper
• On the Logical Characterisation of Performability Properties

  2000cited by this paper
• Reliability and Performability Modeling Using SHARPE 2000

  2000cited by this paper
• Model Checking Continuous-Time Markov Chains by Transient Analysis

  2000cited by this paper
• Model-checking continuous-time Markov chains

  2000cited by this paper
• Towards Model Checking Stochastic Process Algebra

  2000cited by this paper
• Approximate Symbolic Model Checking of Continuous-Time Markov Chains

  1999cited by this paper
• Tips for successful practice of simulation

  1999cited by this paper
• A Toolbox for Functional and Quantitative Analysis of DEDS

  1998cited by this paper
• On generating a hierarchy for GSPN analysis

  1998cited by this paper
• Probabilistic Modelling: Queueing networks

  1998cited by this paper
• Simulation with Arena

  1998cited by this paper
• Generalised Markovian analysis of timed transition systems

  1996cited by this paper
• Petri Net Based Design and Analysis of Reactive Systems

  1996cited by this paper
• Verifying Continuous Time Markov Chains

  1996cited by this paper
• A compositional approach to performance modelling

  1996cited by this paper
• The Fourier-series method for inverting transforms of probability distributions

  1992cited by this paper
• Performance modelling of communication networks and computer architectures

  1992cited by this paper
• Performance Petri net analysis of communications protocol software by delay-equivalent aggregation

  1991cited by this paper
• SPNP: stochastic Petri net package

  1989cited by this paper
• A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

  1984cited by this paper
• Simulation Modeling and Analysis

  1982cited by this paper
• The Complexity of Finding Cycles in Periodic Functions

  1982cited by this paper
• Markov Renewal Processes with Finitely Many States

  1961cited by this paper
• Markov renewal processes: Definitions and preliminary properties

  1961cited by this paper
• Dynamic Programming

  1957cited by this paper

• Model execution tracing: a systematic mapping study

  2019influential citation
• Action and State Based Computation Tree Measurement Language and Algorithms

  2018cites this paper
• Computation tree measurement language (CTML)

  2018cites this paper
• Quantitative analysis of the release order of defensive mechanisms

  2014cites this paper
• Performability Measure Specification: Combining CSRL and MSL

  2011influential citation
• First Passage Time Computation in Tagged GSPNs with Queue Places

  2011cites this paper
• A Formal Language toward the Unification of Model Checking and Performance Evaluation

  2010cites this paper
• Tagged Generalized Stochastic Petri Nets

  2009cites this paper
• PIPE2: a tool for the performance evaluation of generalised stochastic Petri Nets

  2009cites this paper
• Natural Language Specification of Performance Trees

  2008cites this paper
• Extracting Response Times from Fluid Analysis of Performance Models

  2008cites this paper
• Performance Trees: Implementation And Distributed Evaluation

  2008cites this paper
• SERVICE LEVEL AGREEMENT SPECIFICATION, COMPLIANCE PREDICTION AND MONITORING WITH PERFORMANCE TREES

  2008cites this paper
• A Parallel and Distributed Analysis Pipeline for Performance Tree Evaluation

  2008cites this paper