Naïm Moussaoui Remil

According to our database, Naïm Moussaoui Remil authored at least 3 papers between 2024 and 2026.

Collaborative distances:

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

2026

Termination Resilience Static Analysis.

Naïm Moussaoui Remil, Caterina Urban

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

ReFuncTion: Conditional Termination by Abstract Interpretation of Numerical C Programs - (Competition Contribution).

Naïm Moussaoui Remil, Caterina Urban

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2024

Automatic Detection of Vulnerable Variables for CTL Properties of Programs.

Naïm Moussaoui Remil, Caterina Urban, Antoine Miné

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024