Ludovic Henrio
A grouping.
Ludovic Henrio -- Lyon LIP, with the transistor-level electrical rule checking group. Three records, none first-authored by him, 2023 to 2025.
**The full account of this line is in oulkaid**, the first author's set, which covers the industrial CIFRE arrangement behind it and the thesis oulkaid2025modeles; moy records what the co-author sets add beyond that. Neither is repeated here.
2023 ferres2023electrical electrical rule checking recast as satisfiability 2024 oulkaid2024transistor a transistor netlist given a relational semantics, discharged with an SMT solver 2025 ferres2025survey the survey of transistor-level electrical rule checking
**What this set contributes is an absence.** Henrio and radanne are on those three papers and **not** on oulkaid2026modeling, the 2026 journal paper, while Matthieu Moy, Pascal Raymond and Mehdi Khosravian are on all four. So the group's membership is not constant, and the paper the two of them are off is the one that moves furthest toward the device: electrical overstress, and a comparison of three modelling choices in which the most accurate is found unsound because of the quarter-plane shape of its approximation.
**Be careful what is inferred from that.** A dropped co-author line is weak evidence. It is consistent with a division of labour in which some of the group work on the semantics and the solver encoding while others work on the device modelling, and it is equally consistent with people moving on for reasons a bibliography cannot see. The observation is recorded because it is checkable and because it is invisible from any single record; the explanation is not asserted.
**On what this corpus does not know about him.** These three records are the whole of Henrio's presence here. Whatever else he has worked on is unrepresented, and this set should be read as a map of where this bibliography leans on him, not as an account of his research.
The qualification that must travel with this line: the thesis finds the semantics closest to SPICE unsound, and oulkaid2026modeling traces that to the shape of the approximation and proposes a conservative envelope as the fix, as future work not done. The bare unsoundness claim should never be repeated without it.