Pages that link to "Item:Q1856194"
From MaRDI portal
The following pages link to Kronos: A verification tool for real-time systems (Q1856194):
Displaying 50 items.
- Kronos (Q14010) (← links)
- Timed recursive state machines: expressiveness and complexity (Q264999) (← links)
- Rewriting modulo SMT and open system analysis (Q347384) (← links)
- Reachability analysis for timed automata using max-plus algebra (Q444476) (← links)
- Robust reachability in timed automata and games: a game-based approach (Q481098) (← links)
- Timed modal logics for real-time systems. Specification, verification and control (Q548704) (← links)
- SetExp: a method of transformation of timed automata into finite state automata (Q601048) (← links)
- Scenario-based verification of real-time systems using UPPAAL (Q633291) (← links)
- Efficient verification of distributed real-time systems with broadcasting behaviors (Q656082) (← links)
- Reachability results for timed automata with unbounded data structures (Q707597) (← links)
- Checking timed Büchi automata emptiness efficiently (Q816203) (← links)
- Explaining safety violations in real-time systems (Q832041) (← links)
- How to stop time stopping (Q855006) (← links)
- Model checking of time Petri nets using the state class timed automaton (Q859736) (← links)
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude (Q862853) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Semantics and pragmatics of real-time maude (Q880982) (← links)
- When are timed automata weakly timed bisimilar to time Petri nets? (Q944375) (← links)
- Implementation and analysis of real-time communication protocol compositions (Q995821) (← links)
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude (Q1004068) (← links)
- M-nets: a survey (Q1006339) (← links)
- Timed verification of the generic architecture of a memory circuit using parametric timed automata (Q1028737) (← links)
- Hybrid systems: From verification to falsification by combining motion planning and discrete search (Q1039839) (← links)
- The power of reachability testing for timed automata (Q1399974) (← links)
- Generalized discrete timed automata: Decidable approximations for safety verification. (Q1401259) (← links)
- Specification of real-time and hybrid systems in rewriting logic (Q1608921) (← links)
- Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems (Q1640292) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Is your model checker on time? On the complexity of model checking for timed modal logics (Q1858436) (← links)
- Symbolic model checking of timed guarded commands using difference decision diagrams (Q1858438) (← links)
- Presburger liveness verification of discrete timed automata. (Q1874402) (← links)
- Updatable timed automata (Q1885906) (← links)
- Model-checking timed automata with deadlines with Uppaal (Q1941900) (← links)
- Superposition as a decision procedure for timed automata (Q1949086) (← links)
- Reachability relations of timed pushdown automata (Q2221811) (← links)
- An approximation algorithm for box abstraction of transition systems on real state spaces (Q2248056) (← links)
- Scheduling with timed automata (Q2368955) (← links)
- Constructing invariants for hybrid systems (Q2475635) (← links)
- A control synthesis approach for time discrete event systems (Q2489593) (← links)
- A partial order semantics approach to the clock explosion problem of timed automata (Q2575733) (← links)
- A theory of stochastic systems. I: Stochastic automata (Q2575854) (← links)
- Predicate diagrams for the verification of real-time systems (Q2642985) (← links)
- Formalized Timed Automata (Q2829277) (← links)
- Parking Can Get You There Faster (Q2842586) (← links)
- (Q2842866) (← links)
- Abstraction and Completeness for Real-Time Maude (Q2873773) (← links)
- Robust Model-Checking of Timed Automata via Pumping in Channel Machines (Q3172846) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions (Q3455651) (← links)
- Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions (Q3540075) (← links)
