Robert de B. Johnston

According to our database, Robert de B. Johnston authored at least 7 papers between 1987 and 2011.

Collaborative distances:

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

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

1997

A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol.

Abdelillah Mokkedem, Michael J. Ferguson, Robert de B. Johnston

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1990

An Approach to Specifying and Synthesizing Communicating Processes.

M. Hakan Erdogmus, Robert de B. Johnston

Proceedings of the Formal Description Techniques, 1990

1987

Automated Analysis of Discrete Communication Behavior.

Kevin Rea, Robert de B. Johnston

IEEE Trans. Software Eng., 1987