Patricia Renault

According to our database, Patricia Renault authored at least 3 papers between 2002 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

Formal Verification of Timed VHDL Programs.

Abdelrezzak Bara, Pirouz Bazargan-Sabet, Remy Chevallier, Dominique Le Dû, Emmanuelle Encrenaz, Patricia Renault

Proceedings of the 2010 Forum on specification & Design Languages, 2010

2003

An Event-Driven Approach to Crosstalk Noise Analysis.

Pirouz Bazargan-Sabet, Patricia Renault

Proceedings of the Proceedings 36th Annual Simulation Symposium (ANSS-36 2003), Orlando, Florida, USA, March 30, 2003

2002

A MOS transistor model for peak voltage calculation of crosstalk noise.

Patricia Renault, Pirouz Bazargan-Sabet, Dominique Le Dû

Proceedings of the 2002 9th IEEE International Conference on Electronics, 2002