Concepedia

Fabrice Kordon

FK

Statistics

Publications

13

Citations

207

H-Index

10

Active since

2002

Affiliations

Sorbonne Université(Current)

Laboratoire Spécification et Vérification

Université Paris Cité

Centre National de la Recherche Scientifique

École Normale Supérieure Paris-Saclay

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

Top concepts

EngineeringSystems EngineeringComputer ScienceSystem SoftwareSoftware AnalysisVerificationSoftware DesignFormal VerificationComputer EngineeringSoftware Engineering

Publications per year

2002–2016

13

Publications

13

On the Formal Verification of Middleware Behavioral Properties

Jérôme Hugues, Thomas Vergnaud, Laurent Pautet et al. · Electronic Notes in Theoretical Computer Science · 2005 · 33 citations · Full text

Petri Net, Distribution Middleware, Engineering +23

From AADL Architectural Models to Petri Nets: Checking Model Viability

Xavier Renault, Fabrice Kordon, Jérôme Hugues · 2009 · 25 citations

Petri Net, Engineering, Verification +21

An approach for developing an interoperability mechanism between cloud providers

Meriem Thabet, Mahmoud Boufaïda, Fabrice Kordon · International Journal of Space-Based and Situated Computing · 2014 · 24 citations

Automation and intelligent scheduling of distributed system functional testing

Lom Messan Hillah, Ariele-Paolo Maesano, Fabio De Rosa et al. · International Journal on Software Tools for Technology Transfer · 2016 · 18 citations

Engineering, System Testing, Software Testing +11

Efficient state-based analysis by introducing bags in Petri nets color domains

Serge Haddad, Fabrice Kordon, Laure Petrucci et al. · 2009 · 16 citations

Petri Net, Symmetric Nets, Engineering +21

1–5 of 13