Zeineb Bel Hadj Amor

According to our database, Zeineb Bel Hadj Amor authored at least 4 papers between 2011 and 2014.

Collaborative distances:

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

2014

A tool for the automatic TLM-to-RTL conversion of embedded systems requirements for a seamless verification flow.

Zeineb Bel Hadj Amor, Laurence Pierre, Dominique Borrione

Proceedings of the 22nd International Conference on Very Large Scale Integration, 2014

2013

Automatic refinement of requirements for verification throughout the SoC design flow.

Laurence Pierre, Zeineb Bel Hadj Amor

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2013

2012

Integrating PSL properties into SystemC transactional modeling - Application to the verification of a modem SoC.

Laurence Pierre, Luca Ferro, Zeineb Bel Hadj Amor, Philippe Bourgon, Jérôme Quévremont

Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

2011

Runtime Verification of Typical Requirements for a Space Critical SoC Platform.

Luca Ferro, Laurence Pierre, Zeineb Bel Hadj Amor, Jérôme Lachaize, Vincent Lefftz

Proceedings of the Formal Methods for Industrial Critical Systems, 2011