The following pages link to Kronos (Q14010):
Displaying 50 items.
- A refinement-based process algebra for timed automata (Q2576580) (← links)
- Almost ASAP semantics: from timed models to timed implementations (Q2576589) (← links)
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions (Q2636513) (← links)
- Shrinking timed automata (Q2637311) (← links)
- Predicate diagrams for the verification of real-time systems (Q2642985) (← links)
- DisCo Toolset -- the new generation (Q2709219) (← links)
- (Q2753753) (← links)
- (Q2753755) (← links)
- (Q2754097) (← links)
- (Q2754105) (← links)
- (Q2754117) (← links)
- (Q2754197) (← links)
- Improving the landcover classification using domain knowledge (Q2758775) (← links)
- (Q2762788) (← links)
- Formalized Timed Automata (Q2829277) (← links)
- Contraction of the ITCPN state space (Q2842567) (← links)
- Verification of asynchronous circuits using timed automata (Q2842571) (← links)
- On improving backwards verification of timed automata (extended abstract) (Q2842572) (← links)
- Modular synthesis of timed circuits using partial orders on LPNs (Q2842584) (← links)
- Parking can get you there faster: model augmentation to speed up real-time model checking (Q2842586) (← links)
- Interval duration logic: expressiveness and decidability (Q2842590) (← links)
- Petri nets with causal time for system verification (Q2842866) (← links)
- Bounded model checking for timed automata (Q2842869) (← links)
- Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC (Q2848422) (← links)
- A tool for the syntactic detection of Zeno-timelocks in timed automata (Q2851073) (← links)
- Abstraction and completeness for real-time Maude (Q2873773) (← links)
- Priced timed automata: theory and tools (Q2920149) (← links)
- Rewriting Modulo SMT and Open System Analysis (Q2945139) (← links)
- Checking timed Büchi automata emptiness on simulation graphs (Q2946573) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes (Q3000666) (← links)
- Verification of Timed-Arc Petri Nets (Q3075507) (← links)
- Coarse Abstractions Make Zeno Behaviours Difficult to Detect (Q3090824) (← links)
- Extending CTL with Actions and Real Time (Q3146303) (← links)
- Timed CTL Model Checking in Real-Time Maude (Q3164837) (← links)
- Robust Reachability in Timed Automata: A Game-Based Approach (Q3167005) (← links)
- Performance Evaluation of Schedulers in a Probabilistic Setting (Q3172839) (← links)
- Robust Model-Checking of Timed Automata via Pumping in Channel Machines (Q3172846) (← links)
- Event Clock Automata: From Theory to Practice (Q3172852) (← links)
- Modeling for Verification (Q3176361) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions (Q3455651) (← links)
- Zone-Based Universality Analysis for Single-Clock Timed Automata (Q3508519) (← links)
- Efficient On-the-Fly Algorithms for Partially Observable Timed Games (Q3510829) (← links)
- Hypervolume Approximation in Timed Automata Model Checking (Q3510836) (← links)
- Efficient Detection of Zeno Runs in Timed Automata (Q3510844) (← links)
- Adding Invariants to Event Zone Automata (Q3511243) (← links)
- Model Checking Timed Systems with Urgencies (Q3522900) (← links)
- Timed Temporal Logics for Abstracting Transient States (Q3522919) (← links)
- Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions (Q3540075) (← links)
