BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Hungary
1 × USA
Collaborated with:
D.Kröning N.Sharygina T.Wahl E.A.Emerson A.Groce T.Witkowski G.Weissenbacher
Talks about:
system (2) model (2) abstract (1) symmetr (1) contain (1) concurr (1) analysi (1) verifi (1) symbol (1) predic (1)

Person: Nicolas Blanc

DBLP DBLP: Blanc:Nicolas

Contributed to:

TACAS 20082008
ASE 20072007

Wrote 4 papers:

TACAS-2008-BlancKS #analysis #modelling #named
Scoot: A Tool for the Analysis of SystemC Models (NB, DK, NS), pp. 467–470.
TACAS-2008-WahlBE #named #symmetry #verification
SVISS: Symbolic Verification of Symmetric Systems (TW, NB, EAE), pp. 459–462.
ASE-2007-BlancGK #abstraction #c++ #verification
Verifying C++ with STL containers via predicate abstraction (NB, AG, DK), pp. 521–524.
ASE-2007-WitkowskiBKW #concurrent #linux #model checking
Model checking concurrent linux device drivers (TW, NB, DK, GW), pp. 501–504.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.