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: Blanc:Nicolas
Contributed to:
2008
2007Wrote 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.