|
Search the dblp DataBase
Conrado Daws:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
Kronos: A Model-Checking Tool for Real-Time Systems. [Citation Graph (0, 0)][DBLP] CAV, 1998, pp:546-550 [Conf]
- Conrado Daws
Optikron: A Tool Suite for Enhancing Model-Checking of Real-Time Systems. [Citation Graph (0, 0)][DBLP] CAV, 1998, pp:542-545 [Conf]
- Conrado Daws, Piotr Kordy
Symbolic Robustness Analysis of Timed Automata. [Citation Graph (0, 0)][DBLP] FORMATS, 2006, pp:143-155 [Conf]
- Conrado Daws, Alfredo Olivero, Sergio Yovine
Verifying ET-LOTOS programmes with KRONOS. [Citation Graph (0, 0)][DBLP] FORTE, 1994, pp:227-242 [Conf]
- Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98). [Citation Graph (0, 0)][DBLP] FTRTFT, 1998, pp:298-302 [Conf]
- Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
The Tool KRONOS. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1995, pp:208-219 [Conf]
- Conrado Daws
Symbolic and Parametric Model Checking of Discrete-Time Markov Chains. [Citation Graph (0, 0)][DBLP] ICTAC, 2004, pp:280-294 [Conf]
- Conrado Daws, Sergio Yovine
Two Examples of Verification of Multirate Timed Automata with Kronos. [Citation Graph (0, 0)][DBLP] IEEE Real-Time Systems Symposium, 1995, pp:66-75 [Conf]
- Conrado Daws, Sergio Yovine
Reducing the number of clock variables of timed automata. [Citation Graph (0, 0)][DBLP] IEEE Real-Time Systems Symposium, 1996, pp:73-81 [Conf]
- Conrado Daws, Stavros Tripakis
Model Checking of Real-Time Reachability Properties Using Abstractions. [Citation Graph (0, 0)][DBLP] TACAS, 1998, pp:313-329 [Conf]
- Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman
Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:66, n:2, pp:- [Journal]
- Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman
Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. [Citation Graph (0, 0)][DBLP] STTT, 2004, v:5, n:2-3, pp:221-236 [Journal]
Search in 0.002secs, Finished in 0.002secs
|