Nesrine Harrath

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Formal Verification

Cellular Automata

Top Venues

Int. J. Crit. Comput. Based Syst.

IRI (best papers)

Conservatoire national des arts et métiers, Paris, France (PHD)

Education History

Conservatoire national des arts et métiers, Paris, France

PHD

Publications

Nesrine Harrath, Bruno Monsuez
Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction. Int. J. Crit. Comput. Based Syst. 5 (3/4) (2014)
Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui
A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata. IRI (best papers) (2013)
Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui
Verifying SystemC with predicate abstraction: A component based approach. IRI (2013)
Nesrine Harrath, Bruno Monsuez
SystemC waiting state automata. Int. J. Crit. Comput. Based Syst. 3 (1/2) (2012)