Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

BibTeX records: Roope Kaivola

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Roope Kaivola

download as .bib file

@inproceedings{DBLP:conf/fmcad/KaivolaK22,
  author       = {Roope Kaivola and
                  Neta Bar Kama},
  editor       = {Alberto Griggio and
                  Neha Rungta},
  title        = {Timed Causal Fanin Analysis for Symbolic Circuit Simulation},
  booktitle    = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
                  Italy, October 17-21, 2022},
  pages        = {99--107},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_16},
  doi          = {10.34727/2022/ISBN.978-3-85448-053-2\_16},
  timestamp    = {Mon, 13 Feb 2023 21:53:10 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/KaivolaK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/GuptaKMS22,
  author       = {Aarti Gupta and
                  Roope Kaivola and
                  Mihir Parang Mehta and
                  Vaibhav Singh},
  editor       = {Alberto Griggio and
                  Neha Rungta},
  title        = {Error Correction Code Algorithm and Implementation Verification Using
                  Symbolic Representations},
  booktitle    = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
                  Italy, October 17-21, 2022},
  pages        = {151--159},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_21},
  doi          = {10.34727/2022/ISBN.978-3-85448-053-2\_21},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/GuptaKMS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/KamaK21,
  author       = {Neta Bar Kama and
                  Roope Kaivola},
  title        = {Hardware Security Leak Detection by Symbolic Simulation},
  booktitle    = {Formal Methods in Computer Aided Design, {FMCAD} 2021, New Haven,
                  CT, USA, October 19-22, 2021},
  pages        = {34--41},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4\_11},
  doi          = {10.34727/2021/ISBN.978-3-85448-046-4\_11},
  timestamp    = {Tue, 07 Dec 2021 17:02:16 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/KamaK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fmcad/2015,
  editor       = {Roope Kaivola and
                  Thomas Wahl},
  title        = {Formal Methods in Computer-Aided Design, {FMCAD} 2015, Austin, Texas,
                  USA, September 27-30, 2015},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/7539356/proceeding},
  isbn         = {978-1-5090-4151-0},
  timestamp    = {Tue, 30 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/OLearyKM13,
  author       = {John W. O'Leary and
                  Roope Kaivola and
                  Tom Melham},
  title        = {Relational {STE} and theorem proving for formal verification of industrial
                  circuit designs},
  booktitle    = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
                  USA, October 20-23, 2013},
  pages        = {97--104},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://ieeexplore.ieee.org/document/6679397/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/OLearyKM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/Kaivola11,
  author       = {Roope Kaivola},
  editor       = {Ricardo Rocha and
                  John Launchbury},
  title        = {Intel Core\({}^{\mbox{TM}}\) i7 Processor Execution Engine Validation
                  in a Functional Language Based Formal Framework},
  booktitle    = {Practical Aspects of Declarative Languages - 13th International Symposium,
                  {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6539},
  pages        = {1},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18378-2\_1},
  doi          = {10.1007/978-3-642-18378-2\_1},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/Kaivola11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/KaivolaGNTWPSTFRN09,
  author       = {Roope Kaivola and
                  Rajnish Ghughal and
                  Naren Narasimhan and
                  Amber Telfer and
                  Jesse Whittemore and
                  Sudhindra Pandav and
                  Anna Slobodov{\'{a}} and
                  Christopher Taylor and
                  Vladimir A. Frolov and
                  Erik Reeber and
                  Armaghan Naik},
  editor       = {Ahmed Bouajjani and
                  Oded Maler},
  title        = {Replacing Testing with Formal Verification in Intel CoreTM i7 Processor
                  Execution Engine Validation},
  booktitle    = {Computer Aided Verification, 21st International Conference, {CAV}
                  2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5643},
  pages        = {414--429},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02658-4\_32},
  doi          = {10.1007/978-3-642-02658-4\_32},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/KaivolaGNTWPSTFRN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/KarviTK05,
  author       = {T. Karvi and
                  Tienari Tienari and
                  Roope Kaivola},
  title        = {Stepwise Development of Process-Algebraic Specifications in Decorated
                  Trace Semantics},
  journal      = {Formal Methods Syst. Des.},
  volume       = {26},
  number       = {3},
  pages        = {293--317},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10703-005-1631-9},
  doi          = {10.1007/S10703-005-1631-9},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/KarviTK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Kaivola05,
  author       = {Roope Kaivola},
  editor       = {Kousha Etessami and
                  Sriram K. Rajamani},
  title        = {Formal Verification of Pentium{\textregistered} 4 Components with
                  Symbolic Simulation and Inductive Invariants},
  booktitle    = {Computer Aided Verification, 17th International Conference, {CAV}
                  2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3576},
  pages        = {170--184},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11513988\_19},
  doi          = {10.1007/11513988\_19},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Kaivola05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hldvt/KaivolaN05,
  author       = {Roope Kaivola and
                  Armaghan Naik},
  title        = {Formal verification of high-level conformance with symbolic simulation},
  booktitle    = {Tenth {IEEE} International High-Level Design Validation and Test Workshop
                  2005, Napa Valley, CA, USA, November 30 - December 2, 2005},
  pages        = {153--159},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/HLDVT.2005.1568830},
  doi          = {10.1109/HLDVT.2005.1568830},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hldvt/KaivolaN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/KaivolaK03,
  author       = {Roope Kaivola and
                  Katherine R. Kohatsu},
  title        = {Proof engineering in the large: formal verification of Pentium?4 floating-point
                  divider},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {4},
  number       = {3},
  pages        = {323--334},
  year         = {2003},
  url          = {https://doi.org/10.1007/s10009-002-0081-6},
  doi          = {10.1007/S10009-002-0081-6},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/KaivolaK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/KaivolaN02,
  author       = {Roope Kaivola and
                  Naren Narasimhan},
  title        = {Formal Verification of the Pentium {\textregistered} 4 Floating-Point
                  Multiplier},
  booktitle    = {2002 Design, Automation and Test in Europe Conference and Exposition
                  {(DATE} 2002), 4-8 March 2002, Paris, France},
  pages        = {20--27},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/DATE.2002.998245},
  doi          = {10.1109/DATE.2002.998245},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/KaivolaN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/KaivolaK01,
  author       = {Roope Kaivola and
                  Katherine R. Kohatsu},
  editor       = {Tiziana Margaria and
                  Thomas F. Melham},
  title        = {Proof Engineering in the Large: Formal Verification of Pentium\({}^{\mbox{{\textregistered}}}\)
                  4 Floating-Point Divider},
  booktitle    = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
                  10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
                  Scotland, UK, September 4-7, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2144},
  pages        = {196--211},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44798-9\_18},
  doi          = {10.1007/3-540-44798-9\_18},
  timestamp    = {Sun, 02 Jun 2019 21:23:48 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/KaivolaK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hldvt/KaivolaN01,
  author       = {Roope Kaivola and
                  Naren Narasimhan},
  title        = {Formal verification of the Pentium\({}^{\mbox{(R)}}\) 4 multiplier},
  booktitle    = {Proceedings of the Sixth {IEEE} International High-Level Design Validation
                  and Test Workshop 2001, Monterey, California, USA, November 7-9, 2001},
  pages        = {115--120},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HLDVT.2001.972817},
  doi          = {10.1109/HLDVT.2001.972817},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hldvt/KaivolaN01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/AagaardJKKS00,
  author       = {Mark D. Aagaard and
                  Robert B. Jones and
                  Roope Kaivola and
                  Katherine R. Kohatsu and
                  Carl{-}Johan H. Seger},
  editor       = {Giovanni De Micheli},
  title        = {Formal verification of iterative algorithms in microprocessors},
  booktitle    = {Proceedings of the 37th Conference on Design Automation, Los Angeles,
                  CA, USA, June 5-9, 2000},
  pages        = {201--206},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/337292.337388},
  doi          = {10.1145/337292.337388},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/AagaardJKKS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/KaivolaA00,
  author       = {Roope Kaivola and
                  Mark D. Aagaard},
  editor       = {Mark D. Aagaard and
                  John Harrison},
  title        = {Divider Circuit Verification with Model Checking and Theorem Proving},
  booktitle    = {Theorem Proving in Higher Order Logics, 13th International Conference,
                  TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1869},
  pages        = {338--355},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44659-1\_21},
  doi          = {10.1007/3-540-44659-1\_21},
  timestamp    = {Tue, 15 Aug 2023 09:02:05 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/KaivolaA00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Kaivola98,
  author       = {Roope Kaivola},
  title        = {Axiomatising Extended Computation Tree Logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {190},
  number       = {1},
  pages        = {41--60},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(97)00083-2},
  doi          = {10.1016/S0304-3975(97)00083-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Kaivola98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Kaivola97,
  author       = {Roope Kaivola},
  editor       = {Orna Grumberg},
  title        = {Using Compositional Preorders in the Verification of Sliding Window
                  Protocal},
  booktitle    = {Computer Aided Verification, 9th International Conference, {CAV} '97,
                  Haifa, Israel, June 22-25, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1254},
  pages        = {48--59},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63166-6\_8},
  doi          = {10.1007/3-540-63166-6\_8},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Kaivola97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Koivola96,
  author       = {Roope Kaivola},
  editor       = {H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Axiomatising Extended Computation Tree Logic},
  booktitle    = {Trees in Algebra and Programming - CAAP'96, 21st International Colloquium,
                  Link{\"{o}}ping, Sweden, April, 22-24, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1059},
  pages        = {87--101},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61064-2\_31},
  doi          = {10.1007/3-540-61064-2\_31},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Koivola96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Kaivola96,
  author       = {Roope Kaivola},
  editor       = {Friedhelm Meyer auf der Heide and
                  Burkhard Monien},
  title        = {Fixpoints for Rabin Tree Automata Make Complementation Easy},
  booktitle    = {Automata, Languages and Programming, 23rd International Colloquium,
                  ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1099},
  pages        = {312--323},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61440-0\_138},
  doi          = {10.1007/3-540-61440-0\_138},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Kaivola96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ipl/Kaivola95,
  author       = {Roope Kaivola},
  title        = {On Modal mu-Calculus and B{\"{u}}chi Tree Automata},
  journal      = {Inf. Process. Lett.},
  volume       = {54},
  number       = {1},
  pages        = {17--22},
  year         = {1995},
  url          = {https://doi.org/10.1016/0020-0190(94)00227-P},
  doi          = {10.1016/0020-0190(94)00227-P},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/Kaivola95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Kaivola95,
  author       = {Roope Kaivola},
  editor       = {Insup Lee and
                  Scott A. Smolka},
  title        = {Axiomatising Linear Time Mu-calculus},
  booktitle    = {{CONCUR} '95: Concurrency Theory, 6th International Conference, Philadelphia,
                  PA, USA, August 21-24, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {962},
  pages        = {423--437},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60218-6\_32},
  doi          = {10.1007/3-540-60218-6\_32},
  timestamp    = {Thu, 26 Jan 2023 14:05:52 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/Kaivola95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/strict/Kaivola95,
  author       = {Roope Kaivola},
  editor       = {J{\"{o}}rg Desel},
  title        = {A Simple Decision Method for the Linear Time Mu-calculus},
  booktitle    = {Proceedings of the International Workshop on Structures in Concurrency
                  Theory, {STRICT} 1995, Berlin, Germany, May 11-13, 1995},
  series       = {Workshops in Computing},
  pages        = {190--204},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-1-4471-3078-9\_13},
  doi          = {10.1007/978-1-4471-3078-9\_13},
  timestamp    = {Tue, 25 Jun 2019 18:06:54 +0200},
  biburl       = {https://dblp.org/rec/conf/strict/Kaivola95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Kaivola92,
  author       = {Roope Kaivola},
  editor       = {Gregor von Bochmann and
                  David K. Probst},
  title        = {Compositional Model Checking for Linear-Time Temporal Logic},
  booktitle    = {Computer Aided Verification, Fourth International Workshop, {CAV}
                  '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {663},
  pages        = {248--259},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-56496-9\_20},
  doi          = {10.1007/3-540-56496-9\_20},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Kaivola92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/KaivolaV92,
  author       = {Roope Kaivola and
                  Antti Valmari},
  editor       = {Rance Cleaveland},
  title        = {The Weakest Compositional Semantic Equivalence Preserving Nexttime-less
                  Linear temporal Logic},
  booktitle    = {{CONCUR} '92, Third International Conference on Concurrency Theory,
                  Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {630},
  pages        = {207--221},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/BFb0084793},
  doi          = {10.1007/BFB0084793},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/KaivolaV92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/KaivolaV91,
  author       = {Roope Kaivola and
                  Antti Valmari},
  editor       = {Jos C. M. Baeten and
                  Jan Friso Groote},
  title        = {Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models},
  booktitle    = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
                  Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {527},
  pages        = {361--375},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54430-5\_100},
  doi          = {10.1007/3-540-54430-5\_100},
  timestamp    = {Fri, 27 Mar 2020 08:51:56 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/KaivolaV91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.