Concepedia
Statistics
Publications
11
Citations
286
H-Index
10
Active since
2002
Affiliations
Sorbonne Université(Current)
LIP6
Télécom Paris
Centre National de la Recherche Scientifique
Fonctionnement et Conduite des Systèmes de Culture Tropicaux et Méditerranéens
Fabrice Kordon is an author at Sorbonne Université specializing in engineering, system software, and computer engineering.
Top concepts
EngineeringSystem SoftwareComputer EngineeringSoftware EngineeringComputer ScienceSystems EngineeringSoftware DesignProgram AnalysisSoftware AnalysisFormal Verification
Publications per year
2002–2016
From the prototype to the final embedded system using the Ocarina AADL tool suite
Jérôme Hugues, Bechir Zalila, Laurent Pautet et al. · ACM Transactions on Embedded Computing Systems · 2008 · 112 citations
Engineering, Computer Architecture, Software Engineering +25
Rapid Prototyping of Intrusion Detection Systems
Fabrice Kordon, Jean-Baptiste Voron, Liviu Iftode · Proceedings · 2007 · 33 citations
Security Softwares, Engineering, Information Security +17
Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets
Xavier Renault, Fabrice Kordon, Jérôme Hugues · 2009 · 31 citations
Petri Net, Engineering, Verification +29
Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation
Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon · Fundamenta Informaticae · 2009 · 22 citations · Full text
LfP: A specification language for rapid prototyping of concurrent systems
D. Regep, Fabrice Kordon · 2002 · 16 citations
Engineering, Verification, Computer Architecture +21
1–5 of 11