The following pages link to (Q4536599):
Displaying 27 items.
- Timed recursive state machines: expressiveness and complexity (Q264999) (← links)
- A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor global fixed-priority scheduling (Q283177) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295) (← links)
- Interrupt timed automata: verification and expressiveness (Q453513) (← links)
- \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability (Q832203) (← links)
- Formal verification of real-time systems with preemptive scheduling (Q844238) (← links)
- Reachability problems and abstract state spaces for time Petri nets with stopwatches (Q884758) (← links)
- Verification of duration systems using an approximation approach (Q1429422) (← links)
- Waiting nets (Q2165233) (← links)
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (Q2343139) (← links)
- A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems (Q2403815) (← links)
- Monotonic hybrid systems (Q2486564) (← links)
- Polynomial interrupt timed automata: verification and expressiveness (Q2662502) (← links)
- Nested Timed Automata with Frozen Clocks (Q2945595) (← links)
- On Reachability for Hybrid Automata over Bounded Time (Q3012937) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Interrupt Timed Automata (Q3617730) (← links)
- Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata (Q3648829) (← links)
- Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction* (Q4989166) (← links)
- (Q4989408) (← links)
- Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints* (Q5025034) (← links)
- (Q5094115) (← links)
- A menagerie of timed automata (Q5176174) (← links)
- Waiting Nets: State Classes and Taxonomy (Q6189319) (← links)
- A modeling concept for formal verification of OS-based compositional software (Q6535218) (← links)
