Adaptabilité  Adaptation dynamique Cohérente  Adl  Algorithmes parallèles  Annotation  Architectes de logiciels  Architecture  Architecture basée sur les composants  Architecture des réseaux d'ordinateurs  Architecture logicielle  Atl  Attaques  Attaques Robustesse  Bogues  Carte chaotique  Classification  Composant  Composant logiciel  Composants logiciels  Confiance  Correspondances  Coût de mauvaise classification  Cryptographie  DICOM  Design patterns  Distribution  Droit à la vie privée  Débogage  Démarche d’Architecture  Dépendance transactionnelle  Effort de prédiction  EventB  Evolution  FCA  Formel  Gestion  Gestion de transaction  Gestion d’énergie  Générateurs de code source  Génération de code  Hétérogénéité de modèles  IDM  IMD  Image médicale  Imagerie médicale  Imperceptibilité  Informatique  Ingénierie  Ingénierie Dirigée par les Modèles  Ingénierie dirigée par les modèles  Internet des objets  Jeu multi-joueurs  Jeux sur Internet  Langage de Description d’Architecture  Langages formels  Ligne de produit  Logiciels -- Développement  Logiciels -- Exactitude  Logiciels -- Vérification  Machines à état  MapReduce  Mesures de performance du modèle  Modèle de qualité  Modèle formel B  Modèle prédictif  Modèles d'information  Modèles mathématiques  Modélisation  Modélisation de variabilité  Modélisation des données  Multi-modélisation  Multivue  Mémoire de la qualité du logiciel  Métriques de qualité  Métriques logiciel  Métriques logicielles  N-gram  Niveau d'abstraction  OTP  Ontologie  Ontologies  Oracles  Protection de l'information  Prédictions conformes  Prévision des fautes logicielles  Qualification  Qualité de contexte  Qualité de service  Reconfiguration  Respect de la vie privée  Simulation  Streaming  Synchronisation entre modèle et code  Système de système  Système virtuel et réparti  Systèmes adaptatifs  Systèmes de télécommunications  Systèmes embarqués  Systèmes embarqués  Systèmes virtuels  Tatouage d’image  Test de transformations de modèles  Thèses et écrits académiques  Traitement de l'évolution  Transformation & Persistance de modèles  Transformation de modèles  Téléphonie mobile  UML  Variables  Vidéos  Véhicule électrique  Véhicules électriques  Vérification  Vérification de modèles  Vérification de modèles  Weber  ZBDD  Énergie  

Antoine Beugnard a rédigé la thèse suivante :


Antoine Beugnard a dirigé les 7 thèses suivantes :


Antoine Beugnard a été président de jury des 5 thèses suivantes :

Sciences et technologies de l'information et de la communication
Soutenue le 13-01-2015
Thèse soutenue
Informatique et applications
Soutenue le 09-10-2014
Thèse soutenue

Antoine Beugnard a été rapporteur des 9 thèses suivantes :

Sureté de Logiciel et Calcul à Haute Performance
Soutenue le 06-03-2018
Thèse soutenue

Informatique et applications
Soutenue le 09-10-2014
Thèse soutenue

Antoine Beugnard a été membre de jury de la thèse suivante :