| 2005 |
|---|
| 4 | EE | John Penix,
Willem Visser,
Seungjoon Park,
Corina S. Pasareanu,
Eric Engstrom,
Aaron Larson,
Nicholas Weininger:
Verifying Time Partitioning in the DEOS Scheduling Kernel.
Formal Methods in System Design 26(2): 103-135 (2005) |
| 2003 |
|---|
| 3 | EE | Kirk Schloegel,
David Oglesby,
Eric Engstrom,
Devesh Bhatt:
Composable Code Generation for Model-Based Development.
SCOPES 2003: 211-225 |
| 2001 |
|---|
| 2 | EE | Darren D. Cofer,
Eric Engstrom,
Robert P. Goldman,
David J. Musliner,
Steve Vestal:
Applications of Model Checking at Honeywell Laboratories.
SPIN 2001: 296-303 |
| 2000 |
|---|
| 1 | EE | John Penix,
Willem Visser,
Eric Engstrom,
Aaron Larson,
Nicholas Weininger:
Verification of time partitioning in the DEOS scheduler kernel.
ICSE 2000: 488-497 |
