| 2005 | ||
|---|---|---|
| j1 | 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 | ||
| c3 | Scott Johnson, Farnam Jahanian, Sunondo Ghosh, Brian Van Voorst, Nicholas Weininger: Experiences with Group Communication Middleware. DSN 2000: 37-42 | |
| c2 | John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger: Verification of time partitioning in the DEOS scheduler kernel. ICSE 2000: 488-497 | |
| c1 | Nicholas Weininger, Darren D. Cofer: Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study. SPIN 2000: 93-112 | |
Data released under the ODC-BY 1.0 license — See also our legal information page