| 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) |
| 2000 |
|---|
| 3 | EE | Scott Johnson,
Farnam Jahanian,
Sunondo Ghosh,
Brian Van Voorst,
Nicholas Weininger:
Experiences with Group Communication Middleware.
DSN 2000: 37-42 |
| 2 | EE | John Penix,
Willem Visser,
Eric Engstrom,
Aaron Larson,
Nicholas Weininger:
Verification of time partitioning in the DEOS scheduler kernel.
ICSE 2000: 488-497 |
| 1 | | Nicholas Weininger,
Darren D. Cofer:
Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study.
SPIN 2000: 93-112 |
