Keijo Heljanko

Professor
Computer Science
Aalto University
Finland

Professor Engineering
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 Intrest

computer science

List of 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

Global Scientific Words in Engineering