Marc Chevalier

According to our database, Marc Chevalier authored at least 3 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

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, March, 2025

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

PhD thesis, 2020

Sharing Ghost Variables in a Collection of Abstract Domains.

Marc Chevalier, Jérôme Feret

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020