Nicolas Blanc

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

Ask others: ACM DL/Guide -

	2010
j1		Nicolas Blanc, Daniel Kroening: Race analysis for systemc using model checking. ACM Trans. Design Autom. Electr. Syst. 15(3) (2010)
	2009
c7		Nicolas Blanc, Daniel Kroening: Speeding Up Simulation of SystemC Using Model Checking. SBMF 2009: 1-16
	2008
c6		Nicolas Blanc, Daniel Kroening: Race analysis for SystemC using model checking. ICCAD 2008: 356-363
c5		Thomas Wahl, Nicolas Blanc, E. Allen Emerson: SVISS: Symbolic Verification of Symmetric Systems. TACAS 2008: 459-462
c4		Nicolas Blanc, Daniel Kroening, Natasha Sharygina: Scoot: A Tool for the Analysis of SystemC Models. TACAS 2008: 467-470
	2007
c3		Thomas Witkowski, Nicolas Blanc, Daniel Kroening, Georg Weissenbacher: Model checking concurrent linux device drivers. ASE 2007: 501-504
c2		Nicolas Blanc, Alex Groce, Daniel Kroening: Verifying C++ with STL containers via predicate abstraction. ASE 2007: 521-524
	2006
c1		Thierry Oggier, Felix Lustenberger, Nicolas Blanc: Miniature 3D TOF Camera for Real-Time Imaging. PIT 2006: 212-216

Coauthor Index

1	E. Allen Emerson	[c5]
2	Alex Groce	[c2]
3	Daniel Kroening (Daniel Kröning)	[j1] [c7] [c6] [c4] [c3] [c2]
4	Felix Lustenberger	[c1]
5	Thierry Oggier	[c1]
6	Natasha Sharygina	[c4]
7	Thomas Wahl	[c5]
8	Georg Weissenbacher	[c3]
9	Thomas Witkowski	[c3]

Last update Fri May 24 02:29:57 2013 CET by the DBLP Team —

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