E. Renault
From MaRDI portal
Person:2165223
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| 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 Constraints | 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 (available as arXiv preprint) | 2022-08-19 | Paper |
| Parallel Explicit Model Checking for Generalized Büchi Automata Tools and Algorithms for the Construction and Analysis of Systems | 2019-09-17 | Paper |
| Affine fractional stochastic volatility models Annals of Finance | 2014-11-12 | Paper |
| Three SCC-based emptiness checks for generalized Büchi automata Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
| Strength-based decomposition of the property Büchi automaton for faster model checking Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
Research outcomes over time
This page was built for person: E. Renault
