<?xml version="1.0"?>
<dblpperson name="Duncan Clarke" pid="66/4985" n="16">
<person key="homepages/66/4985" mdate="2009-06-10">
<author pid="66/4985">Duncan Clarke</author>
</person>
<r><article key="journals/ejivp/LandonCS09" mdate="2024-10-06">
<author orcid="0009-0006-3990-6557" pid="19/246">George V. Landon</author>
<author pid="66/4985">Duncan Clarke</author>
<author pid="25/6377">W. Brent Seales</author>
<title>A New Technique for the Digitization and Restoration of Deteriorated Photographic Negatives.</title>
<year>2009</year>
<volume>2009</volume>
<journal>EURASIP J. Image Video Process.</journal>
<ee type="oa">https://doi.org/10.1155/2009/217016</ee>
<ee>https://www.wikidata.org/entity/Q59249123</ee>
<url>db/journals/ejivp/ejivp2009.html#LandonCS09</url>
</article>
</r>
<r><inproceedings key="conf/adaEurope/SokolskyLC09" mdate="2025-03-03">
<author orcid="0000-0001-5282-0658" pid="31/4030">Oleg Sokolsky</author>
<author pid="l/InsupLee">Insup Lee 0001</author>
<author pid="66/4985">Duncan Clarke</author>
<title>Process-Algebraic Interpretation of AADL Models.</title>
<pages>222-236</pages>
<year>2009</year>
<booktitle>Ada-Europe</booktitle>
<ee>https://doi.org/10.1007/978-3-642-01924-1_16</ee>
<crossref>conf/adaEurope/2009</crossref>
<url>db/conf/adaEurope/adaEurope2009.html#SokolskyLC09</url>
</inproceedings>
</r>
<r><inproceedings key="conf/cbms/MartinHCCPS09" mdate="2023-03-24">
<author pid="30/8029">C. Andy Martin</author>
<author pid="02/4720">Qiong Han</author>
<author pid="66/4985">Duncan Clarke</author>
<author pid="28/7931">C. Melody Carswell</author>
<author pid="32/4516">Adrian Park 0001</author>
<author pid="25/6377">W. Brent Seales</author>
<title>Implementation and analysis of scalable display architecture for laparoscopy.</title>
<pages>1-8</pages>
<year>2009</year>
<booktitle>CBMS</booktitle>
<ee>https://doi.org/10.1109/CBMS.2009.5255367</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/CBMS.2009.5255367</ee>
<crossref>conf/cbms/2009</crossref>
<url>db/conf/cbms/cbms2009.html#MartinHCCPS09</url>
</inproceedings>
</r>
<r><inproceedings key="conf/miccai/HanSCCS09" mdate="2022-10-31">
<author pid="02/4720">Qiong Han</author>
<author pid="94/7426">Stephen E. Strup</author>
<author pid="28/7931">C. Melody Carswell</author>
<author pid="66/4985">Duncan Clarke</author>
<author pid="25/6377">William Brent Seales</author>
<title>Model Completion via Deformation Cloning Based on an Explicit Global Deformation Model.</title>
<pages>1067-1074</pages>
<year>2009</year>
<booktitle>MICCAI (1)</booktitle>
<ee type="oa">https://doi.org/10.1007/978-3-642-04271-3_129</ee>
<ee>https://www.wikidata.org/entity/Q62499500</ee>
<crossref>conf/miccai/2009-2</crossref>
<url>db/conf/miccai/miccai2009-2.html#HanSCCS09</url>
</inproceedings>
</r>
<r><inproceedings key="conf/procams/LandonSC08" mdate="2024-10-06">
<author orcid="0009-0006-3990-6557" pid="19/246">George V. Landon</author>
<author pid="25/6377">W. Brent Seales</author>
<author pid="66/4985">Duncan Clarke</author>
<title>A new system to acquire and restore document shape and content.</title>
<pages>12:1-12:8</pages>
<year>2008</year>
<booktitle>PROCAMS</booktitle>
<ee>https://doi.org/10.1145/1394622.1394638</ee>
<crossref>conf/procams/2008</crossref>
<url>db/conf/procams/procams2008.html#LandonSC08</url>
</inproceedings>
</r>
<r><inproceedings key="conf/cbms/ClarkeP06" mdate="2023-03-24">
<author pid="66/4985">Duncan Clarke</author>
<author pid="32/4516">Adrian Park 0001</author>
<title>Active-RFID System Accuracy and Its Implications for Clinical Applications.</title>
<pages>21-26</pages>
<year>2006</year>
<crossref>conf/cbms/2006</crossref>
<booktitle>CBMS</booktitle>
<ee>https://doi.org/10.1109/CBMS.2006.33</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/CBMS.2006.33</ee>
<url>db/conf/cbms/cbms2006.html#ClarkeP06</url>
</inproceedings>
</r>
<r><inproceedings key="conf/ipps/SokolskyLC06" mdate="2025-03-03">
<author orcid="0000-0001-5282-0658" pid="31/4030">Oleg Sokolsky</author>
<author pid="l/InsupLee">Insup Lee 0001</author>
<author pid="66/4985">Duncan Clarke</author>
<title>Schedulability analysis of AADL models.</title>
<year>2006</year>
<crossref>conf/ipps/2006</crossref>
<booktitle>IPDPS</booktitle>
<ee>https://doi.org/10.1109/IPDPS.2006.1639421</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/IPDPS.2006.1639421</ee>
<url>db/conf/ipps/ipdps2006.html#SokolskyLC06</url>
</inproceedings>
</r>
<r><inproceedings key="conf/tacas/ClarkeJRZ02" mdate="2025-07-24">
<author pid="66/4985">Duncan Clarke</author>
<author pid="50/6556">Thierry J&#233;ron</author>
<author pid="42/834">Vlad Rusu</author>
<author pid="08/5822">Elena Zinovieva 0001</author>
<title>STG: A Symbolic Test Generation Tool.</title>
<pages>470-475</pages>
<year>2002</year>
<crossref>conf/tacas/2002</crossref>
<booktitle>TACAS</booktitle>
<ee>https://doi.org/10.1007/3-540-46002-0_34</ee>
<url>db/conf/tacas/tacas2002.html#ClarkeJRZ02</url>
</inproceedings>
</r>
<r><inproceedings key="conf/esmart/ClarkeJRZ01" mdate="2025-07-24">
<author pid="66/4985">Duncan Clarke</author>
<author pid="50/6556">Thierry J&#233;ron</author>
<author pid="42/834">Vlad Rusu</author>
<author pid="08/5822">Elena Zinovieva 0001</author>
<title>Automated Test and Oracle Generation for Smart-Card Applications.</title>
<pages>58-70</pages>
<year>2001</year>
<crossref>conf/esmart/2001</crossref>
<booktitle>E-smart</booktitle>
<ee>https://doi.org/10.1007/3-540-45418-7_6</ee>
<url>db/conf/esmart/esmart2001.html#ClarkeJRZ01</url>
</inproceedings>
</r>
<r><inproceedings key="conf/sigsoft/ClarkeJRZ01" mdate="2025-07-24">
<author pid="66/4985">Duncan Clarke</author>
<author pid="50/6556">Thierry J&#233;ron</author>
<author pid="42/834">Vlad Rusu</author>
<author pid="08/5822">Elena Zinovieva 0001</author>
<title>STG: a tool for generating symbolic test programs and oracles from operational specifications.</title>
<pages>301-302</pages>
<year>2001</year>
<crossref>conf/sigsoft/2001</crossref>
<booktitle>ESEC / SIGSOFT FSE</booktitle>
<ee>https://doi.org/10.1145/503209.503252</ee>
<ee>https://doi.org/10.1145/503271.503252</ee>
<url>db/conf/sigsoft/fse2001.html#ClarkeJRZ01</url>
</inproceedings>
</r>
<r><article key="journals/rts/Ben-AbdallahCCKLX98" mdate="2024-05-07">
<author pid="07/6383">Han&#234;ne Ben-Abdallah</author>
<author orcid="0000-0002-8100-7583" pid="30/1428">Jin-Young Choi</author>
<author pid="66/4985">Duncan Clarke</author>
<author pid="92/4230">Young-Si Kim</author>
<author pid="l/InsupLee">Insup Lee 0001</author>
<author pid="37/6469">Hong-liang Xie</author>
<title>A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems.</title>
<pages>189-219</pages>
<year>1998</year>
<volume>15</volume>
<journal>Real Time Syst.</journal>
<number>3</number>
<url>db/journals/rts/rts15.html#Ben-AbdallahCCKLX98</url>
<ee>https://doi.org/10.1023/A:1008047130023</ee>
</article>
</r>
<r><inproceedings key="conf/rtas/ClarkeL97" mdate="2023-03-23">
<author pid="66/4985">Duncan Clarke</author>
<author pid="l/InsupLee">Insup Lee 0001</author>
<title>Automatic Test Generation for the Analysis of a Real-Time System: Case Stud.</title>
<pages>112-124</pages>
<year>1997</year>
<crossref>conf/rtas/1997</crossref>
<booktitle>IEEE Real Time Technology and Applications Symposium</booktitle>
<ee>https://doi.org/10.1109/RTTAS.1997.601349</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/RTTAS.1997.601349</ee>
<url>db/conf/rtas/rtas1997.html#ClarkeL97</url>
</inproceedings>
</r>
<r><inproceedings key="conf/words/ClarkeL97" mdate="2023-03-24">
<author pid="66/4985">Duncan Clarke</author>
<author pid="l/InsupLee">Insup Lee 0001</author>
<title>Automatic generation of tests for timing constraints from requirements.</title>
<pages>199-206</pages>
<year>1997</year>
<booktitle>WORDS</booktitle>
<ee>https://doi.org/10.1109/WORDS.1997.609955</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/WORDS.1997.609955</ee>
<crossref>conf/words/1997</crossref>
<url>db/conf/words/words1997.html#ClarkeL97</url>
</inproceedings>
</r>
<r><inproceedings key="conf/cav/ClarkeBLXS96" mdate="2025-03-03">
<author pid="66/4985">Duncan Clarke</author>
<author orcid="0000-0001-9215-4661" pid="07/6383">Han&#234;ne Ben-Abdallah</author>
<author pid="l/InsupLee">Insup Lee 0001</author>
<author pid="37/6469">Hong-liang Xie</author>
<author orcid="0000-0001-5282-0658" pid="31/4030">Oleg Sokolsky</author>
<title>XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems.</title>
<pages>402-405</pages>
<year>1996</year>
<crossref>conf/cav/1996</crossref>
<booktitle>CAV</booktitle>
<url>db/conf/cav/cav96.html#ClarkeBLXS96</url>
<ee>https://doi.org/10.1007/3-540-61474-5_89</ee>
</inproceedings>
</r>
<r><inproceedings key="conf/itc/ClarkeL96" mdate="2023-03-23">
<author pid="66/4985">Duncan Clarke</author>
<author pid="l/InsupLee">Insup Lee 0001</author>
<title>Testing-Based Analysis of Real-Time System Models.</title>
<pages>894-903</pages>
<year>1996</year>
<crossref>conf/itc/1996</crossref>
<booktitle>ITC</booktitle>
<url>db/conf/itc/itc1996.html#ClarkeL96</url>
<ee>https://doi.org/10.1109/TEST.1996.557151</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/TEST.1996.557151</ee>
</inproceedings>
</r>
<r><inproceedings key="conf/icse/ClarkeL95" mdate="2023-01-26">
<author pid="66/4985">Duncan Clarke</author>
<author pid="l/InsupLee">Insup Lee 0001</author>
<title>Testing Real-Time Constraints in a Process Algebraic Setting.</title>
<pages>51-60</pages>
<year>1995</year>
<crossref>conf/icse/1995</crossref>
<booktitle>ICSE</booktitle>
<ee>https://doi.org/10.1145/225014.225019</ee>
<url>db/conf/icse/icse95.html#ClarkeL95</url>
</inproceedings>
</r>
<coauthors n="16" nc="3">
<co c="1"><na f="b/Ben=Abdallah:Han=ecirc=ne" pid="07/6383">Han&#234;ne Ben-Abdallah</na></co>
<co c="0"><na f="c/Carswell:C=_Melody" pid="28/7931">C. Melody Carswell</na></co>
<co c="1" n="2"><na f="c/Choi:Jin_Young" pid="30/1428">Jin Young Choi</na><na>Jin-Young Choi</na></co>
<co c="0"><na f="h/Han:Qiong" pid="02/4720">Qiong Han</na></co>
<co c="2"><na f="j/J=eacute=ron:Thierry" pid="50/6556">Thierry J&#233;ron</na></co>
<co c="1"><na f="k/Kim:Young=Si" pid="92/4230">Young-Si Kim</na></co>
<co c="0"><na f="l/Landon:George_V=" pid="19/246">George V. Landon</na></co>
<co c="1"><na f="l/Lee_0001:Insup" pid="l/InsupLee">Insup Lee 0001</na></co>
<co c="2" n="2"><na f="l/Leroux:Elena" pid="08/5822">Elena Leroux</na><na>Elena Zinovieva 0001</na></co>
<co c="0"><na f="m/Martin:C=_Andy" pid="30/8029">C. Andy Martin</na></co>
<co c="0"><na f="p/Park_0001:Adrian" pid="32/4516">Adrian Park 0001</na></co>
<co c="2"><na f="r/Rusu:Vlad" pid="42/834">Vlad Rusu</na></co>
<co c="0" n="2"><na f="s/Seales:W=_Brent" pid="25/6377">W. Brent Seales</na><na>William Brent Seales</na></co>
<co c="1"><na f="s/Sokolsky:Oleg" pid="31/4030">Oleg Sokolsky</na></co>
<co c="0"><na f="s/Strup:Stephen_E=" pid="94/7426">Stephen E. Strup</na></co>
<co c="1"><na f="x/Xie:Hong=liang" pid="37/6469">Hong-liang Xie</na></co>
</coauthors>
</dblpperson>

