Counting Abstraction for the Verification of Structured Parameterized Networks
@ CAV'25
Verifying Parameterized Networks Specified by VR Grammars
@ NETYS'25
Mending Partial Solutions with Few Changes
@ OPODIS'22
Verifying Parameterized Networks Specified by VR Grammars
@ NETYS'25
Tree Borrows
@ ENS Paris-Saclay
Tree Borrows
@ ETH Zurich
Mending Partial Solutions with Few Changes
@ OPODIS'22
Properties of Dynamic Unit Disk Graphs
@ ENS Paris-Saclay
Technical Report
@ General Assembly (2023)
Technical Report
@ General Assembly (2024)
Verified Compilation
@ MPRI1
Verified Compilation (beamer)
@ MPRI1
Bachelor's Thesis
@ ENS Paris-Saclay