Neal A. Harman

According to our database1, Neal A. Harman
  • authored at least 9 papers between 1993 and 2007.
  • has a "Dijkstra number"2 of four.

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


  Loading...