Nicolas Blanc

15 papers A* 2A 3Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2019 — conf
Building a Crowdsourcing based Disabled Pedestrian Level of Service routing application using Computer Vision and Machine Learning.
CCNC
Nicolas Blanc, Zhan Liu, Olivier Ertz, Diego Rojas, Romain Sandoz, Maria Sokhn, Jens Ingensand, Jean-Christophe Loubier
2018 J jnl
A semi-automatic tool to georeference historical landscape images.
PeerJ Prepr.
Nicolas Blanc, Timothée Produit, Jens Ingensand
2018 J jnl
The utilization of landscape pictures extracted from open picture collections for the determination of interest in spatial features.
PeerJ Prepr.
Jens Ingensand, Jean-Christophe Foltête, Stéphane Cretegny, Nicolas Blanc, Sarah Composto
2010 J jnl
Race analysis for systemc using model checking.
ACM Trans. Design Autom. Electr. Syst.
Nicolas Blanc, Daniel Kroening
2010 — —
Static Analysis for SystemC with Scoot: From Verification to Simulation.
Nicolas Blanc
2009 — conf
Speeding Up Simulation of SystemC Using Model Checking.
SBMF
Nicolas Blanc, Daniel Kroening
2008 A conf
Race analysis for SystemC using model checking.
ICCAD
Nicolas Blanc, Daniel Kroening
2008 A conf
SVISS: Symbolic Verification of Symmetric Systems.
TACAS
Thomas Wahl, Nicolas Blanc, E. Allen Emerson
2008 A conf
Scoot: A Tool for the Analysis of SystemC Models.
TACAS
Nicolas Blanc, Daniel Kroening, Natasha Sharygina
2007 A* conf
Model checking concurrent linux device drivers.
ASE
Thomas Witkowski, Nicolas Blanc, Daniel Kroening, Georg Weissenbacher
2007 A* conf
Verifying C++ with STL containers via predicate abstraction.
ASE
Nicolas Blanc, Alex Groce, Daniel Kroening
2006 — conf
Miniature 3D TOF Camera for Real-Time Imaging.
PIT
Thierry Oggier, Felix Lustenberger, Nicolas Blanc
2004 — conf
A colour 3200fps high-speed CMOS imager for endoscopy in bio-medical applications.
ESSCIRC
Felix Lustenberger, M. Lehmann, L. Cavalier, Nicolas Blanc, W. Heppner, J. Ernst, S. Gick, H. Bloss
2004 — conf
Demonstration of a novel drift field pixel structure for the demodulation of modulated light waves with application in three-dimensional image capture.
Three-Dimensional Image Capture and Applications
Bernhard Büttgen, Thierry Oggier, Rolf Kaufmann, Peter Seitz, Nicolas Blanc
2004 — conf
Smart pixels for real-time optical coherence tomography.
Three-Dimensional Image Capture and Applications
Stephan Beer, Philipp Zeller, Nicolas Blanc, Felix Lustenberger, Peter Seitz