Nam Moussaoui Remil
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2024–2026
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | ReFuncTion: Conditional Termination by Abstract Interpretation of Numerical C Programs - (Competition Contribution). | Nam Moussaoui Remil, Caterina Urban |
| 2026 | VMCAI | Termination Resilience Static Analysis. | Nam Moussaoui Remil, Caterina Urban |
| 2024 | LPAR | Automatic Detection of Vulnerable Variables for CTL Properties of Programs. | Nam Moussaoui Remil, Caterina Urban, Antoine Min |