Jéron, Thierry 1963-...
VIAF ID: 196098742 ( Personal )
Permalink: http://viaf.org/viaf/196098742
Preferred Forms
Works
Title | Sources |
---|---|
Abstract interpretation of FIFO channels | |
Abstract lattices for the verification of systems with queues and stacks | |
Bounded-memory algorithms for verification On-the-fly | |
Contribution à la validation des protocoles : test d'infinitude et vérification à la volée | |
Contribution à la vérification d'automates temporisés : déterminisation, vérification quantitative et accessibilité dans les réseaux d'automates | |
Contribution to the verification of timed automata : determinization, quantitative verification and reachability in networks of automata. | |
Diagnosis, opacity and conformance testing for recursive tile systems. | |
Diagnostic, opacité et test de conformité pour des systèmes récursifs | |
Enforcement à l'éxécution de propriétés temporisées | |
Exploration efficace de l'espace d'états adaptée aux programmes distribués asynchrone ˸ adaptation de la réduction d'ordre partiel basée sur les dépliages pour les programmes MPI. | |
Formal approaches to testing of software : proceedings | |
Functional validation of logic controllers : contribution to conformance test and closed-loop analysis. | |
Génération automatique de test à partir de spécifications interprocédurales, français | |
Génération automatique de tests pour modèles avec variables ou récursivité | |
Histoire d’un aller et retour : méthodes formelles et apprentissage de modèles pour les systèmes en temps réel. | |
Méthodes Formelles pour la vérification fonctionnelle des systèmes sur puce cache cohérent. | |
Monitoring information flow by diagnosis techniques | |
On-the-fly verification on finite transition systems | |
Prédiction de motifs de séquences pour des systèmes à évènements discrets, français | |
Robustesse des automates temporisés : calculer les stratégies les plus permissives. | |
Robustness of timed automata : computing the maximally-permissive strategies | |
Runtime enforcement of timed properties. | |
Supervision patterns in discrete event systems diagnosis | |
Symbolic determinisation of extended automata | |
Symbolic execution for conformance testing and refinement testing. | |
Testing concurrent systems through event structures | |
Testing for the unboundedness of fifo channels in programs | |
There and back again : formal methods and model learning for real-time systems : acting upon reality and learning from its reactions | |
Treillis abstraits pour la vérification de systèmes avec files de communication et pile d'appels. | |
Validation fonctionnelle de contrôleurs logiques : contribution au test de conformité et à l'analyse en boucle fermée | |
Vérification à l'exécution de spécifications décentralisées hiérarchiques | |
Vérification formelle des automates communicants. | |
Vérification paramétrée de réseaux composés d'une multitude de processus identiques. |