Nicholas Weininger

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	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

Coauthor Index

1	Darren D. Cofer	[c1]
2	Eric Engstrom	[j1] [c2]
3	Sunondo Ghosh	[c3]
4	Scott Iekel-Johnson (Scott Johnson 0002)	[c3]
5	Farnam Jahanian	[c3]
6	Aaron Larson	[j1] [c2]
7	Seungjoon Park	[j1]
8	Corina S. Pasareanu	[j1]
9	John Penix	[j1] [c2]
10	Willem Visser	[j1] [c2]
11	Brian Van Voorst	[c3]

Last update Sun May 26 08:07:09 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page