| 2004 |
|---|
| 5 | EE | Michael McDougall,
Rajeev Alur,
Carl A. Gunter:
A model-based approach to integrating security policies for embedded devices.
EMSOFT 2004: 211-219 |
| 2002 |
|---|
| 4 | EE | Alwyn Goodloe,
Michael McDougall,
Carl A. Gunter,
Rajeev Alur:
Predictable programs in barcodes.
CASES 2002: 298-303 |
| 3 | EE | Rajeev Alur,
Michael McDougall,
Zijiang Yang:
Exploiting Behavioral Hierarchy for Efficient Model Checking.
CAV 2002: 338-342 |
| 2000 |
|---|
| 2 | | Rajeev Alur,
Radu Grosu,
Michael McDougall:
Efficient Reachability Analysis of Hierarchical Reactive Machines.
CAV 2000: 280-295 |
| 1 | EE | Pankaj Kakkar,
Michael McDougall,
Carl A. Gunter,
Trevor Jim:
Certificate Distribution with Local Autonomy.
IWAN 2000: 277-295 |
