Keijo Tapio Heljanko, Professori

Julkaisut

Tutkimustuotoksia vuodessa 1996 1999 2000 2001 2004 2008 2009 2011 2012 2013 2015 2016 2017 2018 2019 2020 2022

• 66 Konferenssiartikkeli
• 35 Artikkeli
• 16 Tutkimusraportti
• 3 Kokoomateos tai erikoisnumero
• 4 Muut aineistot
  • 3 Kirjan luku tai artikkeli
  • 1 Kirja

Tutkimustuotoksia vuodessa

Tutkimustuotoksia vuodessa

Hakutulokset

• 2022

  Stratified Certification for k-Induction

  Yu, E., Froleyks, N., Biere, A. & Heljanko, K., 17 lokak. 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022. Griggio, A. & Rungta, N. (toim.). TU Wien Academic Press, 6 Sivumäärä 11. (Conference Series: Formal Methods in Computer-Aided Design).

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto
• 2021

  Progress in Certifying Hardware Model Checking Results

  Yu, E., Biere, A. & Heljanko, K., 2021, Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II. Silva, A. & Leino, K. R. M. (toim.). Cham: Springer Nature Switzerland AG, s. 363-386 24 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 12760 LNCS).

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto
• 2020

  Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution)

  Ponce-De-Leon, H., Furbach, F., Heljanko, K. & Meyer, R., 2020, Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, (TACAS) 2020. Biere, A. & Parker, D. (toim.). Cham: Springer Nature Switzerland, s. 378-382 (Lecture Notes in Computer Science; Vuosikerta 12079).

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

• Exploiting event log event attributes in RNN based prediction

  Hinkka, M., Lehto, T. & Heljanko, K., 2020, Data-Driven Process Discovery and Analysis: 8th IFIP WG 2.6 International Symposium, SIMPDA 2018 Seville, Spain, December 13–14, 2018 and 9th International Symposium, SIMPDA 2019 Bled, Slovenia, September 8, 2019, Revised Selected Papers. Ceravolo, P., van Keulen, M. & Gómez-López, M. T. (toim.). Cham: Springer Nature Switzerland AG, s. 67-85 19 Sivumäärä (Lecture Notes in Business Information Processing; Vuosikerta 379 LNBIP).

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• Scalable Reference Genome Assembly from Compressed Pan-Genome Index with Spark

  Maarala, A. I., Arasalo, O., Valenzuela, D., Heljanko, K. & Mäkinen, V., 18 syysk. 2020, Big Data -- BigData 2020. Nepal, S., Cao, W., Nasridinov, A., Bhuiyan, MD. Z. A., Guo, X. & Zhang, L-J. (toim.). Cham: Springer International Publishing, s. 68-84 17 Sivumäärä ( Lecture Notes in Computer Science ; Vuosikerta 12402).

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

• SparkBeagle: Scalable Genotype Imputation from Distributed Whole-Genome Reference Panels in the Cloud

  Maarala, A. I., Pärn, K., Nunez Fontarnau, J. & Heljanko, K., syysk. 2020, BCB '20: Proceedings of the 11th ACM International Conference on Bioinformatics, Computational Biology and Health Informatics. ACM , 8 Sivumäärä 97

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto
• 2019

  Access Time Improvement Framework for Standardized IoT Gateways

  Javed, A., Yousefnezhad, N., Robert, J., Heljanko, K. & Främling, K., 2019, 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops). New York: IEEE, s. 220-226 7 Sivumäärä

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings

  Gavrilenko, N., Ponce-De-León, H., Furbach, F., Heljanko, K. & Meyer, R., 12 heinäk. 2019, Computer Aided Verification: 31st International Conference, CAV 2019 New York City, NY, USA, July 15–18, 2019, Proceedings, Part I. Dillig, I. & Tasiran, S. (toim.). Cham: Springer Nature Switzerland, s. 355-365 11 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 11561).

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

• Certifying Hardware Model Checking Results

  Yu, Z., Biere, A. & Heljanko, K., 28 lokak. 2019, Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings. Ait-Ameur, Y. & Qin, S. (toim.). Cham: Springer International Publishing AG, s. 498-502 5 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 11852).

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

• Classifying Process Instances Using Recurrent Neural Networks

  Hinkka, M., Lehto, T., Heljanko, K. & Jung, A., 29 tammik. 2019, Business Process Management Workshops: BPM 2018 International Workshops, Sydney, NSW, Australia, September 9-14, 2018, Revised Papers. Daniel, F., Sheng, Q. Z. & Motahari, H. (toim.). Cham: Springer Nature Switzerland, s. 313-324 12 Sivumäärä (Lecture Notes in Business Information Processing; Vuosikerta 342).

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

• Exploiting Event Log Event Attributes in RNN Based Prediction

  Hinkka, M., Lehto, T. & Heljanko, K., 1 syysk. 2019, New Trends in Databases and Information Systems: ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings. Welzer, T., Eder, J., Podgorelec, V., Wrembel, R., Ivanović, M., Gamber, J., Morzy, M., Tzouramanis, T., Darmont, J. & Kamišalić Latifić, A. (toim.). Cham: Springer Nature Switzerland, s. 405-416 12 Sivumäärä (Communications in Computer and Information Science; Vuosikerta 1064).

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto
• 2018

  BMC with Memory Models as Modules

  Ponce-de-Leon, H., Furbach, F., Heljanko, K. & Meyer, R., 2018, Proceedings of the 18th Conference onFormal Methods in Computer-Aided Design (FMCAD 2018) Austin, Texas, USA, October 30 – November 2, 2018. Bjørner, N. & Gurfinkel, A. (toim.). IEEE, s. 22-30 9 Sivumäärä

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

• CEFIoT: A Fault-Tolerant IoT Architecture for Edge and Cloud

  Javed, A., Heljanko, K., Buda, A. & Främling, K., 5 helmik. 2018, 2018 IEEE 4th World Forum on Internet of Things (WF-IoT 2018) . IEEE, s. 813-818 6 Sivumäärä

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

• Dynamic Cut-Off Algorithm for Parameterised Refinement Checking

  Siirtola, A. & Heljanko, K., 5 lokak. 2018, Formal Aspects of Component Software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings. Bae, K. & Ölveczky, P. C. (toim.). Cham: Springer, s. 256-276 21 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 11222).

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• Structural Feature Selection for Event Logs

  Hinkka, M., Lehto, T., Heljanko, K. & Jung, A., 2018, BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM 2017). Teniente, E. & Weidlich, M. (toim.). Springer-Verlag, s. 20-35 16 Sivumäärä (Lecture Notes in Business Information Processing; Vuosikerta 308).

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto
• 2017

  Hardware Model Checking Competition 2017

  Biere, A., van Dijk, T. & Heljanko, K., 2017, Proceedings of 2017 Formal Methods in Computer Aided Design, FMCAD 2017. s. 9

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen

• Portability analysis for weak memory models porthos

  Ponce-de-León, H., Furbach, F., Heljanko, K. & Meyer, R., 2017, Static Analysis - 24th International Symposium, SAS 2017, Proceedings. s. 299-320

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• The FMCAD 2017 graduate student forum

  Heljanko, K., 2017, Proceedings of the 2017 Formal Methods in Computer Aided Design, FMCAD 2017. s. 10

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen
• 2016

  Assessing Big Data SQL Frameworks for Analyzing Event Logs

  Hinkka, M., Lehto, T. & Heljanko, K., 2016, Proceedings - 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016. s. 101-108 7445319

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• LCTD

  Saarikivi, O. & Heljanko, K., 2016, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). s. 927-929

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
• 2015

  Reporting Races in Dynamic Partial Order Reduction

  Saarikivi, O. & Heljanko, K., 2015, 7th International Symposium on NASA Formal Methods (NFM), Pasadena, CA, USA, April 27-29, 2015,. s. 450-456

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

• Unfolding based Minimal Test Suites for Testing Multithreaded Programs

  Ponce-de-León, H., Saarikivi, O., Kähkönen, K., Heljanko, K. & Esparza, J., 2015, International Conference on Application of Concurrency to System Design, Brussels, June 2426, 2015. s. 40-49

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• Unfolding-Based Process Discovery

  Ponce de León, H., Rodríguez, C., Carmona, J., Heljanko, K. & Haar, S., 2015, International Symposium on Automated Technology for Verification and Analysis (ATVA), Shanghai-China, October 1215, 2015. s. 31-47

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• When Do We (Not) Need Complex Assume-Guarantee Rules?

  Tapani Siirtola, A., Tripakis, S. & Heljanko, K., 2015, 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015. s. 30-39

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
• 2014

  Lightweight State Capturing for Automated Testing of Multithreaded Programs

  Kähkönen, K. & Heljanko, K., 2014, Tests and Proofs (TAP), York, UK, July 24-25, 2014. s. 187-203

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• Testing multithreaded programs with contextual unfoldings and dynamic symbolic execution

  Kähkönen, K. & Heljanko, K., 2014, 2014 14th International Conference on Application of Concurrency to System Design (ACSD). s. 142-151

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
• 2013

  Asynchronous Multi-core Incremental SAT Solving

  Wieringa, S. & Heljanko, K., 2013, 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), March 16-24, Rome, Italy. s. 139-153

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• Concurrent Clause Strengthening

  Wieringa, S. & Heljanko, K., 2013, SAT July 8-12, Helsinki, Finland. s. 116-132

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• Increasing Confidence in Liveness Model Checking Results with Proofs

  Kuismin, T. & Heljanko, K., 2013, The 9th International Haifa Verification Conference (HVC 2013), Haifa, Israel, November 5-7, 2013. s. 32-43

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• Parametrised Compositional Verification with Multiple Process and Data Types

  Siirtola, A. & Heljanko, K., 2013, 13th International Conference on Application of Concurrency to System Design, Barcelona, Spain, July 8-10, 2013. s. 67-76

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
• 2012

  A Symbolic Model Checking Approach to Verifying Satellite Onboard Software

  Gan, X., Dubrovin, J. & Heljanko, K., 2012, ESANN 20th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, Bruges, Belgium, April 25-27, 2012. s. 1-15

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• Improving Dynamic Partial Order Reductions for Concolic Testing

  Saarikivi, O., Kähkönen, K. & Heljanko, K., 2012, 12th International Conference on Application of Concurrency to System Design (ACSD 2012), June 27-29, Hamburg, Germany. s. 132-141

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• Using Unfoldings in Automated Testing of Multithreaded Programs

  Kähkönen, K., Saarikivi, O. & Heljanko, K., 2012, ASE 27th IEEE/ACM International Conference Automated Software Engineering 2012 (ASE 2012) ASE, Essen, Germany, September 3-7, 2012. s. 150-159

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
• 2011

  Hadoop-BAM: A Library for Genomic Data Processing

  Niemenmaa, M., Schumacher, A., Heljanko, K., Kallio, A., Klemelä, P., Hupponen, T. & Korpelainen, E., 2011, The 12th Annual Bioinformatics Open Source Conference (BOSC 2011). s. 1

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• LCT: An Open Source Concolic Testing Tool for Java Programs

  Kähkönen, K., Launiainen, T., Saarikivi, O., Kauttio, J., Heljanko, K. & Niemelä, I., 2011, 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011). s. 75-80

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
• 2010

  Efficient Model Checking of PSL Safety Properties

  Launiainen, T., Heljanko, K. & Junttila, T., 2010, The 10th International Conference on Application of Concurrency to System Design (ACSD'2010). s. 95-104

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• Experimental Comparison of Concolic and Random Testing for Java Card Applets

  Kähkönen, K., Kindermann, R., Heljanko, K. & Niemelä, I., 2010, Model Checking Software. s. 22-39

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
• 2009

  Formal Verification of Safety Automation Logic Designs

  Valkonen, J., Koskimies, M., Björkman, K., Heljanko, K., Niemelä, I. & J. Hämäläinen, J., 2009, Automaatio XVIII 2009 Seminaari.

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• Tarmo: A framework for Parallelized Bounded Model Checking

  Wieringa, S., Niemenmaa, M. & Heljanko, K., 2009, The 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC'09). s. 62-76

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• The LIME Interface Specification Language and Runtime Monitoring Tool

  Kähkönen, K., Lampinen, J., Heljanko, K. & Niemelä, I., 2009, Runtime Verification. s. 93-100

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• Verification of Safety Logic Designs by Model Checking

  Björkman, K., Frits, J., Valkonen, J., Lahtinen, J., Heljanko, K., Niemelä, I. & J. Hämäläinen, J., 2009, 6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies NPIC&HMIT 2009. s. 324-335

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
• 2008

  Analyzing Context-Free Grammars Using an Incremental SAT Solver

  Axelsson, R., Heljanko, K. & Lange, M., 2008, The 35th International Colloquium on Automata, Languages, and Programming (ICALP'08), Part II. s. 410-422

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• Formal Verification of Safety I&C System Designs: Two Nuclear Power Plant Related Applications

  Valkonen, J., Koskimies, M., Pettersson, V., Heljanko, K., Holmberg, J-E., Niemelä, I. & J. Hämäläinen, J., 2008, Enlarged Halden Programme Group Meeting - Proceedings of the Man-Technology-Organisation Sessions, Institutt for Energiteknikk, Halden, Norway, 2008. s. C4.2

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen

• Symbolic Step Encodings for Object Based Communicating State Machines

  Dubrovin, J., Junttila, T. & Heljanko, K., 2008, Formal Methods for Open Object-based Distributed Systems (FMOODS'08). s. 96-112

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
• 2006

  Bounded Model Checking for Weak Alternating Buchi Automata

  Heljanko, K., Junttila, T., Keinänen, M., Lange, M. & Latvala, T., 2006, Computer Aided Verification 2006, Seattle, WA, USA, 17.-20.8.2006. s. 95-108

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
• 2005

  Complexity Results for Checking Distributed Implementability

  Heljanko, K. & Stefanescu, A., 2005, Application of Concurrency to System Design (ACSD'2005), St Malo, France, June 7-9, 2005. s. 78-87

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• Incremental and Complete Bounded Model Checking for Full PLTL

  Heljanko, K., Junttila, T. & Latvala, TI., 2005, Computer Aided Verification 2005, Edinburgh,UK, 6-10.7.2005. s. 98-111

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• Simple is Better: Efficient Bounded Model Checking for Past LTL

  Latvala, T., Biere, A., Heljanko, K. & Junttila, T., 2005, Verification, Model Checking, and Abstract Interpretation, Paris, France, 17-19 January 2005. s. 380-395

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
• 2004

  Parallel Encodings of Classical Planning as Satisfiability

  Rintanen, J., Niemelä, I. & Heljanko, K., 2004, Logics in Artificial Intelligence. s. 307-319

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• Simple Bounded LTL Model Checking

  Latvala, T., Biere, A., Heljanko, K. & Junttila, T., 2004, Formal Methods in Computer-Aided Design 2004, Austin, Texas, USA, 15.-17.11.2004. s. 186-200

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu