logo EDITE Alexandre DURET-LUTZ
Identité
Alexandre DURET-LUTZ
État académique
Thèse soutenue le 2007-07-10
Titulaire d'une HDR (ou équivalent) 2017-02-10
Laboratoire: personnel permanent
Encadrement de thèses (depuis 2007)
0
Voisinage
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Productions scientifiques
http://arxiv.org/abs/1106.5700
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking
2011
edite:1332792370221
Generalized Büchi Automata versus Testing Automata for Model Checking
2nd workshop on Scalable and Usable Model Checking for Petri Nets and other models of Concurrency (SUMo 2011), Newcastle, UK 2011
edite:1332792411375
Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking
9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11), Taipei, Taiwan 2011
edite:13327925551195
On-the-fly Emptiness Check of Transition-based Streett Automata
Proc. 7th International Symposium on Automated Technology for Verification and Analysis (ATVA), Macao SAR, China 2009