Concepedia

Duncan L. Clarke

DL

Statistics

Publications

16

Citations

680

H-Index

13

Active since

1993

Affiliations

University of Kentucky(Current)

University of Pennsylvania

Duncan L. Clarke is an author at University of Kentucky specializing in formal methods, program analysis, and formal verification.

Top concepts

EngineeringFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringSoftware DesignSystem SoftwareComputer ScienceReal-time Systems

Publications per year

1993–2010

16

Publications

16

Assessing Mental Workload During Laparoscopic Surgery

C. Melody Carswell, Duncan L. Clarke, W. Brent Seales · Surgical Innovation · 2005 · 194 citations

Physical Activity, Performance Efficiency Measures, Task Analysis +20

Schedulability analysis of AADL models

Oleg Sokolsky, Insup Lee, Duncan L. Clarke · International Parallel and Distributed Processing Symposium · 2006 · 74 citations

Engineering, Computer Architecture, Software Engineering +23

Automatic generation of tests for timing constraints from requirements

Duncan L. Clarke, I. Lee · 2002 · 72 citations

Engineering, Acsr Semantic Framework, Acsr Model +21

VERSA: A Tool for the Specification and Analysis of Resource-Bound Real-Time Systems

Duncan L. Clarke, Insup Lee, Hong-Liang Xie · ScholarlyCommons (University of Pennsylvania) · 1993 · 50 citations · Full text

Schedulability analysis of AADL models

Oleg Sokolsky, I. Lee, Duncan L. Clarke · 2006 · 44 citations

Engineering, Computer Architecture, Software Engineering +23

1–5 of 16