E. Renault

Available identifiers

zbMath Open renault.etienneMaRDI QIDQ2165223

List of research outcomes

Publication	Date of Publication	Type
Translation of semi-extended regular expressions using derivatives	2025-01-20	Paper
Towards better heuristics for solving bounded model checking problems	2023-10-02	Paper
From Spot 2.0 to Spot 2.10: What’s New?	2022-12-07	Paper
LTL under reductions with weaker conditions than stutter invariance	2022-08-19	Paper
Parallel Explicit Model Checking for Generalized Büchi Automata	2019-09-17	Paper
Affine fractional stochastic volatility models	2014-11-12	Paper
Three SCC-based emptiness checks for generalized Büchi automata	2014-01-17	Paper
Strength-based decomposition of the property Büchi automaton for faster model checking	2013-08-05	Paper

Research outcomes over time

This page was built for person: E. Renault