Guillaume Vidot

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

Embedded Systems

Technical Challenges

Embedded Real Time Systems

Top Venues

Int. J. Softw. Tools Technol. Transf.

J. Aerosp. Inf. Syst.

Publications

Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober, Guillaume Vidot
Certification of avionic software based on machine learning: the case for formal monotony analysis. Int. J. Softw. Tools Technol. Transf. 26 (2) (2024)
Guillaume Vidot, Christophe Gabreau, Ileana Ober, Iulian Ober
Qualification of Avionic Software Based on Machine Learning: Challenges and Key Enabling Domains. J. Aerosp. Inf. Syst. 21 (5) (2024)
Guillaume Vidot, Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober
Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification. FMICS (2022)
Guillaume Vidot, Paul Viallard, Amaury Habrard, Emilie Morvant
A PAC-Bayes Analysis of Adversarial Robustness. CoRR (2021)
Paul Viallard, Guillaume Vidot, Amaury Habrard, Emilie Morvant
A PAC-Bayes Analysis of Adversarial Robustness. NeurIPS (2021)
Guillaume Vidot, Christophe Gabreau, Ileana Ober, Iulian Ober
Certification of embedded systems based on Machine Learning: A survey. CoRR (2021)