- 8
- 3
- 1
Fabrice Kordon
12
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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 12
- 5
- 4
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 12
Nouvelles techniques de Model Checking pour la vérification de systèmes complexesGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2004, 69, pp.17-23
Article dans une revue
hal-01175956v1
|
On the Usefulness of Clause Strengthening in Parallel SAT SolvingNFM 2020 - 12th NASA Formal Methods Symposium, May 2020, Moffett Field / Virtual, United States
Communication dans un congrès
hal-02545756v1
|
|
Composing Symmetry Propagation and Effective Symmetry Breaking for SAT SolvingNASA Formal Methods Symposium, May 2019, Houston, United States. pp.316-332, ⟨10.1007/978-3-030-20652-9_21⟩
Communication dans un congrès
hal-02145257v1
|
|
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless FrameworkTACAS 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
|
|
|
|
CDCLSym: Introducing Effective Symmetry Breaking in SAT SolvingTools and Algorithms for the Construction and Analysis of Systems -- TACAS, Apr 2018, Tessaloniki, Greece
Communication dans un congrès
hal-01766948v1
|
|
|
PaInleSS: a Framework for Parallel SAT SolvingThe 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
|
Towards Distributed Software Model-Checking using Decision Diagrams25th 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
|
|
State Space Analysis using Symmetries on Decision Diagrams12th 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
|
|
Modeling and Verifying Distributed Systems with Petri Nets (tutorial)2nd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE), Nov 2012, Constantine, Algeria. pp.92-92, ⟨10.1109/IWAISE.2012.24⟩
Communication dans un congrès
hal-01282434v1
|
|
|
|
Crocodile: a Symbolic/Symbolic tool for the analysis of Symmetric Nets with Bag32nd 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
|
Self-Reconfigurable Modular Robots and their Symbolic Configuration SpaceModeling, Development and Verification of Adaptative Computer Systems: the Grand Challenge for Robust Software, 16th Monterey Workshop 2010, Redmond, Revised Selected Papers, Mar 2010, Redmond, United States. pp.103-121, ⟨10.1007/978-3-642-21292-5_6⟩
Communication dans un congrès
hal-01288061v1
|
|
On the Formal Verification of Middleware Behavioral Properties9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS '04), Sep 2004, Linz, Austria. pp.139-157
Communication dans un congrès
hal-01520379v1
|