Ouiza Dahmoune

According to our database, Ouiza Dahmoune authored at least 4 papers between 2010 and 2011.

Collaborative distances:

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

2011

Overview of Applying Reachability Analysis to Verifying a Physical Microprocessor.

Robert de B. Johnston, Ouiza Dahmoune

Proceedings of the 12th International Workshop on Microprocessor Test and Verification, 2011

Model Checker to FPGA Prototype Commmunication Bottleneck Issue.

Ouiza Dahmoune, Robert de B. Johnston

Proceedings of the 12th International Workshop on Microprocessor Test and Verification, 2011

2010

Applying Model-Checking to Post-Silicon-Verification: Bridging the Specification-Realisation Gap.

Ouiza Dahmoune, Robert de B. Johnston

Proceedings of the ReConFig'10: 2010 International Conference on Reconfigurable Computing and FPGAs, 2010

An Embedded Reachability Analyzer and Invariant Checker (ERAIC).

Ouiza Dahmoune, Robert de B. Johnston

Proceedings of the 11th International Workshop on Microprocessor Test and Verification, 2010