According to our database1, Roope Kaivola authored at least 21 papers between 1991 and 2013.
Legend:Book In proceedings Article PhD thesis Other
Relational STE and theorem proving for formal verification of industrial circuit designs.
Proceedings of the Formal Methods in Computer-Aided Design, 2013
Intel Core<sup>TM</sup> i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework.
Proceedings of the Practical Aspects of Declarative Languages, 2011
Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics.
Formal Methods Syst. Des., 2005
Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005
Formal Verification of Pentium® 4 Components with Symbolic Simulation and Inductive Invariants.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
Proof engineering in the large: formal verification of Pentium?4 floating-point divider.
Int. J. Softw. Tools Technol. Transf., 2003
Proceedings of the 2002 Design, 2002
Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001
Proof Engineering in the Large: Formal Verification of Pentium<sup>®</sup> 4 Floating-Point Divider.
Proceedings of the Correct Hardware Design and Verification Methods, 2001
Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000
Proceedings of the 37th Conference on Design Automation, 2000
Proceedings of the Computer Aided Verification, 9th International Conference, 1997
Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996
Proceedings of the International Workshop on Structures in Concurrency Theory, 1995
Proceedings of the CONCUR '95: Concurrency Theory, 1995
The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear temporal Logic.
Proceedings of the CONCUR '92, 1992
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992
Proceedings of the CONCUR '91, 1991