Formal Verification of Avionics Software Products. - Jean Souyris; Virginie Wiels; David Delmas; Hervé Delseny (FM, 2009)

Testing or Formal Verification: DO-178C Alternatives and Industrial Experience. - Yannick Moy; Emmanuel Ledinot; Hervé Delseny; Virginie Wiels; Benjamin Monate (IEEE Softw., 2013)

Software Safety Assessment and Probabilities. - Jean-Paul Blanquart; Philippe Baufreton; Jean-Louis Boulanger; Jean-Louis Camus; Cyrille Comar; Hervé Delseny; Jean Gassino; Emmanuel Ledinot; Philippe Quéré; Bertrand Ricque (DSN Workshops, 2016)

White Paper Machine Learning in Certified Systems. - Hervé Delseny; Christophe Gabreau; Adrien Gauffriau; Bernard Beaudouin; Ludovic Ponsolle; Lucian Alecu; Hugues Bonnin; Brice Beltran; Didier Duchel; Jean-Brice Ginestet; Alexandre Hervieu; Ghilaine Martinez; et al. (CoRR, 2021)