Accéder directement au contenu

Fabrice Kordon

4
Documents

Présentation

My research work is related to distributed systems, software engineering and formal methods. My goal is to provide verification tools dedicated to distributed systems and usable by engineers with little knowledge of the underlying techniques. So, I try to make a bridge between standard specification notation such as UML or AADL and optimized verification techniques based on Model Checking and the Analysis of structural properties of the system. My work mainly relies on Petri Nets I also try to provide prototype implementations of these techniques in dedicated verification tools. It is thus possible to assess these with realistic problems. So far, I tackle applications such Middleware, Intelligent Transport Systems, Intrusion Detection Systems, or wireless sensor networks that are typical examples of complex distributed systems.

Publications

julien-sopena

Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving

Vincent Vallade , Ludovic Le Frioux , Souheib Baarir , Julien Sopena , Vijay Ganesh
SAT 2020 - 23rd International Conference on Theory and Applications of Satisfiability Testing, Jul 2020, Alghero / Virtual, Italy. pp.11-27, ⟨10.1007/978-3-030-51825-7_2⟩
Communication dans un congrès hal-02906505v1

On the Usefulness of Clause Strengthening in Parallel SAT Solving

Vincent Vallade , Ludovic Le Frioux , Souheib Baarir , Julien Sopena , Fabrice Kordon
NFM 2020 - 12th NASA Formal Methods Symposium, May 2020, Moffett Field / Virtual, United States
Communication dans un congrès hal-02545756v1

Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework

Ludovic Le Frioux , Souheib Baarir , Julien Sopena , Fabrice Kordon
TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.135-151, ⟨10.1007/978-3-030-17462-0_8⟩
Communication dans un congrès hal-02093520v1
Image document

PaInleSS: a Framework for Parallel SAT Solving

Ludovic Le Frioux , Souheib Baarir , Julien Sopena , Fabrice Kordon
The 20th International Conference on Theory and Applications of Satisfiability Testing, Aug 2017, Melbourne, Australia. pp.233-250, ⟨10.1007/978-3-319-66263-3_15⟩
Communication dans un congrès hal-01540785v1