The following pages link to (Q4038702):
Displayed 35 items.
- Computing with polynomial ordinary differential equations (Q306694) (← links)
- Computation with perturbed dynamical systems (Q355515) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Reachability analysis for timed automata using max-plus algebra (Q444476) (← links)
- A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets (Q488240) (← links)
- Validation and verification of web services choreographies by using timed automata (Q615897) (← links)
- Interval logics and their decision procedures. II: A real-time interval logic (Q672040) (← links)
- Minimum and maximum delay problems in real-time systems (Q685111) (← links)
- Specification and automatic verification of self-timed queues (Q685115) (← links)
- Reachability solution characterization of parametric real-time systems (Q703513) (← links)
- Quantitative analysis of weighted transition systems (Q710680) (← links)
- On-the-fly \(TCTL\) model checking for time Petri nets (Q732013) (← links)
- On using priced timed automata to achieve optimal scheduling (Q853729) (← links)
- An engineering process for the verification of real-time systems (Q877159) (← links)
- Concurrent weighted logic (Q890620) (← links)
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses (Q988565) (← links)
- Network invariants for real-time systems (Q1019007) (← links)
- Bounded model checking for knowledge and real time (Q1028970) (← links)
- Investigating the usability of real-time scheduling theory with the Cheddar project (Q1033676) (← links)
- Computational bounds on polynomial differential equations (Q1036531) (← links)
- Timed automata and recognizability (Q1129268) (← links)
- Sooner is safer than later (Q1199553) (← links)
- Using mappings to prove timing properties (Q1200918) (← links)
- Verifying automata specification of distributed probabilistic real-time systems (Q1273079) (← links)
- Information system design of manufacturing environments (Q1288427) (← links)
- A logic for reasoning about time and reliability (Q1343864) (← links)
- An iterative approach to verification of real-time systems (Q1346652) (← links)
- A process algebra of communicating shared resources with dense time and priorities (Q1389685) (← links)
- Timed automata and additive clock constraints (Q1583056) (← links)
- The Verus language: Representing time efficiently with BDDs (Q1589589) (← links)
- Consistent approximations of the Zeno behaviour in affine-type switched dynamic systems (Q1669213) (← links)
- Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- On decidability of recursive weighted logics (Q1797779) (← links)
- On a class of timer hybrid systems reducible to finite state automata (Q1842525) (← links)