BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Portugal
Collaborated with:
S.Tripakis M.Bozga O.Maler A.Olivero S.Yovine
Talks about:
model (3) check (3) time (3) real (3) system (2) tool (2) reachabl (1) properti (1) optikron (1) abstract (1)

Person: Conrado Daws

DBLP DBLP: Daws:Conrado

Contributed to:

CAV 19981998
TACAS 19981998

Wrote 3 papers:

CAV-1998-BozgaDMOTY #model checking #named #realtime
Kronos: A Model-Checking Tool for Real-Time Systems (MB, CD, OM, AO, ST, SY), pp. 546–550.
CAV-1998-Daws #model checking #named #realtime
Optikron: A Tool Suite for Enhancing Model-Checking of Real-Time Systems (CD), pp. 542–545.
TACAS-1998-DawsT #abstraction #model checking #reachability #realtime #using
Model Checking of Real-Time Reachability Properties Using Abstractions (CD, ST), pp. 313–329.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.