Duncan Clarke

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