MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Duncan Clarke" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

17 documents found, showing 1 through 10. Next 10 →

ATOM

VERSA: Verification, Execution and Rewrite System for ACSR
by Duncan Clarke — 1994
…VERSA: Verification, Execution and Rewrite System for ACSR Duncan Clarke Department of Computer…
Cited by 2 (0 self) – Add To MetaCart

Automatic Generation of Tests for Timing Constraints from Requirements
by Duncan Clarke, Insup Lee — 1997 — In Proceedings of the Third International Workshop on Object-Oriented Real-Time Dependable Systems
…Automatic Generation of Tests for Timing Constraints from Requirements Duncan Clarke Department…
Cited by 13 (0 self) – Add To MetaCart

Automatic Specification-Based Testing of Real-Time Properties
by Duncan Clarke, Insup Lee — 1997 — Properties, Proceedings of the Third International Workshop on Object-Oriented Real-Time Dependable Systems, IEEE
…Automatic Specification-Based Testing of Real-Time Properties Duncan Clarke Department…
Cited by 3 (1 self) – Add To MetaCart

Testing Real-Time Constraints in a Process Algebraic Setting
by Duncan Clarke, Insup Lee — 1995 — In International Conference on Software Engineering
…) Testing Real-Time Constraints in a Process Algebraic Setting Duncan Clarke and Insup Lee Department…
Cited by 4 (1 self) – Add To MetaCart

A Hybrid Approach to Formal Verification Applied to an ATM Switching System
by Duncan Clarke, Insup Lee — 1995
…A Hybrid Approach to Formal Verification Applied to an ATM Switching System Duncan Clarke…
Cited by 2 (2 self) – Add To MetaCart

The Modular Specification and Analysis of an ATM Switching System Using a Process Algebra
by Duncan Clarke, Insup Lee — 1996
…The Modular Specification and Analysis of an ATM Switching System Using a Process Algebra Duncan…
Cited by 1 (1 self) – Add To MetaCart

Testing-Based Analysis of Real-Time System Models
by Duncan Clarke, Insup Lee — 1996 — In Proceedings of International Test Conference
…Testing-Based Analysis of Real-Time System Models Duncan Clarke and Insup Lee Department…
Cited by 2 (2 self) – Add To MetaCart

PARAGON: A Paradigm for the Speci cation, Veri cation, and Testing of Real-Time Systems
by Duncan Clarke, Insup Lee — In IEEE Aerospace Conference
…-Abdallah Duncan Clarke Dept. of Electrical & Computer Engineering Dept. of Computer Science University of…
Cited by 2 (2 self) – Add To MetaCart

Automatic Test Generation for the Analysis of a Real-Time System: Case Study
by Duncan Clarke, Insup Lee — 1997 — In IEEE Real-Time Technology and Applications
…Automatic Test Generation for the Analysis of a Real-Time System: Case Study Duncan Clarke Insup…
Cited by 7 (2 self) – Add To MetaCart

Automatic Generation of Tests for Timing Constraints from Requirements
by Duncan Clarke Insup, Duncan Clarke, Insup Lee — 1997 — In Proceedings of the Third International Workshop on Object-Oriented Real-Time Dependable Systems
…Automatic Generation of Tests for Timing Constraints from Requirements Duncan Clarke Insup Lee…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB