Olli Saarikivi
发表
Keijo Heljanko,
Olli Saarikivi,
Kari Kähkönen,
2012,
2012 12th International Conference on Application of Concurrency to System Design.
Javier Esparza,
Keijo Heljanko,
Hernán Ponce de León,
2017,
ACM Trans. Embed. Comput. Syst..
Keijo Heljanko,
Olli Saarikivi,
Kari Kähkönen,
2013
.
Keijo Heljanko,
Olli Saarikivi,
Kari Kähkönen,
2014,
Automated Software Engineering.
Keijo Heljanko,
Olli Saarikivi,
Kari Kähkönen,
2012,
2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering.
Margus Veanes,
Olli Saarikivi,
2017,
CAV.
Keijo Heljanko,
Olli Saarikivi,
2015,
NFM.
Keijo Heljanko,
Olli Saarikivi,
2016,
TACAS.
Olli Saarikivi,
2017
.
Hao Chen,
Kim Laine,
Kristin E. Lauter,
2019,
PLDI.
Wei Dai,
Kim Laine,
Roshan Dathathri,
2019,
PLDI.
Margus Veanes,
Todd Mytkowicz,
Madan Musuvathi,
2017,
PLDI.
Javier Esparza,
Keijo Heljanko,
Hernán Ponce de León,
2015,
2015 15th International Conference on Application of Concurrency to System Design.
Margus Veanes,
Olli Saarikivi,
Tomáš Vojnar,
2020,
Proc. ACM Program. Lang..
Zhengyang Liu,
Todd Mytkowicz,
Madan Musuvathi,
2020,
ArXiv.
Margus Veanes,
Olli Saarikivi,
Eric Xu,
2019,
TACAS.
Ilkka Niemelä,
Keijo Heljanko,
Olli Saarikivi,
2011
.
Hao Chen,
Kim Laine,
Kristin E. Lauter,
2018,
ArXiv.
Keijo Heljanko,
Olli Saarikivi,
Kari Kähkönen,
2012
.
Margus Veanes,
Olli Saarikivi,
2017,
IWIL@LPAR.
Ilkka Niemelä,
Keijo Heljanko,
Olli Saarikivi,
2011
.
Emad Barsoum,
Jaliya Ekanayake,
Todd Mytkowicz,
2020,
MLSys.
Keijo Heljanko,
Olli Saarikivi,
2016,
J. Log. Algebraic Methods Program..
Olli Saarikivi,
2017
.
Margus Veanes,
Lukás Holík,
Tomás Vojnar,
2019,
APLAS.
Keijo Heljanko,
Olli Saarikivi,
Kari Kähkönen,
2013
.
Todd Mytkowicz,
Madan Musuvathi,
Roshan Dathathri,
2019,
ArXiv.
Abhinav Jangda,
Todd Mytkowicz,
Madan Musuvathi,
2021,
ArXiv.
Meghan Cowan,
Todd Mytkowicz,
Vijay Chidambaram,
2021,
ArXiv.
Kim Laine,
Olli Saarikivi,
Sangeeta Chowdhary,
2021,
WAHC@CCS.