|
Search the dblp DataBase
Nicholas Weininger:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Scott Johnson, Farnam Jahanian, Sunondo Ghosh, Brian Van Voorst, Nicholas Weininger
Experiences with Group Communication Middleware. [Citation Graph (0, 0)][DBLP] DSN, 2000, pp:37-42 [Conf]
- John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger
Verification of time partitioning in the DEOS scheduler kernel. [Citation Graph (0, 0)][DBLP] ICSE, 2000, pp:488-497 [Conf]
- Nicholas Weininger, Darren D. Cofer
Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study. [Citation Graph (0, 0)][DBLP] SPIN, 2000, pp:93-112 [Conf]
- John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger
Verifying Time Partitioning in the DEOS Scheduling Kernel. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2005, v:26, n:2, pp:103-135 [Journal]
Search in 0.001secs, Finished in 0.002secs
|