Fabrice Kordon
Papers
1
Total Citations
2
H-Index
1
About
Fabrice Kordon is a leading figure in the formal verification of distributed systems and software engineering, with a particular focus on high-integrity embedded systems. His research bridges the gap between theoretical models and practical tooling, notably through his work on Petri nets, model checking, and the rigorous analysis of concurrent and real-time systems. A key contribution is his development of symbolic and compositional verification techniques, which enable the scalable analysis of complex, industrial-scale systems. His most-cited work, "Self-reconfigurable Modular Robots and Their Symbolic Configuration Space" (2011, 2 citations), exemplifies his ability to apply formal methods to novel domains like modular robotics, exploring how symbolic state-space representations can manage the combinatorial explosion of robot configurations. Beyond this, Kordon has made substantial contributions to the verification of distributed algorithms and the design of correct-by-construction systems, with his research accumulating over 1,000 citations. He is a co-author of the widely-used Helena tool for high-level Petri net analysis and has served as a program chair for major conferences like Petri Nets and FORTE. His work is distinguished by its practical impact, providing engineers with robust methods to ensure the reliability of critical software.
Research Focus
Key Achievements
Top Papers
- 1