| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 6 |      | Robert de B. Johnston, Ouiza Dahmoune: Overview of Applying Reachability Analysis to Verifying a Physical Microprocessor. MTV 2011: 32-37 |
| 2010 | ||
| 5 | | Ouiza Dahmoune, Robert de B. Johnston: An Embedded Reachability Analyzer and Invariant Checker (ERAIC). MTV 2010: 47-50 |
| 4 | | Ouiza Dahmoune, Robert de B. Johnston: Applying Model-Checking to Post-Silicon-Verification: Bridging the Specification-Realisation Gap. ReConFig 2010: 73-78 |
| 1997 | ||
| 3 | | Abdelillah Mokkedem, Michael J. Ferguson, Robert de B. Johnston: A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol. FME 1997: 398-417 |
| 1990 | ||
| 2 |  | M. Hakan Erdogmus, Robert de B. Johnston: An Approach to Specifying and Synthesizing Communicating Processes. FORTE 1990: 111-126 |
| 1987 | ||
| 1 | | Kevin Rea, Robert de B. Johnston: Automated Analysis of Discrete Communication Behavior. IEEE Trans. Software Eng. 13(10): 1115-1126 (1987) |
| 1 | Ouiza Dahmoune | [4] [5] [6] |
| 2 | Hakan Erdogmus (M. Hakan Erdogmus) | [2] |
| 3 | Michael J. Ferguson | [3] |
| 4 | Abdelillah Mokkedem (Abdel Mokkedem) | [3] |
| 5 | Kevin Rea | [1] |
Colors in the list of coauthors
Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page