Alexandre Duret-Lutz
Alexandre Duret-Lutz
LRDE / EPITA
Geverifieerd e-mailadres voor lrde.epita.fr - Homepage
TitelGeciteerd doorJaar
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
157*2004
LTL translation improvements in Spot 1.0
A Duret-Lutz
International Journal of Critical Computer-Based Systems 5 5 (1-2), 31-54, 2014
692014
LTL translation improvements in Spot
A Duret-Lutz
5th International Workshop on Verification and Evaluation of Computer and …, 2011
692011
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
692005
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
672016
GNU Automake
D MacKenzie, T Tromey, A Duret-Lutz
User Manual, for Automake version, 1995
411995
Manipulating LTL formulas using Spot 1.0
A Duret-Lutz
Automated technology for verification and analysis, 442-445, 2013
372013
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
332011
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
302003
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
282015
Design Patterns for Generic Programming in C++.
A Duret-Lutz, T Géraud, A Demaille
COOTS 1, 14-14, 2001
272001
Generic implementation of morphological image operators
J Darbon, T Gèraud, A Duret-Lutz
In Mathematical Morphology, Proc. of ISMM, 2002
262002
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
202013
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
202013
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
172000
Generic Programming Redesign of Patterns.
T Géraud, A Duret-Lutz
EuroPLoP, 283-294, 2000
162000
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
152009
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
132000
Emptiness check of powerset buchi automata using inclusion tests
S Baarir, A Duret-Lutz
Seventh International Conference on Application of Concurrency to System …, 2007
122007
Flattening the Viewable Sphere.
DM German, L Burchill, A Duret-Lutz, S Pérez-Duarte, E Pérez-Duarte, ...
Computational Aesthetics, 23-28, 2007
122007
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20