Robert de B. Johnston

Publication Activity (10 Years)

Years Active: 1987-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)
Abdelillah Mokkedem, Michael J. Ferguson, Robert de B. Johnston
A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol. FME (1997)
M. Hakan Erdogmus, Robert de B. Johnston
An Approach to Specifying and Synthesizing Communicating Processes. FORTE (1990)
Kevin Rea, Robert de B. Johnston
Automated Analysis of Discrete Communication Behavior. IEEE Trans. Software Eng. 13 (10) (1987)