|
Search the dblp DataBase
Nicolas Blanc:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Thierry Oggier, Felix Lustenberger, Nicolas Blanc
Miniature 3D TOF Camera for Real-Time Imaging. [Citation Graph (0, 0)][DBLP] PIT, 2006, pp:212-216 [Conf]
Race analysis for SystemC using model checking. [Citation Graph (, )][DBLP]
Model checking concurrent linux device drivers. [Citation Graph (, )][DBLP]
Verifying C++ with STL containers via predicate abstraction. [Citation Graph (, )][DBLP]
SVISS: Symbolic Verification of Symmetric Systems. [Citation Graph (, )][DBLP]
Scoot: A Tool for the Analysis of SystemC Models. [Citation Graph (, )][DBLP]
Speeding Up Simulation of SystemC Using Model Checking. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|