User

Etienne Renault

From LRDE

Revision as of 15:07, 11 April 2016 by Etienne Renault (talk | contribs)

REDIRECT https://www.lrde.epita.fr/~renault/


List of my publications since I started my PhD.

 TitlePublished inDate
From Spot 2.0 to Spot 2.10: What's New?From Spot 2.0 to Spot 2.10: What's New?Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22)6 June 2022
LTL under reductions with weaker conditions than stutter invarianceLTL under reductions with weaker conditions than stutter invarianceProceedings of the 41th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'22)18 April 2022
Towards better Heuristics for solving Bounded Model Checking ProblemsTowards better Heuristics for solving Bounded Model Checking ProblemsProceedings of the 27th International Conference on Principles and Practice of Constraint Programmings (CP)31 August 2021
Go2Pins: A Framework for the LTL Verification of Go ProgramsGo2Pins: A Framework for the LTL Verification of Go ProgramsProceedings of the 27th International SPIN Symposium on Model Checking of Software (SPIN'21)8 June 2021
Combining Parallel Emptiness Checks with Partial Order ReductionsCombining Parallel Emptiness Checks with Partial Order ReductionsProceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19)2 August 2019
Improving Parallel State-Space Exploration Using Genetic AlgorithmsImproving Parallel State-Space Exploration Using Genetic AlgorithmsProceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECOS'18)14 June 2018
Spot 2.0 — a framework for LTL and ω-automata manipulationSpot 2.0 — a framework for LTL and ω-automata manipulationProceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16)17 June 2016
Heuristics for Checking Liveness Properties with Partial Order ReductionsHeuristics for Checking Liveness Properties with Partial Order ReductionsProceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16)17 June 2016
Parallel Explicit Model Checking for Generalized Büchi AutomataParallel Explicit Model Checking for Generalized Büchi AutomataProceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15)13 January 2015
Three SCC-based Emptiness Checks for Generalized Büchi AutomataThree SCC-based Emptiness Checks for Generalized Büchi AutomataProceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13)9 October 2013
Strength-Based Decomposition of the Property Büchi Automaton for Faster Model CheckingStrength-Based Decomposition of the Property Büchi Automaton for Faster Model CheckingProceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13)8 January 2013