HomeProjectsResearchToolsDocumentsPBM Viewero kama pona lon lipu miTyp2HTML
Counting Abstraction for the Verification of Structured Parameterized Networks
@ CAV'25
Tree Borrows
@ PLDI'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
@ PLDI'25
Tree Borrows
@ ENS Paris-Saclay
Tree Borrows
@ ETAPS
Tree Borrows
@ ETH Zurich
Tree Borrows
@ LMF
Tree Borrows
@ RFMIG
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)
Categories
@ MPRI1
Network Modeling
@ MPRI2
Verified Compilation
@ MPRI1
Verified Compilation (beamer)
@ MPRI1
Bachelor's Thesis
@ ENS Paris-Saclay