dblp.uni-trier.dewww.uni-trier.de

Duncan Clarke Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
12EEOleg Sokolsky, Insup Lee, Duncan Clarke: Process-Algebraic Interpretation of AADL Models. Ada-Europe 2009: 222-236
11EEQiong Han, Stephen E. Strup, Melody C. Carswell, Duncan Clarke, Williams B. Seales: Model Completion via Deformation Cloning Based on an Explicit Global Deformation Model. MICCAI (1) 2009: 1067-1074
2006
10EEDuncan Clarke, Adrian Park: Active-RFID System Accuracy and Its Implications for Clinical Applications. CBMS 2006: 21-26
9EEOleg Sokolsky, Insup Lee, Duncan Clarke: Schedulability analysis of AADL models. IPDPS 2006
2002
8EEDuncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva: STG: A Symbolic Test Generation Tool. TACAS 2002: 470-475
2001
7EEDuncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva: Automated Test and Oracle Generation for Smart-Card Applications. E-smart 2001: 58-70
6EEDuncan 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
4EEDuncan 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
3EEDuncan 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
1EEDuncan Clarke, Insup Lee: Testing Real-Time Constraints in a Process Algebraic Setting. ICSE 1995: 51-60

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)