Duncan Clarke

	2009
14		Oleg Sokolsky, Insup Lee, Duncan Clarke: Process-Algebraic Interpretation of AADL Models. Ada-Europe 2009: 222-236
13		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: 1-8
12		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: 1067-1074
11		George V. Landon, Duncan Clarke, W. Brent Seales: A New Technique for the Digitization and Restoration of Deteriorated Photographic Negatives. EURASIP J. Image and Video Processing 2009: (2009)
	2006
10		Duncan Clarke, Adrian Park: Active-RFID System Accuracy and Its Implications for Clinical Applications. CBMS 2006: 21-26
9		Oleg Sokolsky, Insup Lee, Duncan Clarke: Schedulability analysis of AADL models. IPDPS 2006
	2002
8		Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva: STG: A Symbolic Test Generation Tool. TACAS 2002: 470-475
	2001
7		Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva: Automated Test and Oracle Generation for Smart-Card Applications. E-smart 2001: 58-70
6		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: 301-302
	1998
5		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 Systems 15(3): 189-219 (1998)
	1997
4		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: 112-124
	1996
3		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 Sytems. CAV 1996: 402-405
2		Duncan Clarke, Insup Lee: Testing-Based Analysis of Real-Time System Models. ITC 1996: 894-903
	1995
1		Duncan Clarke, Insup Lee: Testing Real-Time Constraints in a Process Algebraic Setting. ICSE 1995: 51-60

Coauthor Index

1	Hanêne Ben-Abdallah	[3] [5]
2	C. Melody Carswell	[12] [13]
3	Jin-Young Choi	[5]
4	Qiong Han	[12] [13]
5	Thierry Jéron	[6] [7] [8]
6	Young-Si Kim	[5]
7	George V. Landon	[11]
8	Insup Lee	[1] [2] [3] [4] [5] [9] [14]
9	C. Andy Martin	[13]
10	Adrian Park	[10] [13]
11	Vlad Rusu	[6] [7] [8]
12	W. Brent Seales (Williams B. Seales)	[11] [12] [13]
13	Oleg Sokolsky	[3] [9] [14]
14	Stephen E. Strup	[12]
15	Hong-liang Xie	[3] [5]
16	Elena Zinovieva	[6] [7] [8]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page