Conrado Daws

According to our database, Conrado Daws authored at least 11 papers between 1994 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Symbolic Robustness Analysis of Timed Automata.

Conrado Daws, Piotr Kordy

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

2004

Symbolic and Parametric Model Checking of Discrete-Time Markov Chains.

Conrado Daws

Proceedings of the Theoretical Aspects of Computing, 2004

2002

Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM.

Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman

Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002

1998

Model Checking of Real-Time Reachability Properties Using Abstractions.

Conrado Daws, Stavros Tripakis

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 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

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Optikron: A Tool Suite for Enhancing Model-Checking of Real-Time Systems.

Conrado Daws

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

Kronos: A Model-Checking Tool for Real-Time Systems.

Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1996

Reducing the number of clock variables of timed automata.

Conrado Daws, Sergio Yovine

Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996

1995

Two Examples of Verification of Multirate Timed Automata with Kronos.

Conrado Daws, Sergio Yovine

Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

The Tool KRONOS.

Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine

Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994

Verifying ET-LOTOS programmes with KRONOS.

Conrado Daws, Alfredo Olivero, Sergio Yovine

Proceedings of the Formal Description Techniques VII, 1994