Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics

No abstract is available for this paper.

• Publication year

  2008

• Venue

  2008 Fifth International Conference on Quantitative Evaluation of Systems

• Publication date

  2008-09-14

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1109/QEST.2008.19
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Robust Model-Checking of Timed Automata

  2010cited by this paper
• Robust Analysis of Timed Automata via Channel Machines

  2008cited by this paper
• Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata

  2008influential reference
• Omega-Regular Half-Positional Winning Conditions

  2007cited by this paper
• Probabilistic and Topological Semantics for Timed Automata

  2007cited by this paper
• Admissibility in Infinite Games

  2007cited by this paper
• Robust Model-Checking of Linear-Time Properties in Timed Automata

  2006cited by this paper
• Concurrent games with tail objectives

  2006cited by this paper
• Perturbed Timed Automata

  2005cited by this paper
• Model checking probabilistic pushdown automata

  2004cited by this paper
• Robustness and Implementability of Timed Automata

  2004cited by this paper
• Almost ASAP semantics: from timed models to timed implementations

  2004cited by this paper
• Quantitative Analysis of Probabilistic Lossy Channel Systems

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

  2002cited by this paper
• Markov Chains: Gibbs Fields, Monte Carlo Simulation, and Queues

  2000cited by this paper
• Robust Undecidability of Timed and Hybrid Systems

  2000cited by this paper
• Robust Timed Automata

  1997cited by this paper
• The complexity of probabilistic verification

  1995cited by this paper
• A Theory of Timed Automata

  1994influential reference
• Temporal Logic of Programs

  1987cited by this paper

• Decisiveness of Stochastic Systems and its Application to Hybrid Models

  2020influential citation
• Truth or dare : quantitative security risk analysis via attack trees

  2018cites this paper
• Validation, Synthesis and Optimization for Cyber-Physical Systems

  2017cites this paper
• Verification of Stochastic Timed Automata

  2017cites this paper
• Aalborg Universitet Batteries in

  2017cites this paper
• When are Stochastic Transition Systems Tameable?

  2017cites this paper
• Stochastic Timed Games Revisited

  2016cites this paper
• Analysing Decisive Stochastic Processes

  2016cites this paper
• Batteries in Space: Designing Energy-Optimal Satellites with Statistical Model Checking

  2016cites this paper
• Compositional Design of Stochastic Timed Automata

  2016cites this paper
• Contributions to Statistical Model Checking

  2015cites this paper
• Entropy of regular timed languages

  2015cites this paper
• Stochastic Timed Automata

  2014cites this paper
• Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems

  2013influential citation
• A maximal entropy stochastic process for a timed automaton

  2013cites this paper
• Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes

  2013cites this paper
• Importance sampling for probabilistic timed automata

  2013influential citation
• Spectral Gap in Timed Automata

  2013cites this paper
• Contribution to the Verification of Timed Automata: Determinization, Quantitative Verification and Reachability in Networks of Automata. (Contribution à la vérification des automates temporisés : déterminisation, vérification quantitative et accessibilité dans les réseaux d'automates)

  2013cites this paper
• Volumetry of timed languages and applications

  2013cites this paper
• Contribution à la vérification d'automates temporisés : déterminisation, vérification quantitative et accessibilité dans les réseaux d'automates

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

  2013cites this paper
• Almost-Sure Model-Checking of Reactive Timed Automata

  2012cites this paper
• Verification of continuous-space stochastic systems

  2012cites this paper
• Publications Du Groupe « Vérification Et Méthodes Formelles »

  2011cites this paper
• Robustness in real-time systems

  2011cites this paper
• Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata

  2011cites this paper
• Verification of Embedded Systems — Algorithms and Complexity

  2011cites this paper
• Efficient CTMC Model Checking of Linear Real-Time Objectives

  2011cites this paper
• Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers

  2011cites this paper
• Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

  2011cites this paper
• Measuring performance of continuous-time stochastic processes using timed automata

  2011cites this paper
• Computing Maximum Reachability Probabilities in Markovian Timed Automata

  2010cites this paper
• Stochastic Real-Time Games with Qualitative Timed Automata Objectives

  2010cites this paper
• Clocks, Dice and Processes

  2009cites this paper
• Universit é Joseph Fourier pour obtenir le grade de Docteur de l ’ Université Joseph Fourier Mention Informatique par Aldric Degorre

  2009cites this paper
• Project-Team VerTeCs Verification models and techniques applied to the Testing and Control of reactive Systems

  2009cites this paper
• Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

  2009cites this paper
• Partial stochastic characterization of timed runs over DBM domains

  2009cites this paper
• Langages formels : Quelques aspects quantitatifs. (On Some Quantitative Aspects of Formal Languages)

  2009cites this paper
• Diagnosis, Synthesis and Analysis of Probabilistic Models

  2009cites this paper
• From Qualitative to Quantitative Analysis of Timed Systems

  2009cites this paper
• Reachability in Stochastic Timed Games

  2009cites this paper
• Volume and Entropy of Regular Timed Languages: Discretization Approach

  2009cites this paper
• Title of Deliverable: Model-checking of Real-time Probabilistic Models

  year unknowncites this paper