Login / Signup
Eric Bonnafous
Publication Activity (10 Years)
Years Active: 2010-2024
Publications (10 Years): 1
Top Topics
Surveillance Videos
Deformable Part Models
Technical Support
Object Detection
Top Venues
CoRR
</>
Publications
</>
Mohammed Belcaid
,
Eric Bonnafous
,
Louis Crison
,
Christophe Faure
,
Eric Jenn
,
Claire Pagetti
Certified ML Object Detection for Surveillance Missions.
CoRR
(2024)
Xavier Dumas
,
Philippe Dhaussy
,
Frédéric Boniol
,
Eric Bonnafous
Application of partial-order methods for the verification of closed-loop SDL systems.
SAC
(2011)
Xavier Dumas
,
Frédéric Boniol
,
Philippe Dhaussy
,
Eric Bonnafous
Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems.
SIES
(2010)