Efficient CTMC Model Checking of Linear Real−Time Objectives

Efficient CTMC Model Checking of Linear Real−Time Objectives

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид:	Barbot, B, Chen, T, Han, T, Katoen, J, Mereacre, A
Формат:	Conference item
Хэвлэсэн:	2011

Ижил төстэй зүйлс

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
-н: Taolue Chen, зэрэг
Хэвлэсэн: (2011-03-01)

Quantitative model-checking of controlled discrete-time Markov processes
-н: Tkachev, I, зэрэг
Хэвлэсэн: (2016)

Location Aggregation of Spatial Population CTMC Models
-н: Luca Bortolussi, зэрэг
Хэвлэсэн: (2016-10-01)

CTMC : Construction technology & management centre
Хэвлэсэн: ([200)

An Analysis of CTMC Stochastic Models with Quarantine on the Spread of Tuberculosis Diseases
-н: Fatimatuzzahroh, зэрэг
Хэвлэсэн: (2021-05-01)

Distributed Cognitive Radio Spectrum Access with Imperfect Sensing Using CTMC
-н: K. Muthumeenakshi, зэрэг
Хэвлэсэн: (2013-05-01)

The Significance of Stochastic CTMC Over Deterministic Model in Understanding the Dynamics of Lymphatic Filariasis With Asymptomatic Carriers
-н: Mussa A. Stephano, зэрэг
Хэвлэсэн: (2024-01-01)

Approximate Model Checking of Stochastic Hybrid Systems
-н: Abate, A, зэрэг
Хэвлэсэн: (2010)

Approximate Model Checking of Stochastic Hybrid Systems
-н: Abate, A, зэрэг
Хэвлэсэн: (2010)

Importance Sampling for Model Checking of Continuous Time Markov Chains
-н: Barbot, B, зэрэг
Хэвлэсэн: (2015)

Model Checking Temporal Properties of Recursive Probabilistic Programs
-н: Tobias Winkler, зэрэг
Хэвлэсэн: (2023-12-01)

Building power consumption models from executable timed I/O automata specifications
-н: Kwiatkowska, M, зэрэг
Хэвлэсэн: (2016)

Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
-н: Tkachev, I, зэрэг
Хэвлэсэн: (2012)

Linear-time model checking branching processes
-н: Kiefer, SM, зэрэг
Хэвлэсэн: (2021)

SC-Lite: An Efficient Lightweight Model for Real-Time X-Ray Security Check
-н: Li Han, зэрэг
Хэвлэсэн: (2024-01-01)

Coupling and Importance Sampling for Statistical Model Checking
-н: Barbot, B, зэрэг
Хэвлэсэн: (2012)

On expressiveness and complexity in real-time model checking
-н: Bouyer, P, зэрэг
Хэвлэсэн: (2008)

Real-time model checking: Algorithms and complexity
-н: Worrell, J, зэрэг
Хэвлэсэн: (2008)

Échantillonnage préférentiel pour le model checking statistique
-н: Barbot, B, зэрэг
Хэвлэсэн: (2011)

Real-Time Model-Checking: Parameters everywhere
-н: Veronique Bruyere, зэрэг
Хэвлэсэн: (2007-02-01)

Time−Bounded Verification of CTMCs Against Real−Time Specifications
-н: Chen, T, зэрэг
Хэвлэсэн: (2011)

Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds
-н: Lars Kuhtz, зэрэг
Хэвлэсэн: (2012-10-01)

Verification of Linear Duration Properties over Continuous−Time Markov Chains
-н: Chen, T, зэрэг
Хэвлэсэн: (2012)

Automata‚ Model Checking and Synthesis for Linear Time Temporal Logics
-н: Hague, M
Хэвлэсэн: (2006)

Trace Checking with Real−Time Specifications
-н: Deutschmann, R, зэрэг
Хэвлэсэн: (2004)

Verification of Linear Duration Properties over Continuous Time Markov Chains
-н: Chen, T, зэрэг
Хэвлэсэн: (2012)

An Efficient Explicit-time Description Method for Timed Model Checking
-н: Hao Wang, зэрэг
Хэвлэсэн: (2009-12-01)

Linear prediction method for real-time object tracking /
-н: 403467 Yeoh, Phaik Yong, зэрэг
Хэвлэсэн: (2003)

Linear Completeness Thresholds for Bounded Model Checking.
-н: Kroening, D, зэрэг
Хэвлэсэн: (2011)

Analysis of Timed and Long-Run Objectives for Markov Automata
-н: Dennis Guck, зэрэг
Хэвлэсэн: (2014-09-01)

Checks of VNA linearity
-н: Rogers, Alan E.E.
Хэвлэсэн: (2024)

Accurate Real-TIme Object Tracking with Linear Prediction Method
-н: P. Y., Yeoh, зэрэг
Хэвлэсэн: (2003)

Accurate real - time object tracking with linear prediction method /
-н: 403467 Yeoh, Phaik Yong, зэрэг
Хэвлэсэн: (2003)

Datalog LITE: a deductive query language with linear time model checking
-н: Gottlob, G, зэрэг
Хэвлэсэн: (2002)

On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic
-н: Anton Romanovich Gnatenko, зэрэг
Хэвлэсэн: (2021-12-01)

Model checking Timed CSP
-н: Armstrong, P, зэрэг
Хэвлэсэн: (2012)

Model Checking Resiliency and Sustainability of In-Vehicle Network for Real-Time Authenticity
-н: Jin Hyun Kim, зэрэг
Хэвлэсэн: (2021-01-01)

Model Checking for Real-Time Attack Detection in Water Distribution Systems
-н: Francesco Mercaldo, зэрэг
Хэвлэсэн: (2022-03-01)

Algebraic model checking for discrete linear dynamical systems
-н: Luca, F, зэрэг
Хэвлэсэн: (2022)

Linear Encodings of Bounded LTL Model Checking
-н: Armin Biere, зэрэг
Хэвлэсэн: (2006-11-01)