The following pages link to (Q4038702):
Displayed 50 items.
- Reachability analysis for timed automata using max-plus algebra (Q444476) (← 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)
- 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)
- Process algebra for hybrid systems (Q1781998) (← links)
- On a class of timer hybrid systems reducible to finite state automata (Q1842525) (← links)
- A logical characterization of data languages. (Q1853115) (← links)
- Automated verification of an audio-control protocol using UPPAAL (Q1858445) (← links)
- Linear parametric model checking of timed automata (Q1858447) (← links)
- Updatable timed automata (Q1885906) (← links)
- Decidable hybrid systems (Q1922203) (← links)
- On the regularization of Zeno hybrid automata (Q1978482) (← links)
- Continuity controlled hybrid automata (Q2368692) (← links)
- CTL* model checking for time Petri nets (Q2368992) (← links)
- Timed substitutions for regular signal-event languages (Q2385194) (← links)
- A brief account of runtime verification (Q2390027) (← links)
- WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model (Q2464934) (← links)
- Optimal reachability for multi-priced timed automata (Q2474054) (← links)
- Optimal infinite scheduling for multi-priced timed automata (Q2475633) (← links)
- Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties (Q2481211) (← links)
- Grid automata and supervisory control of dense real-time discrete event systems (Q2489622) (← links)
- Fuzzy regular languages over finite and infinite words (Q2493980) (← links)
- Theorem of abstraction for equivalent controllers in hybrid systems (Q2568275) (← links)
- Zeno hybrid systems (Q2716782) (← links)
- Verification of Gap-Order Constraint Abstractions of Counter Systems (Q2891403) (← links)
- Verification of Timed-Arc Petri Nets (Q3075507) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- A method for the modular synthesis of controllers for timed discrete-event systems (Q4460523) (← links)
- Formal language properties of hybrid systems with strong resets (Q5190079) (← links)