Seuraa
Alexandre Duret-Lutz
Alexandre Duret-Lutz
LRE / EPITA
Vahvistettu sähköpostiosoite verkkotunnuksessa lrde.epita.fr - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
4392016
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
218*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
1292015
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
1042022
LTL translation improvements in Spot 1.0
A Duret-Lutz
International Journal of Critical Computer-Based Systems 5 5 (1-2), 31-54, 2014
992014
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
792005
Manipulating LTL formulas using Spot 1.0
A Duret-Lutz
Automated Technology for Verification and Analysis: 11th International …, 2013
742013
GNU Automake
D MacKenzie, T Tromey, A Duret-Lutz
User Manual, for Automake version, 1995
491995
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
462011
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
442013
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
402018
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
382003
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
362001
The reactive synthesis competition (SYNTCOMP): 2018–2021
S Jacobs, GA Pérez, R Abraham, V Bruyere, M Cadilhac, M Colange, ...
International journal on software tools for technology transfer 26 (5), 551-567, 2024
282024
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
272013
Generic implementation of morphological image operators
J Darbon, T Gèraud, A Duret-Lutz
Mathematical Morphology, Proceedings of the 6th International Symposium VI …, 2002
272002
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
242000
Practical “paritizing” of Emerson-Lei automata
F Renkin, A Duret-Lutz, A Pommellet
International Symposium on Automated Technology for Verification and …, 2020
222020
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
222017
Seminator 2 can complement generalized Büchi automata via improved semi-determinization
F Blahoudek, A Duret-Lutz, J Strejček
International Conference on Computer Aided Verification, 15-27, 2020
212020
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20