Pascal Raymond
4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Pascal Raymond
Pascal Raymond -- Verimag, Grenoble. Four records, and they are exactly the four in moy: Raymond and Matthieu Moy co-author every paper of the transistor-level electrical rule checking line, 2023 to 2026.
**This set is deliberately short, and the shortness is the point.** Two person sets with identical membership do not want two essays. The substantive account of what this group does lives in oulkaid, the first author's set, which also covers the thesis oulkaid2025modeles and the industrial arrangement behind the programme; moy records what the supervisory sets add beyond it. Neither is repeated here. What this set contributes is the fact of the identity itself.
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: what transistor-level electrical rule checking is and what it cannot do 2026 oulkaid2026modeling three modelling choices compared, and the unsoundness of one traced to its shape
**What the identity shows.** The group's author list is stable in a way that distinguishes roles: Raymond, Moy and Mehdi Khosravian are on all four; Ludovic Henrio and Gabriel Radanne on the first three but not the last; Bruno Ferres and Oussama Oulkaid alternate as first author. Read across the four records, that is a doctoral programme with two constant supervisors, and it is not visible from any single record.
**The qualification that must travel with this line**, repeated here because a reader may arrive at this set first: the thesis behind these papers, held as oulkaid2025modeles and not in this set because it is single-authored, finds the SPICE-closest semantics unsound -- and oulkaid2026modeling traces that to the quarter-plane shape of the approximation and proposes a conservative envelope as the fix, as future work not done. The bare unsoundness claim should not be repeated without it.
Raymond's earlier work on synchronous languages and Lustre at Verimag is not represented in this corpus at all; nothing here should be read as a survey of what he has done, only of where this bibliography leans on him.