researcher / Fabrice Kordon

Fabrice Kordon

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Engineering sciences
Edit Merge See Links

Thesis:

Prototypage de systemes paralleles a partir de reseaux de petri colores, application au langage ada dans un environnement centralise ou reparti

Directed Thesis:

Exploitation des symétries dynamiques pour la résolution des problèmes SAT
Towards more efficient parallel SAT solving
Contribution aux tests de vacuité pour le model checking explicite
Improving the model checking of stutter-invariant LTL properties
Symmetry reduction and symbolic data structures for model-checking of distributed systems
Intégration de la sécurité et de la sûreté de fonctionnement dans la construction d'intergiciels critiques
Vérification formelle des spécifications de systèmes complexes par réseaux de Petri : application aux systèmes de transport intelligents
Mise en œuvre de notations standardisées, formelles et semi-formelles dans un processus de développement de systèmes embarqués temps-réel répartis
Contributions à l'approche automate pour la vérification de propriétés de systèmes concurrents
Implantation distribuée temps réel de programmes conditionnés à l'aide d'ordonnancements mixtes hors-ligne en-ligne de tâches périodiques avec contraintes de latence et acceptation de tâches apériodiques
Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées
Architecture et services des intergiciels temps réel
Dévelopement par prototypage et génération de code à partir de LfP, un langage de modélisation de haut niveau
Techniques pour le Model-Checking de spécifications de Haut Niveau
Conception et réalisation d'un intergiciel schizophrène pour la mise en oeuvre de systèmes répartis interopérables
LƒP : un langage de spécification pour supporter une démarche de développement par prototypage pour les systèmes répartis