- 10
- 1
Fabrice Kordon
11
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
- 11
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 8
- 3
Computing a Hierarchical Static order for Decision Diagram-Based Representation from P/T NetsLNCS Transactions on Petri Nets and Other Models of Concurrency, 2012, Lecture Notes in Computer Science, 6900 (V), pp.121-140. ⟨10.1007/978-3-642-29072-5_5⟩
Article dans une revue
hal-01270052v1
|
|
Report on the Model Checking Contest at Petri Nets 2011LNCS 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
|
Presentation of the 9th Edition of the Model Checking ContestTools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, Apr 2019, Prague, Czech Republic. pp.50-68, ⟨10.1007/978-3-030-17502-3_4⟩
Communication dans un congrès
hal-02094047v1
|
|
polyDD: Towards a Framework Generalizing Decision Diagrams10th International Conference on Application of Concurrency to System Design (ACSD'2010), Jun 2010, Braga, Portugal. pp.124-133, ⟨10.1109/ACSD.2010.17⟩
Communication dans un congrès
hal-01292564v1
|
|
Verification of large-scale distributed database systems in the NEOPPOD projectWorkshop on Petri Nets and Software Engineering (PNSE'09, associated with Petri Nets 2009) - poster paper, Jun 2009, Paris, France. pp.315-316
Communication dans un congrès
hal-01298277v1
|
|
Optimized Colored Nets UnfoldingInternational Conference on Formal Methods for Networked and Distributed Systems (FORTE '06), Sep 2006, Paris, France. pp.339-355, ⟨10.1007/11888116_25⟩
Communication dans un congrès
hal-01351825v1
|
|
New Features in CPN-AMI 3 : Focusing on the Analysis of Complex Distributed Systems6th International Conference on Application of Concurrency to System Design (ACSD '06), Jun 2006, Turku, Finland. pp.273-275, ⟨10.1109/ACSD.2006.15⟩
Communication dans un congrès
hal-01351775v1
|
|
Formal Verification of Embedded Distributed Systems in a Prototyping ApproachInternational Workshop on Engineering Automation for Software Intensive System Integration, Jun 2001, Monterey, United States. pp.ONLINE
Communication dans un congrès
hal-01571064v1
|
|
A Survey: Applying Formal Methods to a Software Intensive System6th IEEE International Symposium on Hight Assurance Systems Engineering (HASE'01), Oct 2001, Boco Raton, FL, United States. pp.55-64, ⟨10.1109/HASE.2001.966807⟩
Communication dans un congrès
hal-01571075v1
|
|
Using CPN-AMI to validate a safe channel protocolToolset of the International Conference on Theory and Applications of Petri Nets, Jun 1999, Williamsburg, Virginia, United States
Communication dans un congrès
hal-01574368v1
|
Modeling and Verifying Behavioral AspectsFormal Methods for Embedded Distributed Systems - How to master the complexity, Kluwer Academic Publishers, pp.171-211, 2004, 1-4020-7996-6
Chapitre d'ouvrage
hal-01520010v1
|