Duncan Clarke

According to our database, Duncan Clarke authored at least 16 papers between 1995 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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

Proceedings of the Medical Image Computing and Computer-Assisted Intervention, 2009

Implementation and analysis of scalable display architecture for laparoscopy.

C. Andy Martin, Qiong Han, Duncan Clarke, C. Melody Carswell, Adrian Park, W. Brent Seales

Proceedings of the Twenty-Second IEEE International Symposium on Computer-Based Medical Systems, 2009

Process-Algebraic Interpretation of AADL Models.

Oleg Sokolsky, Insup Lee, Duncan Clarke

Proceedings of the Reliable Software Technologies, 2009

2008

A new system to acquire and restore document shape and content.

George V. Landon, W. Brent Seales, Duncan Clarke

Proceedings of the 5th ACM/IEEE International Workshop on Projector camera systems, 2008

2006

Schedulability analysis of AADL models.

Oleg Sokolsky, Insup Lee, Duncan Clarke

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Active-RFID System Accuracy and Its Implications for Clinical Applications.

Duncan Clarke, Adrian Park

Proceedings of the 19th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2006), 2006

2002

STG: A Symbolic Test Generation Tool.

Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

2001

STG: a tool for generating symbolic test programs and oracles from operational specifications.

Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Automated Test and Oracle Generation for Smart-Card Applications.

Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva

Proceedings of the Smart Card Programming and Security, 2001

1998

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, Hong-liang Xie

Real Time Syst., 1998

1997

Automatic generation of tests for timing constraints from requirements.

Duncan Clarke, Insup Lee

Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

Automatic Test Generation for the Analysis of a Real-Time System: Case Stud.

Duncan Clarke, Insup Lee

Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium, 1997

1996

Testing-Based Analysis of Real-Time System Models.

Duncan Clarke, Insup Lee

Proceedings of the Proceedings IEEE International Test Conference 1996, 1996

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, Hong-liang Xie, Oleg Sokolsky

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Testing Real-Time Constraints in a Process Algebraic Setting.

Duncan Clarke, Insup Lee

Proceedings of the 17th International Conference on Software Engineering, 1995