Searching for authors named "Conrado Daws" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Optikron: a Tool Suite for Enhancing Model-Checking of Real-Time Systems
- …Optikron: a Tool Suite for Enhancing Model--Checking of Real--Time Systems Conrado Daws ? Verimag…
- Cited by 2 (0 self) – Add To MetaCart
-
Symbolic and parametric model checking of discrete-time markov Chains
- …Symbolic and Parametric Model Checking of Discrete-Time Markov Chains Conrado Daws ⋆ Nijmegen…
- Cited by 4 (0 self) – Add To MetaCart
-
Model Checking of Real-Time Reachability Properties Using Abstractions
- …Model checking of real-time reachability properties using abstractions ? Conrado Daws and Stavros…
- Cited by 58 (9 self) – Add To MetaCart
-
Symbolic robustness analysis of timed automata
- …Symbolic Robustness Analysis of Timed Automata Conrado Daws ⋆1,2 and Piotr Kordy 2 1 Department…
- Cited by 2 (0 self) – Add To MetaCart
-
Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM
- … ? Conrado Daws a;1 , Marta Kwiatkowska b , Gethin Norman b a CWI, P.O. Box 94079, NL-1090 GB Amsterdam…
- Cited by 18 (8 self) – Add To MetaCart
-
Kronos: A Model-Checking Tool for Real-Time Systems
- …) Marius Bozga 1 , Conrado Daws 1 , Oded Maler 1 , Alfredo Olivero 2 , Stavros Tripakis 1…
- Cited by 78 (13 self) – Add To MetaCart
Showing 1 through 6.
