Concepedia

Conrado Daws

CD

Statistics

Publications

4

Citations

353

H-Index

4

Active since

1994

Affiliations

Verimag(Current)

Conrado Daws is an author at Verimag specializing in formal verification, computer engineering, and computer science.

Top concepts

EngineeringVerificationComputer ScienceFormal VerificationSystems EngineeringComputer EngineeringFormal MethodsAutomationReal-time SystemsAsynchronous Systems

Publications per year

1994–2004

4

Publications

4

Reducing the number of clock variables of timed automata

Conrado Daws, Sergio Yovine · 2002 · 135 citations

Mathematical Programming, Engineering, Verification +19

Two examples of verification of multirate timed automata with Kronos

Conrado Daws, Sergio Yovine · 2002 · 123 citations

Engineering, Verification, Formal Verification +16

Verifying ET-LOTOS programmes with KRONOS.

Conrado Daws, Alfredo Olivero, Sergio Yovine · Formal Techniques for (Networked and) Distributed Systems · 1994 · 49 citations

Engineering, Real-time System Design, Verification +17

Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM

Conrado Daws, Marta Kwiatkowska, Gethin Norman · International Journal on Software Tools for Technology Transfer · 2004 · 46 citations

Hardware Security, Ieee 1394, Engineering +14

1–4 of 4