Accéder directement au contenu

Fabrice Kordon

6
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

971687

Report on the Model Checking Contest at Petri Nets 2011

 Fabrice Kordon , Alban Linard , Didier Buchs , Maximilien Colange , Sami Evangelista
LNCS Transactions on Petri Nets and Other Models of Concurrency, 2012, Lecture Notes in Computer Science, 7400 (VI), pp.169-196. ⟨10.1007/978-3-642-35179-2_8⟩
Article dans une revue hal-01270053v1
Image document

CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving

 Hakan Metin , Souheib Baarir , Maximilien Colange , Fabrice Kordon
Tools and Algorithms for the Construction and Analysis of Systems -- TACAS, Apr 2018, Tessaloniki, Greece
Communication dans un congrès hal-01766948v1

Towards Distributed Software Model-Checking using Decision Diagrams

 Maximilien Colange , Souheib Baarir , Fabrice Kordon , Yann Thierry-Mieg
25th International Conference on Computer Aided Verification (CAV), Jul 2013, Saint-Petersbourg, Russia. pp.830-845, ⟨10.1007/978-3-642-39799-8_58⟩
Communication dans un congrès hal-01215999v1

Extreme Symmetries in Complex Distributed Systems: the Bag-Oriented Approach

 Maximilien Colange , Lom Messan Hillah , Fabrice Kordon , Pierre Parutto
Development, Operation and Management of Large-Scale Complex IT Systems, 17th Monterey Workshop, Revised Selected Papers, 2012, Oxford, United Kingdom. pp.330-352, ⟨10.1007/978-3-642-34059-8_17⟩
Communication dans un congrès hal-01282265v1

State Space Analysis using Symmetries on Decision Diagrams

 Maximilien Colange , Fabrice Kordon , Yann Thierry-Mieg , Souheib Baarir
12th International Conference on Application of Concurrency to System Design (ACSD'2012), Jun 2012, Hamburg, Germany. pp.164-172, ⟨10.1109/ACSD.2012.28⟩
Communication dans un congrès hal-01270057v1
Image document

Crocodile: a Symbolic/Symbolic tool for the analysis of Symmetric Nets with Bag

 Maximilien Colange , Souheib Baarir , Fabrice Kordon , Yann Thierry-Mieg
32nd International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2011), Jun 2011, Newcastle, United Kingdom. pp.338-347, ⟨10.1007/978-3-642-21834-7_20⟩
Communication dans un congrès hal-01282493v1