Verifying ET-LOTOS programmes with KRONOS. - Conrado Daws; Alfredo Olivero; Sergio Yovine (FORTE, 1994)

The Tool KRONOS. - Conrado Daws; Alfredo Olivero; Stavros Tripakis; Sergio Yovine (Hybrid Systems, 1995)

Two Examples of Verification of Multirate Timed Automata with Kronos. - Conrado Daws; Sergio Yovine (RTSS, 1995)

Reducing the number of clock variables of timed automata. - Conrado Daws; Sergio Yovine (RTSS, 1996)

Kronos: A Model-Checking Tool for Real-Time Systems. - Marius Bozga; Conrado Daws; Oded Maler; Alfredo Olivero; Stavros Tripakis; Sergio Yovine (CAV, 1998)

Optikron: A Tool Suite for Enhancing Model-Checking of Real-Time Systems. - Conrado Daws (CAV, 1998)

KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98). - Marius Bozga; Conrado Daws; Oded Maler; Alfredo Olivero; Stavros Tripakis; Sergio Yovine (FTRTFT, 1998)

Model Checking of Real-Time Reachability Properties Using Abstractions. - Conrado Daws; Stavros Tripakis (TACAS, 1998)

Symbolic and Parametric Model Checking of Discrete-Time Markov Chains. - Conrado Daws (ICTAC, 2004)

Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. - Conrado Daws; Marta Z. Kwiatkowska; Gethin Norman (Int. J. Softw. Tools Technol. Transf., 2004)

Symbolic Robustness Analysis of Timed Automata. - Conrado Daws; Piotr Kordy (FORMATS, 2006)