 | 2004 |
|---|
| 5 |       | Michael McDougall,
Rajeev Alur,
Carl A. Gunter:
A model-based approach to integrating security policies for embedded devices.
EMSOFT 2004: 211-219 |
| 2002 |
|---|
| 4 | | Alwyn Goodloe,
Michael McDougall,
Carl A. Gunter,
Rajeev Alur:
Predictable programs in barcodes.
CASES 2002: 298-303 |
| 3 | | 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 | | Pankaj Kakkar,
Michael McDougall,
Carl A. Gunter,
Trevor Jim:
Certificate Distribution with Local Autonomy.
IWAN 2000: 277-295 |
