- 6
- 2
- 1
Fabrice Kordon
9
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
- 9
- 9
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 9
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
|
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
|
|
{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
|
|
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
|
|
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
|