The following pages link to Model-checking in dense real-time (Q689092):
Displaying 50 items.
- A logical characterization of data languages. (Q1853115) (← links)
- Is your model checker on time? On the complexity of model checking for timed modal logics (Q1858436) (← links)
- Presburger liveness verification of discrete timed automata. (Q1874402) (← links)
- Model-checking dense-time duration calculus (Q1882793) (← links)
- Efficient model-checking of dense-time systems with time-convexity analysis (Q1935781) (← links)
- Superposition as a decision procedure for timed automata (Q1949086) (← links)
- Probabilistic timed graph transformation systems (Q1994363) (← links)
- Timed vacuity (Q2024362) (← links)
- Timed games with bounded window parity objectives (Q2112117) (← links)
- Timed Petri nets with reset for pipelined synchronous circuit design (Q2117152) (← links)
- PuRSUE -- from specification of robotic environments to synthesis of controllers (Q2198133) (← links)
- Model-checking precision agriculture logistics: the case of the differential harvest (Q2220343) (← links)
- Theorem proving for pointwise metric temporal logic over the naturals via translations (Q2228435) (← links)
- Model checking for probabilistic timed automata (Q2248072) (← links)
- On the expressiveness of TPTL and MTL (Q2266987) (← links)
- Conditional simple temporal networks with uncertainty and decisions (Q2334599) (← links)
- Towards light-weight probabilistic model checking (Q2336743) (← links)
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (Q2343139) (← links)
- Scheduling with timed automata (Q2368955) (← links)
- Efficient timed model checking for discrete-time systems (Q2368994) (← links)
- Symbolic model checking for probabilistic timed automata (Q2373877) (← links)
- On the optimal reachability problem of weighted timed automata (Q2385195) (← links)
- Dealing with practical limitations of distributed timed model checking for timed automata (Q2431767) (← links)
- Cancer hybrid automata: model, beliefs and therapy (Q2453217) (← links)
- Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties (Q2481211) (← links)
- Monotonic hybrid systems (Q2486564) (← links)
- On model-checking timed automata with stopwatch observers (Q2492187) (← links)
- Model checking restricted sets of timed paths (Q2503042) (← links)
- Statistical probabilistic model checking with a focus on time-bounded properties (Q2509358) (← links)
- Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal (Q2568979) (← links)
- Polynomial interrupt timed automata: verification and expressiveness (Q2662502) (← links)
- A tableau construction for finite linear-time temporal logic (Q2669249) (← links)
- Parametric real-time model checking using splitting trees (Q2743711) (← links)
- On improving backwards verification of timed automata (extended abstract) (Q2842572) (← links)
- Exact acceleration of real-time model checking (Q2842578) (← links)
- Timed semantics of message sequence charts based on timed automata (Q2842583) (← links)
- Parking can get you there faster: model augmentation to speed up real-time model checking (Q2842586) (← links)
- Timed CSP = closed timed automata (Q2842610) (← links)
- An integrated approach for the specification and analysis of stochastic real-time systems (Q2842863) (← links)
- Automated formal analysis and verification: an overview (Q2871577) (← links)
- Abstraction and completeness for real-time Maude (Q2873773) (← links)
- Tropical Fourier-Motzkin elimination, with an application to real-time verification (Q2923336) (← links)
- Efficient CTMC Model Checking of Linear Real-Time Objectives (Q3000642) (← links)
- Expressiveness of verifiable hierarchical clock systems (Q3005130) (← links)
- VERIFICATION IN QUEUE-CONNECTED MULTICOUNTER MACHINES (Q3021942) (← links)
- THE EXISTENCE OF ω-CHAINS FOR TRANSITIVE MIXED LINEAR RELATIONS AND ITS APPLICATIONS (Q3021995) (← links)
- THE EXPRESSIVE POWER OF MEMORY LOGICS (Q3094189) (← links)
- Modeling for Verification (Q3176361) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Strict Divergence for Probabilistic Timed Automata (Q3184704) (← links)
