The SCEAS System
Navigation Menu

Search the dblp DataBase


Nicholas Weininger: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002