Recommendations
Cited in
(only showing first 100 items - show all)- Model-checking timed temporal logics
- A survey of timed automata for the development of real-time systems
- Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal
- Analysis of equivalence relations of event structures with continuous time
- Model checking weighted integer reset timed automata
- Efficient SAT-based bounded model checking for software verification
- Dealing with practical limitations of distributed timed model checking for timed automata
- Timed recursive state machines: expressiveness and complexity
- Minimum and maximum delay problems in real-time systems
- Spotlight abstraction in model checking real-time task schedulability
- Exact acceleration of real-time model checking
- Probabilistic timed graph transformation systems
- A tableau construction for finite linear-time temporal logic
- PuRSUE -- from specification of robotic environments to synthesis of controllers
- Decision problems for lower/upper bound parametric timed automata
- Interrupt timed automata: verification and expressiveness
- Combined model checking for temporal, probabilistic, and real-time logics
- Scheduling with timed automata
- scientific article; zbMATH DE number 1705170 (Why is no real title available?)
- Timed games with bounded window parity objectives
- Towards light-weight probabilistic model checking
- Formal modeling and analysis of business process timed constraints
- Alternation-free weighted mu-calculus: decidability and completeness
- Timed CTL model checking in Real-Time Maude
- Timed modal logics for real-time systems. Specification, verification and control
- Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions
- On-the-fly \(TCTL\) model checking for time Petri nets
- Efficient timed model checking for discrete-time systems
- THE EXISTENCE OF ω-CHAINS FOR TRANSITIVE MIXED LINEAR RELATIONS AND ITS APPLICATIONS
- Timed Petri nets with reset for pipelined synchronous circuit design
- Finite automata on timed \(\omega\)-trees
- On reachability and safety in infinite-state systems
- Tropical Fourier-Motzkin elimination, with an application to real-time verification
- Reachability solution characterization of parametric real-time systems
- Bounded model checking for knowledge and real time
- revTPL: The Reversible Temporal Process Language
- Adequacy and complete axiomatization for timed modal logic
- Event-clock automata: a determinizable class of timed automata
- scientific article; zbMATH DE number 2080198 (Why is no real title available?)
- Axioms for real-time logics
- Time-abstracted bisimulation: Implicit specifications and decidability
- Verification in loosely synchronous queue-connected discrete timed automata.
- Cancer hybrid automata: model, beliefs and therapy
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking
- On timed alternating simulation for concurrent timed games
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques
- Efficient on-the-fly algorithm for checking alternating timed simulation
- Parametric real-time model checking using splitting trees
- The algorithmic analysis of hybrid systems
- Pushdown timed automata: A binary reachability characterization and safety verification.
- Inclusion dynamics hybrid automata
- scientific article; zbMATH DE number 2080039 (Why is no real title available?)
- Improved undecidability results on weighted timed automata
- scientific article; zbMATH DE number 6987096 (Why is no real title available?)
- Timed vacuity
- TCTL inevitability analysis of dense-time systems
- Automated formal analysis and verification: an overview
- Conditional simple temporal networks with uncertainty and decisions
- Modeling for Verification
- Extending timed automaton and real-time logic to many-valued reasoning
- INDUCTIVE COMPOSITION OF NUMBERS WITH MAXIMUM, MINIMUM, AND ADDITION: A New Theory for Program Execution-Time Analysis
- Model checking temporal properties of reaction systems
- Real-Time Model Checking on Secondary Storage
- The theory of interactive generalized semi-Markov processes
- Is your model checker on time? On the complexity of model checking for timed modal logics
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Symbolic model checking for real-time systems
- \textsf{PFL}: a probabilistic logic for fault trees
- Presburger liveness verification of discrete timed automata.
- Performance analysis of probabilistic timed automata using digital clocks
- Model checking real-time systems within unified approach of timed interval temporal logic
- Checking timed Büchi automata emptiness efficiently
- Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties
- Model checking of time Petri nets using the state class timed automaton
- Theorem proving for pointwise metric temporal logic over the naturals via translations
- A space-efficient on-the-fly algorithm for real-time model checking
- scientific article; zbMATH DE number 1418333 (Why is no real title available?)
- Event algebra for transition systems composition application to timed automata
- On the optimal reachability problem of weighted timed automata
- Automatic verification of real-time systems with discrete probability distributions.
- Timed CSP = closed timed automata
- Model Checking Timed Systems with Urgencies
- Model checking of biological systems
- How to stop time stopping
- Monotonic hybrid systems
- On the expressiveness of TPTL and MTL
- Min-max Computation Tree Logic
- An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints
- Model checking computation tree logic over finite lattices
- Branching-Time Property Preservation Between Real-Time Systems
- Generalized discrete timed automata: Decidable approximations for safety verification.
- The power of reachability testing for timed automata
- Model checking restricted sets of timed paths
- Model-checking dense-time duration calculus
- Statistical probabilistic model checking with a focus on time-bounded properties
- Model Checking Real-Time Systems
- Efficient model-checking of dense-time systems with time-convexity analysis
- CONCUR 2004 - Concurrency Theory
- Model checking for probabilistic timed automata
This page was built for publication: Model-checking in dense real-time
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q689092)
