Verification of Linear Duration Properties over Continuous−Time Markov Chains

Verification of Linear Duration Properties over Continuous−Time Markov Chains

Show other versions (1)

Abstract. Stochastic modeling and algorithmic verification techniques have been proved useful in analyzing and detecting unusual trends in performance and energy usage of systems such as power management controllers and wireless sensor devices. Many important properties are dependent on the cumulate...

Deskribapen osoa

Xehetasun bibliografikoak
Egile Nagusiak:	Chen, T, Diciolla, M, Kwiatkowska, M, Mereacre, A
Formatua:	Conference item
Argitaratua:	2012

Antzeko izenburuak

Verification of Linear Duration Properties over Continuous Time Markov Chains
nork: Chen, T, et al.
Argitaratua: (2012)

Time−Bounded Verification of CTMCs Against Real−Time Specifications
nork: Chen, T, et al.
Argitaratua: (2011)

Quantitative Verification of Implantable Cardiac Pacemakers
nork: Chen, T, et al.
Argitaratua: (2015)

A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers
nork: Chen, T, et al.
Argitaratua: (2013)

Synthesising Optimal Timing Delays for Timed I/O Automata
nork: Diciolla, M, et al.
Argitaratua: (2014)

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
nork: Taolue Chen, et al.
Argitaratua: (2011-03-01)

Quantitative verification of real-time properties with application to medical devices
nork: Marco Diciolla, M, et al.
Argitaratua: (2014)

Lumpability for uncertain continuous-time Markov chains
nork: Cardelli, L, et al.
Argitaratua: (2021)

Matrix Analysis for Continuous-Time Markov Chains
nork: Le Hung V., et al.
Argitaratua: (2021-12-01)

Algorithmic minimization of uncertain continuous-time Markov chains
nork: Cardelli, L, et al.
Argitaratua: (2023)

Data-efficient Bayesian verification of parametric Markov chains
nork: Polgreen, E, et al.
Argitaratua: (2016)

Adaptive formal approximations of Markov chains
nork: Abate, A, et al.
Argitaratua: (2021)

Uniqueness criteria for continuous-time Markov chains with general transition structures
nork: Chen, A, et al.
Argitaratua: (2005)

Importance Sampling for Model Checking of Continuous Time Markov Chains
nork: Barbot, B, et al.
Argitaratua: (2015)

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata
nork: Kwiatkowska, M, et al.
Argitaratua: (2017)

Quantitative model-checking of controlled discrete-time Markov processes
nork: Tkachev, I, et al.
Argitaratua: (2016)

Safety Verification of Continuous-Space Pure Jump Markov Processes
nork: Esmaeil Zadeh Soudjani, S, et al.
Argitaratua: (2016)

Modeling Emergency Traffic Using a Continuous-Time Markov Chain
nork: Ahmad Hani El Fawal, et al.
Argitaratua: (2024-10-01)

Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains
nork: Hahn, E, et al.
Argitaratua: (2009)

On State Occupancies, First Passage Times and Duration in Non-Homogeneous Semi-Markov Chains
nork: Andreas C. Georgiou, et al.
Argitaratua: (2021-07-01)

Two Approaches to the Construction of Perturbation Bounds for Continuous-Time Markov Chains
nork: Alexander Zeifman, et al.
Argitaratua: (2020-02-01)

Interactive verification of Markov chains: Two distributed protocol case studies
nork: Johannes Hölzl, et al.
Argitaratua: (2012-12-01)

Using a stochastic continuous-time Markov chain model to examine alternative timing and duration of the COVID-19 lockdown in Kuwait: what can be done now?
nork: Mustafa Al-Zoughool, et al.
Argitaratua: (2022-01-01)

Generalization bounds of ERM-based learning processes for continuous-time Markov chains
nork: Zhang, Chao, et al.
Argitaratua: (2013)

Adaptive Continuous time Markov Chain Approximation Model to General Jump-Diffusions
nork: Cerrato, Mario, et al.
Argitaratua: (2011)

The Arsenal of Perturbation Bounds for Finite Continuous-Time Markov Chains: A Perspective
nork: Alexander Y. Mitrophanov
Argitaratua: (2024-05-01)

A Binary-State Continuous-Time Markov Chain Model for Offshoring and Reshoring
nork: Chiara Brambilla, et al.
Argitaratua: (2024-05-01)

A continuous-time Markov chain model of fibrosis progression in NAFLD and NASH
nork: Lyndsey F. Meyer, et al.
Argitaratua: (2023-05-01)

On three methods for bounding the rate of convergence for some continuous–time Markov chains
nork: Zeifman Alexander, et al.
Argitaratua: (2020-06-01)

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks
nork: Abate, A, et al.
Argitaratua: (2015)

Continuously variable duration hidden Markov models for automatic speech recognition /
nork: 355639 Levinson, S. E.

ADM-CLE approach for detecting slow variables in continuous time Markov chains and dynamic data
nork: Cucuringu, M, et al.
Argitaratua: (2017)

ADM-CLE approach for detecting slow variables in continuous time Markov chains and dynamic data
nork: Cucuringu, M, et al.
Argitaratua: (2015)

Homogeneous row-continuous bivariate Markov chains with boundaries
Argitaratua: (2002)

CORRELATION FUNCTIONS FOR LINEAR ADDITIVE MARKOV CHAINS OF HIGHER ORDERS
nork: V. E. Vekslerchik, et al.
Argitaratua: (2019-03-01)

Almost-linear-time algorithms for Markov chains and new spectral primitives for directed graphs
nork: Peng, Richard, et al.
Argitaratua: (2018)

Stochastic differential equations to model influenza transmission with continuous and discrete-time Markov chains
nork: Kazi Mehedi Mohammad, et al.
Argitaratua: (2025-01-01)

Reliability Analysis of the Reconfigurable Integrated Modular Avionics Using the Continuous-Time Markov Chains
nork: Changxiao Zhao, et al.
Argitaratua: (2018-01-01)

Estimation–Calibration of Continuous-Time Non-Homogeneous Markov Chains with Finite State Space
nork: Manuel L. Esquível, et al.
Argitaratua: (2024-02-01)

Comparison of methods for calculating conditional expectations of sufficient statistics for continuous time Markov chains
nork: Tataru Paula, et al.
Argitaratua: (2011-12-01)