A MOS transistor model for peak voltage calculation of crosstalk noise. - Patricia Renault; Pirouz Bazargan-Sabet; Dominique Le Dû (ICECS, 2002)

An Event-Driven Approach to Crosstalk Noise Analysis. - Pirouz Bazargan-Sabet; Patricia Renault (Annual Simulation Symposium, 2003)

Formal Verification of Timed VHDL Programs. - Abdelrezzak Bara; Pirouz Bazargan-Sabet; Remy Chevallier; Dominique Le Dû; Emmanuelle Encrenaz; Patricia Renault (FDL, 2010)