Sharing Ghost Variables in a Collection of Abstract Domains. - Marc Chevalier; Jérôme Feret (VMCAI, 2020)

Proving the security of software-intensive embedded systems by abstract interpretation. (Analyse de la sécurité de systèmes critiques embarqués à forte composante logicielle par interprétation abstraite). - Marc Chevalier (2020)

Development of a Cost-Effective Simulation Tool for Loss of Flow Accident Transients in High-Temperature Gas-cooled Reactors. - Bo Liu; Wei Wang; Charles Moulinec; Stefano Rolfo; Marion Samler; Ehimen Iyamabo; Constantinos Katsamis; Marc Chevalier (CoRR, 2025)