- 17
- 2
- 2
- 2
- 1
Fabrice Kordon
24
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
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 24
- 9
- 6
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 24
|
|
Automation and intelligent scheduling of distributed system functional testingInternational Journal on Software Tools for Technology Transfer, 2017, 19 (3), pp.281-308. ⟨10.1007/s10009-016-0440-3⟩
Article dans une revue
hal-01397009v1
|
|
|
MCC’2015 – The Fifth Model Checking ContestLNCS Transactions on Petri Nets and Other Models of Concurrency, 2016, Lecture Notes in Computer Science, 9930, pp.262-273. ⟨10.1007/978-3-662-53401-4_12⟩
Article dans une revue
hal-01361274v1
|
Controllability for Discrete Event Systems Modeled in VeriJInternational Journal of Critical Computer-Based Systems, 2014, 5 (3/4), pp.218-240. ⟨10.1504/IJCCBS.2014.064668⟩
Article dans une revue
hal-01176427v1
|
|
Extending PNML Scope: a Framework to Combine Petri Nets TypesLNCS Transactions on Petri Nets and Other Models of Concurrency, 2012, Lecture Notes in Computer Science, 7400 (VI), pp.46-70. ⟨10.1007/978-3-642-35179-2_3⟩
Article dans une revue
hal-01272447v1
|
|
A primer on the Petri Net Markup Language and ISO/IEC 15909-2Petri Net Newsletter, 2009, 76, pp.9-28
Article dans une revue
hal-01176321v1
|
|
Application des méthodes formelles à la robotique modulaireJournal Européen des Systèmes Automatisés (JESA), 2008, 42 (4), pp.459-478. ⟨10.3166/jesa.42.459-478⟩
Article dans une revue
hal-01175915v1
|
|
Model Engineering on Petri Nets for ISO/IEC 15909-2: API Framework for Petri Net Types MetamodelsPetri Net Newsletter, 2005, 69, pp.22-40
Article dans une revue
hal-00084187v1
|
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
|
|
|
|
Petri Nets Repository: a tool to benchmark and debug Petri Net tools38th International Conference, PETRI NETS 2017, University of Zaragoza, Jun 2017, Zaragoza, Spain. pp.125-135
Communication dans un congrès
hal-01492419v1
|
|
|
Service functional testing automation with intelligent scheduling and planningSymposium on Applied Computing (SAC), ACM, Apr 2016, Pisa, Italy. pp.1605-1610
Communication dans un congrès
hal-01306954v1
|
The MIDAS Cloud Platform for Testing SOA Applications8th International IEEE Conference on Software Testing, Verification and Validation (ICST), Apr 2015, Graz, Austria. pp.1-8, ⟨10.1109/ICST.2015.7102636⟩
Communication dans un congrès
hal-01212852v1
|
|
CosyVerif: An Open Source Extensible Verification Environment18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Jul 2013, Singapore, Singapore. pp.33-36, ⟨10.1109/ICECCS.2013.15⟩
Communication dans un congrès
hal-00926165v1
|
|
Extreme Symmetries in Complex Distributed Systems: the Bag-Oriented ApproachDevelopment, 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
|
|
Modeling complex systems with VeriJ5th Verification and Evaluation of Computer and Communication System (VECOS), Sep 2011, Tunis, Tunisia. pp.34-45
Communication dans un congrès
hal-01288126v1
|
|
{Extending PNML Scope: the Prioritised Petri Nets Experience}Petri Net and Software Engineering (PNSE 2011), Jun 2011, Newcastle, United Kingdom. pp.92-106
Communication dans un congrès
hal-01282491v1
|
|
PNML Framework: an extendable reference implementation of the Petri Net Markup Language31st International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2010), Jun 2010, Braga, Portugal. pp.318-327, ⟨10.1007/978-3-642-13675-7_20⟩
Communication dans un congrès
hal-01125746v1
|
|
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
|
|
A primer on the Petri Net Markup Language and ISO/IEC 15909-210th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN'09), Oct 2009, Aarhus, Denmark. pp.19
Communication dans un congrès
hal-01126017v1
|
|
Collision Avoidance in Intelligent Transport Systems: towards an Application of Control Theory9th International Workshop on Discrete Event Systems (WODES'08), May 2008, Goteborg, Sweden. pp.346-351, ⟨10.1109/WODES.2008.4605970⟩
Communication dans un congrès
hal-01303699v1
|
|
Design, Modeling and Analysis of ITS using UML and Petri Nets10th International IEEE Conference on Intelligent Transportation Systems, Sep 2007, Seattle, WA, United States. pp.314-319, ⟨10.1109/ITSC.2007.4357718⟩
Communication dans un congrès
hal-01334867v1
|
|
PN standardisation: a survey26th international conference on Formal Methods for Networked and Distributed Systems (FORTE'06), Sep 2006, Paris, France. pp.307-322, ⟨10.1007/11888116_23⟩
Communication dans un congrès
hal-00084198v1
|
|
An Approach to Model Variations of a Scenario: Application to Intelligent Transport SystemsFourth International Workshop on Modelling of Objects, Components and Agents (MOCA '06), Jun 2006, Turku, Finland. pp.65-86
Communication dans un congrès
hal-01336640v1
|
|
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
|
|
|
Web Report on the Model Checking Contest @ Petri Net 20132013
Autre publication scientifique
hal-00926989v1
|