Fabrice Kordon - Concepedia

Author

Fabrice Kordon

Sorbonne Université

Also Known As

F Kordon, F. Kordon, Fabrice Kordon, Kordon, F., Kordon, Fabrice

101

Publications

816

Citations

H-Index

Concepts

All Affiliations

Sorbonne Université LIP6 Télécom Paris Centre National de la Recherche Scientifique Fonctionnement et Conduite des Systèmes de Culture Tropicaux et Méditerranéens

About

Fabrice Kordon is an author at Sorbonne Université specializing in engineering, system software, and computer engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	10	264
2	Computer Engineering	7	7	224
3	Computer Science	6	6	217
4	Business	1	1	10
5	Space Engineering	1	1	10

Fabrice Kordon

Publications

286

Citations

H-Index

Page 1

	Year	Citations
From the prototype to the final embedded system using the Ocarina AADL tool suite Jérôme Hugues, Bechir Zalila, Laurent Pautet, ACM Transactions on Embedded Computing Systems EngineeringComputer ArchitectureSoftware EngineeringEmbedded SystemsEmbedded Architecture	2008	112
Rapid Prototyping of Intrusion Detection Systems Fabrice Kordon, Jean-Baptiste Voron, Liviu Iftode Proceedings Security SoftwaresEngineeringInformation SecuritySoftware EngineeringIntrusion Detection Softwares	2007	33
Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets Xavier Renault, Fabrice Kordon, Jérôme Hugues Petri NetEngineeringVerificationSoftware EngineeringModel Checking	2009	31
Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon Fundamenta Informaticae	2009	22
LfP: A specification language for rapid prototyping of concurrent systems D. Regep, Fabrice Kordon EngineeringVerificationComputer ArchitectureSoftware EngineeringConcurrent System	2002	16
Flex‐eWare: a flexible model driven solution for designing and implementing embedded distributed systems Mathieu Jan, Christophe Jouvray, Fabrice Kordon, Software Practice and Experience EngineeringSoftware SystemsComputer ArchitectureSoftware EngineeringSystems Design	2011	14
Variations on parallel explicit emptiness checks for generalized Büchi automata Étienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, International Journal on Software Tools for Technology Transfer Logical AutomatonEngineeringVerificationFormal MethodsAutomaton Operation	2016	14
An Overview of Rapid System Prototyping Today Fabrice Kordon, Jörg Henkel Design Automation for Embedded Systems Industrial DesignEngineeringComputer EngineeringComputer ArchitecturePrototype Implementation	2003	12
Contributions to middleware architectures to prototype distribution infrastructures Jérôme Hugues, Laurent Pautet, Fabrice Kordon EngineeringComputer ArchitectureSoftware EngineeringSoftware AnalysisGeneric Middleware	2004	11
Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: A Petri Net-Based Approach Jean-Baptiste Voron, Clément Démoulins, Fabrice Kordon Petri NetEngineeringInformation SecuritySoftware EngineeringSoftware Analysis	2010	11

Page 1