Nicholas Weininger

According to our database, Nicholas Weininger authored at least 4 papers between 2000 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Verifying Time Partitioning in the DEOS Scheduling Kernel.

John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger

Formal Methods Syst. Des., 2005

2000

Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study.

Nicholas Weininger, Darren D. Cofer

Proceedings of the SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30, 2000

Verification of time partitioning in the DEOS scheduler kernel.

John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Experiences with Group Communication Middleware.

Scott Johnson, Farnam Jahanian, Sunondo Ghosh, Brian Van Voorst, Nicholas Weininger

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000