UNCLASSIFIED IGPPS�nter%Science%of%Signatures%Seminar%Series Clair%J.%Sullivan Department%of%Nuclear,%Plasma,% - Nuclear engineering - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2015-02-24 18:39:19 Association of Public and Land-Grant Universities Committee on Institutional Cooperation North Central Association of Colleges and Schools University of Illinois at Urbana–Champaign Radia Champaign County Illinois Illinois Association of American Universities		UNCLASSIFIED IGPPS%Center%Science%of%Signatures%Seminar%Series Clair%J.%Sullivan Department%of%Nuclear,%Plasma,%&%Radiological%Engineering University%of%Illinois%at%UrbanaCChampaign Add to Reading List Source URL: www.lanl.gov Download Document from Source Website File Size: 949,85 KB Share Document on Facebook

	Bounded Verification with On-the-Fly Discrepancy Computation ? Chuchu Fan and Sayan Mitra {cfan10,mitras}@illinois.edu Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign. DocID: 1xVnP - View Document
	Approximate Partial Order Reduction? Chuchu Fan, Zhenqi Huang, and Sayan Mitra University of Illinois at Urbana-Champaign, ECE Department {cfan10, zhuang25, mitras}@illinois.edu Abstract. We present a new partial order DocID: 1xVg7 - View Document
	Darko Marinov Professor Department of Computer Science University of Illinois at Urbana-Champaign http://mir.cs.illinois.edu/marinov DocID: 1xV0x - View Document
	Path Exploration during Code Navigation by Kaitlin Duck Sherwood B.Sc., University of Illinois at Urbana-Champaign, 1984 M.Sc., University of Illinois at Urbana-Champaign, 1996 DocID: 1xUKb - View Document
	Ritwika Ghosh phone : (+email : Profile : I am a first year graduate student in Computer Science at the University of Illinois, Urbana-Champaign, interested in formal methods, and appl DocID: 1xUbb - View Document