( en | de | ru )

 

Disambiguation of "Blanc, Nicolas"

Author of the publication

copydeleteadd this publication to your clipboard
Scoot: A Tool for the Analysis of SystemC Models.

, , and . TACAS, volume 4963 of Lecture Notes in Computer Science, page 467-470. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Tomasz Blanc

Ulrike Blanc

Eva Blanc

Ulrike Blanc

Olivier Blanc

 

Other publications of authors with the same name

Race analysis for systemc using model checking., and . ACM Trans. Design Autom. Electr. Syst., 15 (3): 21:1-21:32 (2010)Verifying C++ with STL containers via predicate abstraction., , and . ASE, page 521-524. ACM, (2007)Scoot: A Tool for the Analysis of SystemC Models., , and . TACAS, volume 4963 of Lecture Notes in Computer Science, page 467-470. Springer, (2008)Smart pixels for real-time optical coherence tomography., , , , and . Three-Dimensional Image Capture and Applications, volume 5302 of SPIE Proceedings, page 21-32. SPIE, (2004)Social dialogue as a form of bottom-up governance for AI: the experience in France, and . Artificial intelligence, labour and society, chapter 16, ETUI aisbl, Brussels, (March 2024)Static Analysis for SystemC with Scoot: From Verification to Simulation.. ETH Zurich, Zürich, Switzerland, (2010)base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/72717).Demonstration of a novel drift field pixel structure for the demodulation of modulated light waves with application in three-dimensional image capture., , , , and . Three-Dimensional Image Capture and Applications, volume 5302 of SPIE Proceedings, page 9-20. SPIE, (2004)Miniature 3D TOF Camera for Real-Time Imaging., , and . PIT, volume 4021 of Lecture Notes in Computer Science, page 212-216. Springer, (2006)A colour 3200fps high-speed CMOS imager for endoscopy in bio-medical applications., , , , , , , and . ESSCIRC, page 415-418. IEEE, (2004)Speeding Up Simulation of SystemC Using Model Checking., and . SBMF, volume 5902 of Lecture Notes in Computer Science, page 1-16. Springer, (2009)