# Neal A. Harman

According to our database

^{1}, Neal A. Harman## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2007

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

J. Log. Algebr. Program., 2007

Algebraic Models of Simultaneous Multithreaded and Multi-core Processors.

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2003

Algebraic models of correctness for abstract pipelines.

J. Log. Algebr. Program., 2003

2001

Verifying a Simple Pipelined Microprocessor Using Maude.

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

2000

Algebraic Models of Correctness for Microprocessors.

Formal Asp. Comput., 2000

1998

Algebraic Models of Superscalar Microprocessor Implementations: A Case Study.

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

1996

Algebraic Models of Microprocessors: Architecture and Organisation.

Acta Inf., 1996

An Algebraic Model of Correctness for Superscalar Microprocessors.

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

1993

Algebraic Models and the Correctness of Microprocessors.

Proceedings of the Correct Hardware Design and Verification Methods, 1993