( en | de | ru )

 

Disambiguation of "Duret-Lutz, Alexandre"

Author of the publication

copydeleteadd this publication to your clipboard
Heuristics for Checking Liveness Properties with Partial Order Reductions.

, , , and . ATVA, volume 9938 of Lecture Notes in Computer Science, page 340-356. (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alain Duret

Sabine Düreth-Joneck

Gabriele Göttelmann-Duret

Claudie Jacquier-Duret

Alexandre Varnek

 

Other publications of authors with the same name

LTL translation improvements in Spot 1.0.. Int. J. Crit. Comput. Based Syst., 5 (1/2): 31-54 (2014)Practical "Paritizing" of Emerson-Lei Automata., , and . ATVA, volume 12302 of Lecture Notes in Computer Science, page 127-143. Springer, (2020)Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking, , , and . CoRR, (2011)Multiband segmentation using morphological clustering and fusion $application to color image segmentation., , and . ICIP (1), page 353-356. IEEE, (2003)Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization., , and . CAV (2), volume 12225 of Lecture Notes in Computer Science, page 15-27. Springer, (2020)SPOT: An Extensible Model Checking Library Using Transition-Based Generalized Büchi Automata., and . MASCOTS, page 76-83. IEEE Computer Society, (2004)Is there a best büchi automaton for explicit model checking?, , , and . SPIN, page 68-76. ACM, (2014)Expression Templates in Ada.. Ada-Europe, volume 2043 of Lecture Notes in Computer Science, page 191-202. Springer, (2001)Explicit state model checking with generalized Büchi and Rabin automata., , and . SPIN, page 50-59. ACM, (2017)On-the-Fly Emptiness Checks for Generalized Büchi Automata., , and . SPIN, volume 3639 of Lecture Notes in Computer Science, page 169-184. Springer, (2005)