Neal A. Harman

According to our database, Neal A. Harman authored at least 9 papers between 1993 and 2007.

Collaborative distances:

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

2007

Algebraic models of behaviour and correctness of SMT and CMT processors.

Neal A. Harman

J. Log. Algebraic Methods Program., 2007

Algebraic Models of Simultaneous Multithreaded and Multi-core Processors.

Neal A. Harman

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2003

Algebraic models of correctness for abstract pipelines.

Anthony C. J. Fox, Neal A. Harman

J. Log. Algebraic Methods Program., 2003

2001

Verifying a Simple Pipelined Microprocessor Using Maude.

Neal A. Harman

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

2000

Algebraic Models of Correctness for Microprocessors.

Anthony C. J. Fox, Neal A. Harman

Formal Aspects Comput., 2000

1998

Algebraic Models of Superscalar Microprocessor Implementations: A Case Study.

Anthony C. J. Fox, Neal A. Harman

Proceedings of the Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA, 1998

1996

Algebraic Models of Microprocessors: Architecture and Organisation.

Neal A. Harman, John V. Tucker

Acta Informatica, 1996

An Algebraic Model of Correctness for Superscalar Microprocessors.

Anthony C. J. Fox, Neal A. Harman

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1993

Algebraic Models and the Correctness of Microprocessors.

Neal A. Harman, John V. Tucker

Proceedings of the Correct Hardware Design and Verification Methods, 1993