Testing Real-Time Constraints in a Process Algebraic Setting. - Duncan Clarke; Insup Lee 001 (ICSE, 1995)

XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems. - Duncan Clarke; Hanêne Ben-Abdallah; Insup Lee 001; Hong-liang Xie; Oleg Sokolsky (CAV, 1996)

Testing-Based Analysis of Real-Time System Models. - Duncan Clarke; Insup Lee 001 (ITC, 1996)

Automatic Test Generation for the Analysis of a Real-Time System: Case Stud. - Duncan Clarke; Insup Lee 001 (IEEE Real Time Technology and Applications Symposium, 1997)

Automatic generation of tests for timing constraints from requirements. - Duncan Clarke; Insup Lee 001 (WORDS, 1997)

A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems. - Hanêne Ben-Abdallah; Jin-Young Choi; Duncan Clarke; Young-Si Kim; Insup Lee 001; Hong-liang Xie (Real Time Syst., 1998)

Automated Test and Oracle Generation for Smart-Card Applications. - Duncan Clarke; Thierry Jéron; Vlad Rusu; Elena Zinovieva 001 (E-smart, 2001)

STG: a tool for generating symbolic test programs and oracles from operational specifications. - Duncan Clarke; Thierry Jéron; Vlad Rusu; Elena Zinovieva 001 (ESEC / SIGSOFT FSE, 2001)

STG: A Symbolic Test Generation Tool. - Duncan Clarke; Thierry Jéron; Vlad Rusu; Elena Zinovieva 001 (TACAS, 2002)

Active-RFID System Accuracy and Its Implications for Clinical Applications. - Duncan Clarke; Adrian Park 001 (CBMS, 2006)

Schedulability analysis of AADL models. - Oleg Sokolsky; Insup Lee 001; Duncan Clarke (IPDPS, 2006)

A new system to acquire and restore document shape and content. - George V. Landon; W. Brent Seales; Duncan Clarke (PROCAMS, 2008)

Process-Algebraic Interpretation of AADL Models. - Oleg Sokolsky; Insup Lee 001; Duncan Clarke (Ada-Europe, 2009)

Implementation and analysis of scalable display architecture for laparoscopy. - C. Andy Martin; Qiong Han; Duncan Clarke; C. Melody Carswell; Adrian Park 001; W. Brent Seales (CBMS, 2009)

Model Completion via Deformation Cloning Based on an Explicit Global Deformation Model. - Qiong Han; Stephen E. Strup; C. Melody Carswell; Duncan Clarke; William Brent Seales (MICCAI (1), 2009)

A New Technique for the Digitization and Restoration of Deteriorated Photographic Negatives. - George V. Landon; Duncan Clarke; W. Brent Seales (EURASIP J. Image Video Process., 2009)