| 2007 |
|---|
| 4 | EE | Scott Little,
David Walter,
Kevin Jones,
Chris J. Myers:
Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces.
ATVA 2007: 114-128 |
| 2006 |
|---|
| 3 | EE | Kevin Jones,
Frank Boria,
Richard J. Bachmann,
Ravi Vaidyanathan,
Peter G. Ifju,
Roger D. Quinn:
MMALV - The Morphing Micro Air-Land Vehicle.
IROS 2006 |
| 2 | EE | Helge Janicke,
Antonio Cau,
François Siewe,
Hussein Zedan,
Kevin Jones:
A Compositional Event & Time-Based Policy Model.
POLICY 2006: 173-182 |
| 2005 |
|---|
| 1 | EE | Helge Janicke,
François Siewe,
Kevin Jones,
Antonio Cau,
Hussein Zedan:
Analysis and Run-Time Verification of Dynamic Security Policies.
DAMAS 2005: 92-103 |
