Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

André Arnold

André Arnold a dirigé les 11 thèses suivantes :

Dépliages efficaces de réseaux de Petri

Conception et réalisation d'un vérificateur de modèles AltaRica

Un algorithme linéaire de calcul de points fixes dans les systèmes de transitions : parallélisation et études expérimentales

par Jérôme Dormoy sous la direction de André Arnold - Bordeaux 1

Propriétés logiques du non déterminisme et μ-calcul modal

Modélisation et implantation d'un système de raisonnement à partir de littérature médicale : application à la cancérologie

Modélisation et traitement des connaissances sur le temps et les tâches médicales pour les systèmes experts en cancérologie

par Damien Cauhapé sous la direction de André Arnold - Bordeaux 1

Equations et systèmes de réécritures dans le monoïde libre : une approche commune

Réalisation de l'outil Mec : spécification fonctionnelle et architecture

Contribution à l'étude des systèmes communicants et des algorithmes d'exclusion mutuelle

Implémentation centralisée de C. S. P : étude de théorique et réalisation

Étude de la reconnaissabilité des langages rationnels de mots infinis

André Arnold a été président de jury de la thèse suivante :

Choix et intégration d'un réseau de processeurs parallèles dans le système d'acquisition temps réel du multidétecteur 4π DIAMANT : modélisation, réalisation, et évaluation du logiciel implanté sur ce réseau

André Arnold a été membre de jury des 2 thèses suivantes :

Synthesis for a weak real-time logic

Discrete event modeling and analysis for systems biology models

André Arnold

André Arnold a dirigé les 11 thèses suivantes :

André Arnold a été président de jury de la thèse suivante :

André Arnold a été membre de jury des 2 thèses suivantes :