Ouiza Dahmoune

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

Ouiza Dahmoune, Robert de B. Johnston
Model Checker to FPGA Prototype Commmunication Bottleneck Issue. MTV (2011)
Robert de B. Johnston, Ouiza Dahmoune
Overview of Applying Reachability Analysis to Verifying a Physical Microprocessor. MTV (2011)
Ouiza Dahmoune, Robert de B. Johnston
Applying Model-Checking to Post-Silicon-Verification: Bridging the Specification-Realisation Gap. ReConFig (2010)
Ouiza Dahmoune, Robert de B. Johnston
An Embedded Reachability Analyzer and Invariant Checker (ERAIC). MTV (2010)