Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Conrado Daws
2000 – 2009
- 2006
[c10]- 2004
- [j2]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)
- [c9]Conrado Daws: Symbolic and Parametric Model Checking of Discrete-Time Markov Chains. ICTAC 2004: 280-294
- 2002
- [j1]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): 104-119 (2002)
1990 – 1999
- 1998
- [c8]Conrado Daws: Optikron: A Tool Suite for Enhancing Model-Checking of Real-Time Systems. CAV 1998: 542-545
- [c7]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
- [c6]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
- [c5]Conrado Daws, Stavros Tripakis: Model Checking of Real-Time Reachability Properties Using Abstractions. TACAS 1998: 313-329
- 1996
- [c4]Conrado Daws, Sergio Yovine: Reducing the number of clock variables of timed automata. RTSS 1996: 73-81
- 1995
- [c3]Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine: The Tool KRONOS. Hybrid Systems 1995: 208-219
- [c2]Conrado Daws, Sergio Yovine: Two Examples of Verification of Multirate Timed Automata with Kronos. RTSS 1995: 66-75
- 1994
- [c1]Conrado Daws, Alfredo Olivero, Sergio Yovine: Verifying ET-LOTOS programmes with KRONOS. FORTE 1994: 227-242
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-24 21:47 CET by the dblp team