The following pages link to Uppaal2k (Q14301):
Displaying 37 items.
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295) (← links)
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking (Q853626) (← links)
- Performance analysis of probabilistic timed automata using digital clocks (Q853731) (← links)
- Modelling and analysis of hybrid supervisory systems. A Petri net approach. (Q859370) (← links)
- When are timed automata weakly timed bisimilar to time Petri nets? (Q944375) (← links)
- IEEE 1394 tree identify protocol: Introduction to the case study (Q1402470) (← links)
- Verifying the IEEE 1394 fireWire tree identify protocol with SMV (Q1402475) (← links)
- But what if I don't want to wait forever? (Q1402477) (← links)
- Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol (Q1402478) (← links)
- False loop detection in the IEEE 1394 tree identify phase (Q1402479) (← links)
- Fun with fireWire: A comparative study of formal verification methods applied to the IEEE 1394 root contention protocol (Q1402480) (← links)
- Linear parametric model checking of timed automata (Q1858447) (← links)
- Symbolic model checking for probabilistic timed automata (Q2373877) (← links)
- Schedulability of asynchronous real-time concurrent objects (Q2390036) (← links)
- Advances in verification of time Petri nets and timed automata. A temporal logic approach. (Q2493434) (← links)
- Almost ASAP semantics: from timed models to timed implementations (Q2576589) (← links)
- (Q2703749) (← links)
- (Q2709226) (← links)
- (Q2763538) (← links)
- (Q2851073) (← links)
- (Q3225705) (← links)
- (Q3370733) (← links)
- TCTL Inevitability Analysis of Dense-Time Systems (Q3559794) (← links)
- Design and Verification of Fault-Tolerant Components (Q3623817) (← links)
- AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA (Q3646167) (← links)
- (Q4414389) (← links)
- (Q4813198) (← links)
- (Q4813204) (← links)
- Computer Aided Verification (Q5312908) (← links)
- (Q5486059) (← links)
- Automated Technology for Verification and Analysis (Q5491860) (← links)
- Correct Hardware Design and Verification Methods (Q5493250) (← links)
- (Q5506370) (← links)
- (Q5506384) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900953) (← links)
- A timed verification of the IEEE 1394 Leader election protocol (Q5959853) (← links)
