Conrado Daws

12 papers A* 2A 3C 3Journal 1Unranked 3
YearRankTypeTitle / Venue / Authors
2006 — conf
Symbolic Robustness Analysis of Timed Automata.
FORMATS
Conrado Daws, Piotr Kordy
2004 J jnl
Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM.
Int. J. Softw. Tools Technol. Transf.
Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman
2004 C conf
Symbolic and Parametric Model Checking of Discrete-Time Markov Chains.
ICTAC
Conrado Daws
2002 C conf
Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM.
FMICS
Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman
1998 — conf
KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98).
FTRTFT
Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
1998 A* conf
Kronos: A Model-Checking Tool for Real-Time Systems.
CAV
Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
1998 A conf
Model Checking of Real-Time Reachability Properties Using Abstractions.
TACAS
Conrado Daws, Stavros Tripakis
1998 A* conf
Optikron: A Tool Suite for Enhancing Model-Checking of Real-Time Systems.
CAV
Conrado Daws
1996 A conf
Reducing the number of clock variables of timed automata.
RTSS
Conrado Daws, Sergio Yovine
1995 — conf
The Tool KRONOS.
Hybrid Systems
Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
1995 A conf
Two Examples of Verification of Multirate Timed Automata with Kronos.
RTSS
Conrado Daws, Sergio Yovine
1994 C conf
Verifying ET-LOTOS programmes with KRONOS.
FORTE
Conrado Daws, Alfredo Olivero, Sergio Yovine