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 | 408 | 2016 |
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 | 211* | 2004 |
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 | 119 | 2015 |
LTL translation improvements in Spot 1.0 A Duret-Lutz International Journal of Critical Computer-Based Systems 5 5 (1-2), 31-54, 2014 | 93 | 2014 |
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 | 77 | 2005 |
Manipulating LTL formulas using Spot 1.0 A Duret-Lutz Automated Technology for Verification and Analysis: 11th International …, 2013 | 75 | 2013 |
From spot 2.0 to spot 2.10: what’s new? A Duret-Lutz, E Renault, M Colange, F Renkin, A Gbaguidi Aisse, ... International Conference on Computer Aided Verification, 174-187, 2022 | 59 | 2022 |
GNU Automake D MacKenzie, T Tromey, A Duret-Lutz User Manual, for Automake version, 1995 | 51 | 1995 |
Compositional approach to suspension and other improvements to LTL translation T Babiak, T Badie, A Duret-Lutz, M Křetínský, J Strejček Model Checking Software: 20th International Symposium, SPIN 2013, Stony …, 2013 | 45 | 2013 |
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 | 43 | 2011 |
Parallel model checking algorithms for linear-time temporal logic J Barnat, V Bloemen, A Duret-Lutz, A Laarman, L Petrucci, J van de Pol, ... Handbook of Parallel Constraint Reasoning, 457-507, 2018 | 37 | 2018 |
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 | 37 | 2003 |
Design patterns for generic programming in C++ A Duret-Lutz, T Géraud, A Demaille 6th USENIX Conference on Object-Oriented Technologies and Systems (COOTS 01), 2001 | 35 | 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 | 27 | 2013 |
Generic implementation of morphological image operators J Darbon, T Gèraud, A Duret-Lutz Mathematical Morphology, Proceedings of the 6th International Symposium VI …, 2002 | 26 | 2002 |
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 | 24 | 2000 |
The reactive synthesis competition (syntcomp): 2018–2021 S Jacobs, GA Perez, R Abraham, V Bruyere, M Cadilhac, M Colange, ... International Journal on Software Tools for Technology Transfer, 1-17, 2024 | 23 | 2024 |
Variations on parallel explicit emptiness checks for generalized Büchi automata E Renault, A Duret-Lutz, F Kordon, D Poitrenaud International Journal on Software Tools for Technology Transfer 19, 653-673, 2017 | 21 | 2017 |
Generic Programming Redesign of Patterns. T Géraud, A Duret-Lutz EuroPLoP, 283-294, 2000 | 21 | 2000 |
Flattening the Viewable Sphere. DM German, L Burchill, A Duret-Lutz, S Pérez-Duarte, E Pérez-Duarte, ... CAe, 23-28, 2007 | 20 | 2007 |