Duncan Clarke

Publication Activity (10 Years)

Years Active: 1995-2009
Publications (10 Years): 0

Publications

George V. Landon, Duncan Clarke, W. Brent Seales
A New Technique for the Digitization and Restoration of Deteriorated Photographic Negatives. EURASIP J. Image Video Process. 2009 (2009)
C. Andy Martin, Qiong Han, Duncan Clarke, C. Melody Carswell, Adrian Park, W. Brent Seales
Implementation and analysis of scalable display architecture for laparoscopy. CBMS (2009)
Qiong Han, Stephen E. Strup, C. Melody Carswell, Duncan Clarke, Williams B. Seales
Model Completion via Deformation Cloning Based on an Explicit Global Deformation Model. MICCAI (1) (2009)
Oleg Sokolsky, Insup Lee, Duncan Clarke
Process-Algebraic Interpretation of AADL Models. Ada-Europe (2009)
George V. Landon, W. Brent Seales, Duncan Clarke
A new system to acquire and restore document shape and content. PROCAMS (2008)
Oleg Sokolsky, Insup Lee, Duncan Clarke
Schedulability analysis of AADL models. IPDPS (2006)
Duncan Clarke, Adrian Park
Active-RFID System Accuracy and Its Implications for Clinical Applications. CBMS (2006)
Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva
STG: A Symbolic Test Generation Tool. TACAS (2002)
Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva
STG: a tool for generating symbolic test programs and oracles from operational specifications. ESEC / SIGSOFT FSE (2001)
Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva
Automated Test and Oracle Generation for Smart-Card Applications. E-smart (2001)
Hanêne Ben-Abdallah, Jin-Young Choi, Duncan Clarke, Young-Si Kim, Insup Lee, Hong-liang Xie
A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems. Real Time Syst. 15 (3) (1998)
Duncan Clarke, Insup Lee
Automatic Test Generation for the Analysis of a Real-Time System: Case Stud. IEEE Real Time Technology and Applications Symposium (1997)
Duncan Clarke, Insup Lee
Automatic generation of tests for timing constraints from requirements. WORDS (1997)
Duncan Clarke, Hanêne Ben-Abdallah, Insup Lee, Hong-liang Xie, Oleg Sokolsky
XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems. CAV (1996)
Duncan Clarke, Insup Lee
Testing-Based Analysis of Real-Time System Models. ITC (1996)
Duncan Clarke, Insup Lee
Testing Real-Time Constraints in a Process Algebraic Setting. ICSE (1995)