Knowledge Tree

researcher / Fabrice Bouquet

Fabrice Bouquet

at_id:

orcid_id:

Disciplines:

Computer sciences

Natural sciences

Edit Merge See Links

Thesis:

Gestion de la dynamicité et énumération d'impliquants premiers : une approche fondée sur les Diagrammes de Décision Binaire

Directed Thesis:

Adresser les attaques par injection de fausses données dans les systèmes IoT à l'aide d'un langage dédié dans un contexte industriel

SAMP : Plateforme de modélisation à partir du paradigme multi-agents pour l’univers du jeu vidéo : vers un développement accessible et une gestion adaptée des interactions

Model-Based Testing for IoT Systems : Methods and tools

Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation

Génération automatique de tests unitaires avec Praspel, un langage de spécification pour PHP

Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes.

Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle de systèmes embarqués

Stratégies de génération automatique de tests à partir de modèles comportementaux UML/OCL