Pages that link to "Item:Q5055879"
From MaRDI portal
The following pages link to Model-checking for real-time systems (Q5055879):
Displaying 32 items.
- Shrinking of time Petri nets (Q378906) (← links)
- Scenario-based verification of real-time systems using UPPAAL (Q633291) (← links)
- On-the-fly \(TCTL\) model checking for time Petri nets (Q732013) (← links)
- Towards verification of computation orchestration (Q736807) (← links)
- Spotlight abstraction in model checking real-time task schedulability (Q832017) (← links)
- Model checking MASL specification of distributed real-time systems (Q946007) (← links)
- Detecting synchronisation of biological oscillators by model checking (Q969176) (← links)
- Symbolic model checking for real-time systems (Q1327398) (← links)
- How to verify a Safe real-time system: The application of model checking and timed automata to the production cell case study (Q1395689) (← links)
- Compact data structures and state-space reduction for model-checking real-time systems (Q1431366) (← links)
- Uppaal in a nutshell (Q1856195) (← 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)
- Backward symbolic optimal reachability in weighted timed automata (Q1996010) (← links)
- On subgame perfect equilibria in turn-based reachability timed games (Q1996016) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- Efficient timed model checking for discrete-time systems (Q2368994) (← links)
- A partial order semantics approach to the clock explosion problem of timed automata (Q2575733) (← links)
- Correctness of efficient real-time model checking (Q2709812) (← links)
- Parametric real-time model checking using splitting trees (Q2743711) (← links)
- Exact acceleration of real-time model checking (Q2842578) (← links)
- Parking can get you there faster: model augmentation to speed up real-time model checking (Q2842586) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Timed Control with Observation Based and Stuttering Invariant Strategies (Q3510796) (← links)
- On Expressiveness and Complexity in Real-Time Model Checking (Q3519496) (← links)
- Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph (Q3543304) (← links)
- Cost Problems for Parametric Time Petri Nets* (Q5025060) (← links)
- A game approach to the parametric control of real-time systems (Q5231423) (← links)
- Real-Time Model Checking on Secondary Storage (Q5423883) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479159) (← links)
- The dynamic checking of complex real time system (Q5492511) (← links)
- A space-efficient on-the-fly algorithm for real-time model checking (Q6162102) (← links)
