6
3
1
After graduating from the Parisian Master of Research in Computer Science in 2012, I worked for two years as a research engineer at CS Communications & Systèmes with a focus on cryptography and cyber-security. I then did a PhD in Computer Science at the Université Paris-Diderot under the direction of Tayssir Touili. I introduced new model-checking techniques for pushdown automata and studied their potential applications to concurrent systems.
I joined the LRE's (then LRDE) verification team in 2019. My current research interest lies in active and passive learning of various types of automata and logics, pushdown automata, program synthesis, and model-checking algorithms and tool development for Büchi automata (Spot).
|
|
The Mealy-machine reduction functions of SpotScience of Computer Programming, 2023, 230 (102995), ⟨10.1016/j.scico.2023.102995⟩
Article dans une revue
hal-04580385
v1
|
|
|
Dissecting ltlsyntFormal Methods in System Design, 2023, ⟨10.1007/s10703-022-00407-6⟩
Article dans une revue
hal-04580384
v1
|
|
|
LTL Model Checking for Communicating Concurrent ProgramsInnovations in Systems and Software Engineering, 2020
Article dans une revue
hal-03033654
v1
|
|
|
Effective Reductions of Mealy Machines42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2022), Jun 2022, Lucca, Italy
Communication dans un congrès
hal-03695793
v1
|
|
|
A Portable, Simple, Embeddable Type SystemELS 2021, the 14th European Lisp Symposium, May 2021, Online, Unknown Region. pp.11--20, ⟨10.5281/zenodo.4709777⟩
Communication dans un congrès
hal-04580380
v1
|
|
|
Improvements to ltlsynt10th Workshop on Synthesis, Jul 2021, Los Angeles, United States
Communication dans un congrès
hal-03523385
v1
|
|
|
Practical "Paritizing" of Emerson-Lei Automata18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20), Oct 2020, Hanoi, Vietnam. pp.127-143, ⟨10.1007/978-3-030-59152-6_7⟩
Communication dans un congrès
hal-02891970
v1
|
LTL Model-Checking for Communicating Concurrent Programs.Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, Sep 2018, Grenoble, France
Communication dans un congrès
hal-02389449
v1
|
|
Model-Checking HyperLTL for Pushdown SystemsModel Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings., Jun 2018, Malaga, Spain
Communication dans un congrès
hal-02389483
v1
|
|
|
SAT-based Learning of Computation Tree Logic2024
Pré-publication, Document de travail
(preprint/prepublication)
hal-04459133
v2
|