Keijo Heljanko
Professor
Computer Science
Aalto University
Finland
Biography
Dr. Keijo Heljanko is currently working as a Professor in the Department of computer science, aalto university , Finland. His research interests includes computer science. He is serving as an editorial member and reviewer of several international reputed journals. Dr. Keijo Heljanko is the member of many international affiliations. He has successfully completed his Administrative responsibilities. He has authored of many research articles/books related to computer science.
Research Interest
computer science
Publications
-
Hardware model checking competition 2014: An analysis and comparison of solvers and benchmarks Cabodi, Gianpiero; Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Patti, Denis; Quer, Stefano; Vendraminetto, Danilo; Biere, Armin; Heljanko, Keijo 2016 JOURNAL OF SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION ISSN: 1875-5011
-
When do we not need complex assume-guarantee rules? Siirtola, Antti; Tripakis, Stavros; Heljanko, Keijo 2017 ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS ISSN: 1539-9087
-
Minimizing test suites with unfoldings of multithreaded programs Saarikivi, Olli; Ponce de Leon, Hernan; Kähkönen, Kari; Heljanko, Keijo; Esparza, Javier 2017 ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS ISSN: 1539-9087
