Knowledge Tree

researcher / Catherine Dubois

Catherine Dubois

at_id:

orcid_id:

Disciplines:

Biology

Computer sciences

Medicine and health

Pharmacy

Physiology and physiopathology

Edit Merge See Links

Thesis:

Les éléments trace dans les systèmes biologiques

Étude de la contamination virale des coquillages : mécanisme, méthodes de mise en évidence

Directed Thesis:

Object-Oriented Mechanisms for Interoperability Between Proof Systems

Des spécifications en langage naturel aux spécifications formelles via une ontologie comme modèle pivot

Analyse de dépendances ML pour les évaluateurs de logiciels critiques.

Extraction de code fonctionnel certifié à partir de spécifications inductives

Automatisation des preuves pour la vérification des règles de l'Atelier B

Verification formelle et optimisation de l’allocation de registres

Test automatique de propriétés dans un atelier de développement de logiciels sûrs

NOV / CCN3 et CKIP-1 régulent respectivement la détermination et la migration des myoblastes au cours de la différenciation musculaire

Méthodes formelles pour la modélisation géométrique à base topologique : définitions et algorithmes avec la méthode B

Une aide à la réutilisation de preuves formelles : application aux preuves de propriétés sémantiques

Role du systeme igf (insulin-like growth factor) dans la myogenese : etude des voies de signalisation controlant l'expression d'igfbp-5 (igf binding protein-5)

Reflexion sur. . . Risque de catastrophe chimique : scenario fuite de chlore gazeux ; exemple d'une usine du nord de la france