Adaptabilité  Adaptation dynamique Cohérente  Adl  Algorithmes parallèles  Analyse  Analyse comportementale  Analyse dynamique  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  Co-évolution  Collaboration  Composant  Composant logiciel  Composants logiciels  Compréhensibilité  Confiance  Correspondances  Cosimulation  Coût de mauvaise classification  Cryptographie  Cybersécurité  Cyberterrorisme  DICOM  Design patterns  Distribution  Droit à la vie privée  Débogage  Démarche d’Architecture  Dépendance transactionnelle  Effort de prédiction  Estimation énergétique  EventB  Evolution  FCA  FMI  Flexibilité  Formel  Fédération de modèles  Gestion  Gestion de transaction  Gestion d’énergie  Graphes d'objets  Génie logiciel  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  Langage de modélisation spécifique à un domaine  Langages formels  Ligne de produit  Logiciels -- Développement  Logiciels -- Exactitude  Logiciels -- Vérification  Logiciels de groupe  Machines à état  Maintenabilité  MapReduce  Mesures de performance du modèle  Migration de modèles  Model Checking  Modularité  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  Objets coopérants  Ontologie  Ontologies  Oracles  Patron  Patrons de sécurité  Pirates informatiques  Point de vue  Processus  Propriétés de Sécurité  Protection de l'information  Prédictions conformes  Prévision des fautes logicielles  Qualification  Qualité  Qualité de contexte  Qualité de service  Reconfiguration  Respect de la vie privée  Ré-Ingénierie  Réingénierie organisationnelle  Réseaux électriques intelligents  Réutilisation  Scada  Selection de tests de regression  Simulation  Simulation par ordinateur  Smart Grid  Streaming  Synchronisation entre modèle et code  Système de système  Système virtuel et réparti  Systèmes adaptatifs  Systèmes cyber-physique  Systèmes d'exploitation orientés objets  Systèmes d'information -- Gestion  Systèmes de télécommunications  Systèmes embarqués  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Systèmes virtuels  Sécurité des systèmes  Tatouage d’image  Test de transformations de modèles  Traitement de l'évolution  Transformation & Persistance de modèles  Transformation de modèles  Travail collaboratif  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  Vérification formelle  Weber  ZBDD  Économies d'énergie  Énergie  

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


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


Antoine Beugnard a été président de jury des 8 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 13 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 :