Nicolas Blanc

According to our database, Nicolas Blanc authored at least 14 papers between 2004 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Building a Crowdsourcing based Disabled Pedestrian Level of Service routing application using Computer Vision and Machine Learning.

Nicolas Blanc, Zhan Liu, Olivier Ertz, Diego Rojas, Romain Sandoz, Maria Sokhn, Jens Ingensand, Jean-Christophe Loubier

Proceedings of the 16th IEEE Annual Consumer Communications & Networking Conference, 2019

2018

The utilization of landscape pictures extracted from open picture collections for the determination of interest in spatial features.

Jens Ingensand, Jean-Christophe Foltête, Stéphane Cretegny, Nicolas Blanc, Sarah Composto

PeerJ Prepr., 2018

A semi-automatic tool to georeference historical landscape images.

Nicolas Blanc, Timothée Produit, Jens Ingensand

PeerJ Prepr., 2018

2010

Static Analysis for SystemC with Scoot: From Verification to Simulation.

Nicolas Blanc

PhD thesis, 2010

Race analysis for systemc using model checking.

Nicolas Blanc, Daniel Kroening

ACM Trans. Design Autom. Electr. Syst., 2010

2009

Speeding Up Simulation of SystemC Using Model Checking.

Nicolas Blanc, Daniel Kroening

Proceedings of the Formal Methods: Foundations and Applications, 2009

2008

SVISS: Symbolic Verification of Symmetric Systems.

Thomas Wahl, Nicolas Blanc, E. Allen Emerson

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Scoot: A Tool for the Analysis of SystemC Models.

Nicolas Blanc, Daniel Kroening, Natasha Sharygina

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

2007

Model checking concurrent linux device drivers.

Thomas Witkowski, Nicolas Blanc, Daniel Kroening, Georg Weissenbacher

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Verifying C++ with STL containers via predicate abstraction.

Nicolas Blanc, Alex Groce, Daniel Kroening

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2006

Miniature 3D TOF Camera for Real-Time Imaging.

Thierry Oggier, Felix Lustenberger, Nicolas Blanc

Proceedings of the Perception and Interactive Technologies, 2006

2004

A colour 3200fps high-speed CMOS imager for endoscopy in bio-medical applications.

Felix Lustenberger, M. Lehmann, L. Cavalier, Nicolas Blanc, W. Heppner, J. Ernst, S. Gick, H. Bloss

Proceedings of the 33rd European Solid-State Circuits Conference, 2004

Demonstration of a novel drift field pixel structure for the demodulation of modulated light waves with application in three-dimensional image capture.

Bernhard Büttgen, Thierry Oggier, Rolf Kaufmann, Peter Seitz, Nicolas Blanc

Proceedings of the Conference on Three-Dimensional Image Capture and Applications VI, 2004

Smart pixels for real-time optical coherence tomography.

Stephan Beer, Philipp Zeller, Nicolas Blanc, Felix Lustenberger, Peter Seitz

Proceedings of the Conference on Three-Dimensional Image Capture and Applications VI, 2004