The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Conrado Daws: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Conrado Daws, Piotr Kordy
    Symbolic Robustness Analysis of Timed Automata. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2006, pp:143-155 [Conf]
  4. Conrado Daws, Alfredo Olivero, Sergio Yovine
    Verifying ET-LOTOS programmes with KRONOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1994, pp:227-242 [Conf]
  5. 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]
  6. Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
    The Tool KRONOS. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:208-219 [Conf]
  7. Conrado Daws
    Symbolic and Parametric Model Checking of Discrete-Time Markov Chains. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:280-294 [Conf]
  8. 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]
  9. 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]
  10. Conrado Daws, Stavros Tripakis
    Model Checking of Real-Time Reachability Properties Using Abstractions. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:313-329 [Conf]
  11. 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]
  12. 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
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002