Nesrine Harrath

According to our database, Nesrine Harrath authored at least 5 papers between 2012 and 2014.

Collaborative distances:

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

2014

A Stepwise Compositional Approach to Model and Analyze SystemC Designs at the Transactional Level and the Delta Cycle Level. (Une approche compositionnelle pour la modélisation et l'analyse des composants systemC au niveau TLM et au niveau des Delta Cycles).

Nesrine Harrath

PhD thesis, 2014

Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction.

Nesrine Harrath, Bruno Monsuez

Int. J. Crit. Comput. Based Syst., 2014

2013

A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata.

Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui

Proceedings of the Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, 2013

Verifying SystemC with predicate abstraction: A component based approach.

Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui

Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

2012

SystemC waiting state automata.

Nesrine Harrath, Bruno Monsuez

Int. J. Crit. Comput. Based Syst., 2012