Nicholas Weininger

Publication Activity (10 Years)

Years Active: 2000-2005
Publications (10 Years): 0

Publications

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