Pierre Ostier

According to our database, Pierre Ostier authored at least 2 papers between 2003 and 2004.

Collaborative distances:

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

2004

TheoSim: combining symbolic simulation and theorem proving for hardware verification.

Ghiath Al Sammane, Julien Schmaltz, Diana Toma, Pierre Ostier, Dominique Borrione

Proceedings of the 17th Annual Symposium on Integrated Circuits and Systems Design, 2004

2003

Constrained Symbolic Simulation with Mathematica and ACL2.

Ghiath Al Sammane, Diana Toma, Julien Schmaltz, Pierre Ostier, Dominique Borrione

Proceedings of the Correct Hardware Design and Verification Methods, 2003