The following pages link to Kronos (Q14010):
Displaying 50 items.
- TCTL Inevitability Analysis of Dense-Time Systems (Q3559794) (← links)
- An Abstraction Technique for Real-Time Verification (Q3564011) (← links)
- A Framework for Verification of Software with Time and Probabilities (Q3588082) (← links)
- (Q3601411) (← links)
- (Q3601840) (← links)
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (Q3605462) (← links)
- Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets (Q3613087) (← links)
- Improvements for the Symbolic Verification of Timed Automata (Q3614852) (← links)
- Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment (Q3624601) (← links)
- Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis (Q3648823) (← links)
- Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation (Q3648824) (← links)
- A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata (Q3648831) (← links)
- Stochastic Games for Verification of Probabilistic Timed Automata (Q3648833) (← links)
- (Q4255572) (← links)
- (Q4414389) (← links)
- (Q4417825) (← links)
- (Q4417948) (← links)
- (Q4417974) (← links)
- (Q4450962) (← links)
- (Q4461758) (← links)
- (Q4472225) (← links)
- (Q4472228) (← links)
- (Q4473739) (← links)
- (Q4531756) (← links)
- (Q4531766) (← links)
- (Q4551173) (← links)
- (Q4551179) (← links)
- (Q4551181) (← links)
- (Q4553242) (← links)
- Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics (Q4649399) (← links)
- (Q4672469) (← links)
- (Q4679533) (← links)
- (Q4736586) (← links)
- (Q4736587) (← links)
- (Q4736991) (← links)
- (Q4737589) (← links)
- (Q4787215) (← links)
- (Q4806208) (← links)
- (Q4806209) (← links)
- (Q4809047) (← links)
- (Q4818749) (← links)
- Topologies, Continuity and Bisimulations (Q4943548) (← links)
- (Q4945220) (← links)
- Wireless ventilation control for large‐scale systems: The mining industrial case (Q4981811) (← links)
- Model-checking Timed Temporal Logics (Q4982129) (← links)
- (Q5009444) (← links)
- Progress-preserving Refinements of CTA (Q5009458) (← links)
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis (Q5117254) (← links)
- The Unmet Challenge of Timed Systems (Q5170750) (← links)
- A menagerie of timed automata (Q5176174) (← links)
