| 2006 |
|---|
| 10 | EE | Duncan Clarke,
Adrian Park:
Active-RFID System Accuracy and Its Implications for Clinical Applications.
CBMS 2006: 21-26 |
| 9 | EE | Oleg Sokolsky,
Insup Lee,
Duncan Clarke:
Schedulability analysis of AADL models.
IPDPS 2006 |
| 2002 |
|---|
| 8 | EE | Duncan Clarke,
Thierry Jéron,
Vlad Rusu,
Elena Zinovieva:
STG: A Symbolic Test Generation Tool.
TACAS 2002: 470-475 |
| 2001 |
|---|
| 7 | EE | Duncan Clarke,
Thierry Jéron,
Vlad Rusu,
Elena Zinovieva:
Automated Test and Oracle Generation for Smart-Card Applications.
E-smart 2001: 58-70 |
| 6 | EE | 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 | EE | 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 | EE | Duncan Clarke,
Insup Lee:
Testing Real-Time Constraints in a Process Algebraic Setting.
ICSE 1995: 51-60 |
