| Spot: an extensible model checking library using transition-based generalized Büchi automata A Duret-Lutz, D Poitrenaud 12th Annual International Symposium on Modeling, Analysis, and Simulation of …, 2004 | 165* | 2004 |
| Spot 2.0 — A Framework for LTL and -Automata Manipulation A Duret-Lutz, A Lewkowicz, A Fauchille, T Michaud, E Renault, L Xu International Symposium on Automated Technology for Verification and …, 2016 | 120 | 2016 |
| LTL translation improvements in Spot 1.0 A Duret-Lutz International Journal of Critical Computer-Based Systems 5 5 (1-2), 31-54, 2014 | 80 | 2014 |
| LTL translation improvements in Spot A Duret-Lutz 5th International Workshop on Verification and Evaluation of Computer and …, 2011 | 80 | 2011 |
| On-the-fly emptiness checks for generalized Büchi automata JM Couvreur, A Duret-Lutz, D Poitrenaud 12th International SPIN Workshop on Model Checking of Software, 143-158, 2005 | 72 | 2005 |
| Manipulating LTL formulas using Spot 1.0 A Duret-Lutz Automated technology for verification and analysis, 442-445, 2013 | 54 | 2013 |
| The Hanoi omega-automata format T Babiak, F Blahoudek, A Duret-Lutz, J Klein, J Křetínský, D Müller, ... International Conference on Computer Aided Verification, 479-486, 2015 | 50 | 2015 |
| GNU Automake D MacKenzie, T Tromey, A Duret-Lutz User Manual, for Automake version, 1995 | 43 | 1995 |
| Self-loop aggregation product—a new hybrid approach to on-the-fly LTL model checking A Duret-Lutz, K Klai, D Poitrenaud, Y Thierry-Mieg International Symposium on Automated Technology for Verification and …, 2011 | 39 | 2011 |
| A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming N Burrus, A Duret-Lutz, T Géraud, D Lesage, R Poss Proceedings of the Workshop on Multiple Paradigm with OO Languages (MPOOL …, 2003 | 30 | 2003 |
| Compositional approach to suspension and other improvements to LTL translation T Babiak, T Badie, A Duret-Lutz, M Křetínský, J Strejček International SPIN Workshop on Model Checking of Software, 81-98, 2013 | 26 | 2013 |
| Generic implementation of morphological image operators J Darbon, T Gèraud, A Duret-Lutz In Mathematical Morphology, Proc. of ISMM, 2002 | 26 | 2002 |
| Design Patterns for Generic Programming in C++. A Duret-Lutz, T Géraud, A Demaille COOTS 1, 14-14, 2001 | 26 | 2001 |
| Three SCC-based emptiness checks for generalized Büchi automata E Renault, A Duret-Lutz, F Kordon, D Poitrenaud International Conference on Logic for Programming Artificial Intelligence …, 2013 | 23 | 2013 |
| On-the-fly emptiness check of transition-based Streett automata A Duret-Lutz, D Poitrenaud, JM Couvreur International Symposium on Automated Technology for Verification and …, 2009 | 17 | 2009 |
| Generic Programming Redesign of Patterns. T Géraud, A Duret-Lutz EuroPLoP, 283-294, 2000 | 17 | 2000 |
| Olena: a component-based platform for image processing, mixing generic, generative and OO programming A Duret-Lutz symposium on Generative and Component-Based Software Engineering, Young …, 2000 | 17 | 2000 |
| Flattening the Viewable Sphere. DM Germán, L Burchill, A Duret-Lutz, S Pérez-Duarte, E Pérez-Duarte, ... Computational Aesthetics, 23-28, 2007 | 14 | 2007 |
| Obtaining genericity for image processing and pattern recognition algorithms T Géraud, Y Fabre, A Duret-Lutz, D Papadopoulos-Orfanos, JF Mangin Pattern Recognition, 2000. Proceedings. 15th International Conference on 4 …, 2000 | 14 | 2000 |
| Parallel explicit model checking for generalized Büchi automata E Renault, A Duret-Lutz, F Kordon, D Poitrenaud International Conference on Tools and Algorithms for the Construction and …, 2015 | 12 | 2015 |
Thierry GéraudProfessor at EPITAVerified email at lrde.epita.fr
