Scholar
Pierre-Loïc Garoche
Google Scholar ID: KvqkWwwAAAAJ
ENAC
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,222
H-index
20
i10-index
37
Publications
20
Co-authors
19
list available
Publications
2 items
FPScan: An Automated Constraint-Based Analyzer for Floating-Point Anomaly Detection
2026
Cited
0
Teaching Synchronous Dataflow Modelling with Learn-Heptagon
2026
Cited
0
Co-authors
11 total
Eric Feron
Professor of Electrical Engineering
Benoit Combemale
Research Director (Inria), Full Professor (University of Rennes, IRISA)
Didier Henrion
LAAS
Rémi Delmas
Amazon AWS ARG
Anastasia Mavridou
KBR / NASA Ames Research Center
Johann Schumann
SGT, Inc. NASA Ames
Victor Magron
CNRS
Cesare Tinelli
Professor of Computer Science, The University of Iowa
