Model checking performability properties

No abstract is available for this paper.

• Publication year

  2002

• Venue

  Proceedings : International Conference on Dependable Systems and Networks

• Publication date

  2002-06-23

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/DSN.2002.1028891
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Model Checking

  2018cited by this paper
• Performability Modelling : Techniques and Tools

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

  2000cited by this paper
• Occupation times in markov processes

  2000influential reference
• Performance analysis of communication systems - modelling with non-Markovian stochastic Petri nets

  2000cited by this paper
• Measure-adaptive state-space construction

  2000cited by this paper
• A fast algorithm for the transient reward distribution in continuous-time Markov chains

  2000influential reference
• Model Checking Continuous-Time Markov Chains by Transient Analysis

  2000cited by this paper
• On the use of model checking techniques for dependability evaluation

  2000cited by this paper
• Mobile Radio Networks

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

  1999cited by this paper
• State-space support for path-based reward variables

  1998cited by this paper
• Verifying Continuous Time Markov Chains

  1996cited by this paper
• FLUID STOCHASTIC PETRI NETS: THEORY, APPLICATIONS, AND SOLUTION

  1996cited by this paper
• Markov regenerative SPN with non-overlapping activity cycles

  1995cited by this paper
• Performability: A Retrospective and Some Pointers to the Future

  1992influential reference
• SPNP: stochastic Petri net package

  1989influential reference
• A Measure of Guaranteed Availability and its Numerical Evaluation

  1988cited by this paper
• Analysis of a composite performance reliability measure for fault-tolerant systems

  1987cited by this paper
• Automatic verification of finite-state concurrent systems using temporal logic specifications

  1986cited by this paper
• The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes

  1984cited by this paper
• Closed-Form Solutions of Performability

  1982influential reference
• On Evaluating the Performability of Degradable Computing Systems

  1980cited by this paper
• Markoff chains as an aid in the study of Markoff processes

  1953cited by this paper

• Formal Analysis of Metastable Failures in Software Systems

  2025cites this paper
• Probabilistic Model Checking: Applications and Trends

  2025cites this paper
• Steady-State Energy Consumption Evaluation in BaseBand Units Pool in Cloud Radio Access Network

  2024influential citation
• Probabilistic Verification with MRMC 2 . 1 . Models and Logics

  2019cites this paper
• Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings

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

  2018cites this paper
• An Improved Implementation of Discretization Algorithm for Markov Reward Models

  2018influential citation
• Steady-State Performability Analysis of Call Admission Control in Cellular Mobile Networks

  2018cites this paper
• Petri-net-based 2D design of DNA walker circuits

  2018influential citation
• New Trends in Model and Data Engineering

  2018cites this paper
• Bisimulations, logics, and trace distributions for stochastic systems with rewards

  2018cites this paper
• Continuous-Time Markov Decisions based on Partial Exploration

  2018cites this paper
• Simulative analysis of coloured extended stochastic Petri nets

  2017cites this paper
• Performance Analysis of Multi-services Call Admission Control in Cellular Network Using Probabilistic Model Checking

  2017cites this paper
• Reliable systems: fault tree analysis via Markov reward automata

  2017cites this paper
• Multiphase until formulas over Markov reward models: An algebraic approach

  2016cites this paper
• Spielbasierte Abstraktion von Markow-Automaten

  2016cites this paper
• Early Dependability Analysis of FPGA-Based Space Applications Using Formal Verification

  2016cites this paper
• Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking

  2015cites this paper
• Applications of an expressive statistical model checking approach to the analysis of genetic circuits

  2015cites this paper
• Modelling and Analysis of Markov Reward Automata

  2014cites this paper
• Extending Markov Automata with State and Action Rewards

  2014cites this paper
• Quantitative verification of real-time properties with application to medical devices

  2014cites this paper
• Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications

  2014cites this paper
• Symbolic on-the-fly analysis of stochastic Petri nets

  2014cites this paper
• Automated Technology for Verification and Analysis

  2014influential citation
• Model Repair for Markov Decision Processes

  2013cites this paper
• Verification of linear duration properties over continuous-time markov chains

  2013cites this paper
• Verification of Linear Duration Properties over Continuous Time

  2013cites this paper
• Expressing and Computing Passage Time Measures of GSPN Models with HASL

  2013cites this paper
• Verification of linear duration properties over continuous-time markov chains

  2012cites this paper
• Symbolic Model Checking of Stochastic Reward Nets

  2012cites this paper
• Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics

  2012cites this paper
• Non-Deterministic Generalised Stochastic Petri Nets Modelling and Analysis

  2012influential citation
• MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly

  2011influential citation
• Lazy forward-chaining methods for probabilistic model-checking

  2011cites this paper
• Quantitative verification for response times in composite Web service model

  2011cites this paper
• Synthesis for PCTL in Parametric Markov Decision Processes

  2011cites this paper
• HASL: an expressive language for statistical verification of stochastic models

  2011cites this paper
• Query-based verification of qualitative trends and oscillations in biochemical systems

  2010cites this paper
• Performability assessment by model checking of Markov reward models

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

  2010cites this paper
• A Generalized Model with Spatial Resources Labels

  2010cites this paper
• Query-basedverificationofqualitativetrendsandoscillationsin biochemicalsystems

  2010cites this paper
• Model-based energy analysis of battery powered systems

  2010cites this paper
• CSL LHA : an Expressive Language for Statistical Verification of Stochastic Models ∗

  2010cites this paper
• Reduction Criteria for Probabilistic Models with Spatial Restrictions on States

  2010cites this paper
• Model Checking Timed and Stochastic Properties with CSL^{TA}

  2009cites this paper
• The Ins and Outs of the Probabilistic Model Checker MRMC

  2009cites this paper
• Model checking Markov chains : techniques and tools

  2008cites this paper
• The Performability Tool P'ility

  2008cites this paper
• Model checking of performance measures using bounding aggregations

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

  2008cites this paper
• CSRL model checking with closed-form bounding distributions

  2008influential citation
• Model checking structured infinite Markov chains

  2008cites this paper
• A comparison of tools

  2007cites this paper
• Stochastic Model Checking

  2007cites this paper
• Probabilistic model checking : a comparison of tools

  2007cites this paper
• Probabilistic Model-Checking Support for FMEA

  2007cites this paper
• A framework to design and solve Markov Decision Well-formed Net models

  2007cites this paper
• Computing Battery Lifetime Distributions

  2007cites this paper
• A framework to design and solve Markov Decision Well-formed Net models

  2007cites this paper
• Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking

  2007cites this paper
• CSL^TA: an Expressive Logic for Continuous-Time Markov Chains

  2007cites this paper
• Performance Trees: Expressiveness and Quantitative Semantics

  2007cites this paper
• Model checking algorithms for Markov reward models

  2006cites this paper
• Five Performability Algorithms. A Comparison

  2006cites this paper
• Expanding the Boundaries of Performance Requirement Representation with Performance Trees

  2006cites this paper
• A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks

  2006influential citation
• Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions

  2006cites this paper
• Evaluation of Battery Lifetimes using Inhomogeneous Markov Reward Models

  2006cites this paper
• Model checking meets performance evaluation

  2005cites this paper
• Process algebras for quantitative analysis

  2005influential citation
• Approximate reasoning for real-time probabilistic processes

  2005cites this paper
• A Markov reward model checker

  2005influential citation
• Improving Stochastic Model Checking with Stochastic Bounds

  2005cites this paper
• Model checking Markov reward models with impulse rewards

  2005influential citation
• Beyond Model-Checking CSL for QBDs : Resets, Batches and Rewards

  2005cites this paper
• Stochastic Model Checking with Stochastic Comparison

  2005cites this paper
• Deliverable Title : Modelling and Performance Evaluation for Quality of Service in Next Generation Internet

  2005cites this paper
• Cabernet Vision of Research and Technology Development in Distributed and Dependable Systems

  2004cites this paper
• Specification and verification of systems using model checking and Markov reward models

  2004cites this paper
• Process algebra model of Ada protected objects

  2004cites this paper
• A & T: Stochastic Analysis (v1) Second Year Report

  2004cites this paper
• Conservative extensions of regular languages

  2004cites this paper
• Formal Modeling and Analysis of Timed Systems

  2003influential citation
• Implementation of symbolic model checking for probabilistic systems

  2003cites this paper
• Discrete-Time Rewards Model-Checked

  2003cites this paper
• ACP model of Java multithreading

  2003cites this paper
• VERIFICATION OF SERVICE LEVEL AGREEMENTS WITH MARKOV REWARD MODELS

  2003cites this paper
• Model Checking pathCSL

  2003cites this paper
• Automated Performance and Dependability Evaluation Using Model Checking

  2002influential citation
• Model checking embedded system designs

  2002cites this paper
• IMPLEMENTATION OF SYMBOLIC MODEL CHECKING FOR

  2002cites this paper
• Verification of Service Level Agreements with Markov Reward Models

  year unknowncites this paper
• Progress Report Reference Period from 1 Ametist Deliverable 0.1.2 (draft)

  year unknowncites this paper
• A Verification Grid for Enhanced Model Checking

  year unknowncites this paper