paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 118081365Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Potop-Butucaru, Dumitru

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : anglais
Pays : Roumanie
Genre : Masculin

Notes

Note publique d'information : 
Depuis 2005, chercheur à l'INRIA de Rocquencourt, France

Note publique d'information : 
Directeur de thèse et membre du jury d'une thèse en Informatique à Université Côte d'Azur en 2023

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/21932896
Identifiant HAL : dpotop
Identifiant ISNI : 0000000048450853

Source

Adéquation algorithme architecture automatisée par solveur SMT / Émilien Kofman ; sous la direction de Robert de Simone et François Verdier. Thèse de doctorat : Informatique : Côte d'Azur : 2017

Information trouvée : membre du jury

Compiling esterel / Dumitru Potop-Butucaru, 2007

Internet, www-rocq.inria.fr/~dpotop/, 2007-10-08

Modélisation et conception par approche synchrone d'architectures neuronales hybrides biologique-artificiel / Marino Rasamuel ; sous la direction de Benoît Miramond. Thèse de doctorat : Électronique : Université Côte d'Azur : 2023

Information trouvée : membre du jury

Méthodologie de vérification formelle de propriétés temporelles pour les applications temps-réel critiques basées sur le concept de temps logique / Fabien Siron ; sous la direction de Dumitru Potop-Butucaru et Robert De Simone. Thèse de doctorat : Informatique : Université Côte d'Azur : 2023

Information trouvée : directeur de thèse et membre du jury

... Références liées : ...