The following pages link to Model-checking in dense real-time (Q689092):
Displaying 34 items.
- On Expressiveness and Complexity in Real-Time Model Checking (Q3519496) (← links)
- Practical Efficient Modular Linear-Time Model-Checking (Q3540089) (← links)
- Concavely-Priced Timed Automata (Q3543287) (← 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)
- (Q4558788) (← links)
- INDUCTIVE COMPOSITION OF NUMBERS WITH MAXIMUM, MINIMUM, AND ADDITION: A New Theory for Program Execution-Time Analysis (Q4652794) (← links)
- Wireless ventilation control for large‐scale systems: The mining industrial case (Q4981811) (← links)
- Model-checking Timed Temporal Logics (Q4982129) (← links)
- Efficient scaling-invariant checking of timed bisimulation (Q5047170) (← links)
- Model-checking for real-time systems (Q5055879) (← links)
- A menagerie of timed automata (Q5176174) (← links)
- Formal language properties of hybrid systems with strong resets (Q5190079) (← links)
- Parametric Verification of Weighted Systems (Q5240155) (← links)
- ON REACHABILITY AND SAFETY IN INFINITE-STATE SYSTEMS (Q5249293) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)
- Formal Modeling and Analysis of Business Process Timed Constraints (Q5348540) (← links)
- Real-Time Model Checking on Secondary Storage (Q5423883) (← links)
- An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints (Q5452614) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464759) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5473747) (← links)
- The dynamic checking of complex real time system (Q5492511) (← links)
- An Introduction to Timed Automata (Q5496927) (← links)
- On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems (Q5739458) (← links)
- Min-max Computation Tree Logic (Q5940962) (← links)
- Axioms for real-time logics (Q5958467) (← links)
- Model checking for a class of weighted automata (Q5962025) (← links)
- Alternation-free weighted mu-calculus: decidability and completeness (Q5971405) (← links)
- Automated repair for timed systems (Q6108434) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
- Design and verification of pipelined circuits with timed Petri nets (Q6160969) (← links)
- A space-efficient on-the-fly algorithm for real-time model checking (Q6162102) (← links)
- Dynamic controllability of temporal networks with instantaneous reaction (Q6205017) (← links)
- Model checking timed recursive CTL (Q6543268) (← links)
