Publications
3 shownModel-checking for real-time systems
This research extends CTL model-checking to the analysis of real-time systems, whose correctness depends on the magnitudes of the timing delays. For specifications, the syntax o...
A really temporal logic
A real-time temporal logic for the specification of reactive systems is introduced. The novel feature of the logic, TPTL, is the adoption of temporal operators as quantifiers ov...
Frequent Co-Authors
Researcher Info
- h-index
- 3
- Publications
- 3
- Citations
- 7,439
- Institution
- Stanford University
External Links
Identifiers
- ORCID
- 0000-0003-1733-7083
Impact Metrics
h-index
3
h-index: Number of publications with at least h citations each.