Alexandre Duret-Lutz

According to our database1, Alexandre Duret-Lutz authored at least 36 papers between 2000 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Model checking with generalized Rabin and Fin-less automata.
STTT, 2019

2018
Parallel Model Checking Algorithms for Linear-Time Temporal Logic.
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017
Variations on parallel explicit emptiness checks for generalized Büchi automata.
STTT, 2017

Explicit state model checking with generalized Büchi and Rabin automata.
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Seminator: A Tool for Semi-Determinization of Omega-Automata.
Proceedings of the LPAR-21, 2017

2016
Spot 2.0 - A Framework for LTL and \omega -Automata Manipulation.
Proceedings of the Automated Technology for Verification and Analysis, 2016

Heuristics for Checking Liveness Properties with Partial Order Reductions.
Proceedings of the Automated Technology for Verification and Analysis, 2016

2015
Parallel Explicit Model Checking for Generalized Büchi Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Practical Stutter-Invariance Checks for ω-Regular Languages.
Proceedings of the Model Checking Software - 22nd International Symposium, 2015

On Refinement of Büchi Automata for Explicit Model Checking.
Proceedings of the Model Checking Software - 22nd International Symposium, 2015

SAT-Based Minimization of Deterministic \omega -Automata.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

The Hanoi Omega-Automata Format.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
LTL translation improvements in Spot 1.0.
IJCCBS, 2014

A Type System for Weighted Automata and Rational Expressions.
Proceedings of the Implementation and Application of Automata, 2014

Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Is there a best büchi automaton for explicit model checking?
Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Mechanizing the Minimization of Deterministic Generalized Büchi Automata.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2013
Implementation Concepts in Vaucanson 2.
Proceedings of the Implementation and Application of Automata, 2013

Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Compositional Approach to Suspension and Other Improvements to LTL Translation.
Proceedings of the Model Checking Software - 20th International Symposium, 2013

Three SCC-Based Emptiness Checks for Generalized Büchi Automata.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

LTL Model Checking with Neco.
Proceedings of the Automated Technology for Verification and Analysis, 2013

Manipulating LTL Formulas Using Spot 1.0.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2012
Model Checking Using Generalized Testing Automata.
Trans. Petri Nets and Other Models of Concurrency, 2012

2011
Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2009
On-the-fly Emptiness Check of Transition-Based Streett Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2009

2008
An XML Format Proposal for the Description of Weighted Automata, Transducers and Regular Expressions.
Proceedings of the Finite-State Methods and Natural Language Processing, 2008

2007
Flattening the Viewable Sphere.
Proceedings of the Computational Aesthetics 2007: Eurographics Workshop on Computational Aesthetics in Graphics, 2007

Emptiness Check of Powerset Buchi Automata using Inclusion Tests.
Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2005
On-the-Fly Emptiness Checks for Generalized Büchi Automata.
Proceedings of the Model Checking Software, 2005

2004
SPOT: An Extensible Model Checking Library Using Transition-Based Generalized Büchi Automata.
Proceedings of the 12th International Workshop on Modeling, 2004

2003
Multiband segmentation using morphological clustering and fusion $application to color image segmentation.
Proceedings of the 2003 International Conference on Image Processing, 2003

2001
Design Patterns for Generic Programming in C++.
Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems, January 29, 2001

Expression Templates in Ada.
Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000
Obtaining Genericity for Image Processing and Pattern Recognition Algorithms.
Proceedings of the 15th International Conference on Pattern Recognition, 2000

Generic Programming Redesign of Patterns.
Proceedings of the 5th European Conference on Pattern Languages of Programms (EuroPLoP '2000), 2000


  Loading...