Aaltodoc
→
Browsing by Author

Browsing by Author "Heljanko, Keijo"

Now showing items 1-14 of 14

Title: Access Time Improvement Framework for Standardized IoT Gateways Author(s): Javed, Asad; Yousefnezhad, Narges; Robert, Jeremy; Heljanko, Keijo; Framling, Kary Date: 2019-03-01 Series: 2019 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019
Title: BMC for Weak Memory Models Author(s): Gavrilenko, Natalia; Ponce-de-León, Hernán; Furbach, Florian; Heljanko, Keijo; Meyer, Roland Date: 2019-01-01 Series: Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Volume 11561 LNCS
Title: CEFIoT Author(s): Javed, Asad; Heljanko, Keijo; Buda, Andrea; Främling, Kary Date: 2018-05-04 Series: IEEE World Forum on Internet of Things, WF-IoT 2018 - Proceedings
Title: Combining symbolic and partial order methods for model checking 1-safe Petri nets Author(s): Heljanko, Keijo Date: 2002-03-22 Series: Research reports / Helsinki University of Technology, Laboratory for Theoretical Computer Science. A, 71 | Doctoral thesis (article-based)
Title: Data-Driven Approach to Grade Change Scheduling Optimization in a Paper Machine Author(s): Mostafaei, Hossein; Ikonen, Teemu; Kramb, Jason; Deneke, Tewodros; Heljanko, Keijo; Harjunkoski, Iiro Date: 2020-04-29 Series: Industrial and Engineering Chemistry Research, Volume 59, issue 17
Title: Deadlock and Reachability Checking with Finite Complete Prefixes Author(s): Heljanko, Keijo Date: 1999 Helsinki University of Technology | Licentiate thesis
Title: Distributed hybrid-indexing of compressed pan-genomes for scalable and fast sequence alignment Author(s): Maarala, Altti Ilari; Arasalo, Ossi; Valenzuela, Daniel; Mäkinen, Veli; Heljanko, Keijo Date: 2021-08-03 Series: PloS one, Volume 16, issue 8
Title: Interface specification methods for software components Author(s): Lampinen, Jani; Liedes, Sami; Kähkönen, Kari; Kauttio, Janne; Heljanko, Keijo Date: 2009 Series: TKK reports in information and computer science, 25 Faculty of Information and Natural Sciences
Title: IoTEF: A Federated Edge-Cloud Architecture for Fault-Tolerant IoT Applications Author(s): Javed, Asad; Robert, Jérémy; Heljanko, Keijo; Främling, Kary Date: 2020-03-01 Series: JOURNAL OF GRID COMPUTING
Title: LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs Author(s): Kähkönen, Kari; Saarikivi, Olli; Heljanko, Keijo Date: 2013 Series: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Volume 296
Title: Model Checking the Branching Time Temporal Logic CTL Author(s): Heljanko, Keijo Date: 1997 Helsinki University of Technology | Master's thesis
Title: Reinforcement learning of adaptive online rescheduling timing and computing time allocation Author(s): Ikonen, Teemu J.; Heljanko, Keijo; Harjunkoski, Iiro Date: 2020-10-04 Series: Computers and Chemical Engineering, Volume 141
Title: Surrogate-based optimization of a periodic rescheduling algorithm Author(s): Ikonen, Teemu; Heljanko, Keijo; Harjunkoski, Iiro Date: 2022-06 Series: AIChE Journal, articlenumber e17656
Title: Synergistic and Intelligent Process Optimization : First Results and Open Challenges Author(s): Harjunkoski, Iiro; Ikonen, Teemu; Mostafaei, Hossein; Deneke, Tewodros; Heljanko, Keijo Date: 2020-09-23 Series: Industrial & Engineering Chemistry Research, Volume 59, issue 38