 | 2006 |
|---|
| 12 |       | Conrado Daws,
Piotr Kordy:
Symbolic Robustness Analysis of Timed Automata.
FORMATS 2006: 143-155 |
| 2004 |
|---|
| 11 | | Conrado Daws:
Symbolic and Parametric Model Checking of Discrete-Time Markov Chains.
ICTAC 2004: 280-294 |
| 10 | | Conrado Daws,
Marta Z. Kwiatkowska,
Gethin Norman:
Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM.
STTT 5(2-3): 221-236 (2004) |
| 2002 |
|---|
| 9 | | Conrado Daws,
Marta Z. Kwiatkowska,
Gethin Norman:
Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM.
Electr. Notes Theor. Comput. Sci. 66(2): (2002) |
| 1998 |
|---|
| 8 | | Conrado Daws:
Optikron: A Tool Suite for Enhancing Model-Checking of Real-Time Systems.
CAV 1998: 542-545 |
| 7 | | Marius Bozga,
Conrado Daws,
Oded Maler,
Alfredo Olivero,
Stavros Tripakis,
Sergio Yovine:
Kronos: A Model-Checking Tool for Real-Time Systems.
CAV 1998: 546-550 |
| 6 | | 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).
FTRTFT 1998: 298-302 |
| 5 | | Conrado Daws,
Stavros Tripakis:
Model Checking of Real-Time Reachability Properties Using Abstractions.
TACAS 1998: 313-329 |
| 1996 |
|---|
| 4 | | Conrado Daws,
Sergio Yovine:
Reducing the number of clock variables of timed automata.
IEEE Real-Time Systems Symposium 1996: 73-81 |
| 1995 |
|---|
| 3 |  | Conrado Daws,
Alfredo Olivero,
Stavros Tripakis,
Sergio Yovine:
The Tool KRONOS.
Hybrid Systems 1995: 208-219 |
| 2 | | Conrado Daws,
Sergio Yovine:
Two Examples of Verification of Multirate Timed Automata with Kronos.
IEEE Real-Time Systems Symposium 1995: 66-75 |
| 1994 |
|---|
| 1 | | Conrado Daws,
Alfredo Olivero,
Sergio Yovine:
Verifying ET-LOTOS programmes with KRONOS.
FORTE 1994: 227-242 |
