Rollet, Antoine, 1978-...., informaticien
Rollet, Antoine 1978-...
VIAF ID: 197127136 ( Personal )
Permalink: http://viaf.org/viaf/197127136
Preferred Forms
Works
Title | Sources |
---|---|
Contributions to the validation of adaptive component systems by test generation. | |
Enforcement à l’exécution de propriétés temporisées régulières en présence d’évènements incontrôlables. | |
Méthodes de test basées sur les modèles pour la validation des réseaux logiciels (SDN). | |
Model based testing techniques for software defined networks | |
Random testing of robots navigation in virtual worlds. | |
Robustness testing for real-time systems. | |
Runtime Enforcement of (Timed) Properties with Uncontrollable Events | |
Sémantique formelle et vérification automatique de scénarios hiérarchiques multimédia avec des choix interactifs | |
Synthèse de règles de sécurité pour des systèmes autonomes critiques | |
Synthesis of safety rules for critical autonomous systems. | |
Techniques de test pour des critères de couverture avancés | |
Test aléatoire de la navigation de robots dans des mondes virtuels | |
Test case generation for Symbolic Distributed System Models : Application to Trickle based IoT Protocol | |
Test de robustesse des systèmes temps-réel thèse pour le doctorat en sciences spécialité Informatique | |
Testing techniques for advanced test coverage criteria. |