Neal A. Harman
According to our database1, Neal A. Harman
Legend:Book In proceedings Article PhD thesis Other
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
Algebraic models of correctness for abstract pipelines.
J. Log. Algebr. Program., 2003
Verifying a Simple Pipelined Microprocessor Using Maude.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2001
Algebraic Models of Correctness for Microprocessors.
Formal Asp. Comput., 2000
Algebraic Models of Superscalar Microprocessor Implementations: A Case Study.
Proceedings of the Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA, 1998
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
Algebraic Models and the Correctness of Microprocessors.
Proceedings of the Correct Hardware Design and Verification Methods, 1993