Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Keijo Heljanko
@inproceedings{DBLP:conf/fmcad/YuFBH23,
author = {Emily Yu and
Nils Froleyks and
Armin Biere and
Keijo Heljanko},
editor = {Alexander Nadel and
Kristin Yvonne Rozier},
title = {Towards Compositional Hardware Model Checking Certification},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2023, Ames, IA, USA,
October 24-27, 2023},
pages = {1--11},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.34727/2023/isbn.978-3-85448-060-0\_12},
doi = {10.34727/2023/ISBN.978-3-85448-060-0\_12},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/YuFBH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/YuFBH22,
author = {Emily Yu and
Nils Froleyks and
Armin Biere and
Keijo Heljanko},
editor = {Alberto Griggio and
Neha Rungta},
title = {Stratified Certification for k-Induction},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {59--64},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_11},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/YuFBH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-01443,
author = {Emily Yu and
Nils Froleyks and
Armin Biere and
Keijo Heljanko},
title = {Stratified Certification for k-Induction},
journal = {CoRR},
volume = {abs/2208.01443},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.01443},
doi = {10.48550/ARXIV.2208.01443},
eprinttype = {arXiv},
eprint = {2208.01443},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-01443.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/YuBH20,
author = {Emily Yu and
Armin Biere and
Keijo Heljanko},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Progress in Certifying Hardware Model Checking Results},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12760},
pages = {363--386},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81688-9\_17},
doi = {10.1007/978-3-030-81688-9\_17},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/YuBH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cce/IkonenHH20,
author = {Teemu J. Ikonen and
Keijo Heljanko and
Iiro Harjunkoski},
title = {Reinforcement learning of adaptive online rescheduling timing and
computing time allocation},
journal = {Comput. Chem. Eng.},
volume = {141},
pages = {106994},
year = {2020},
url = {https://doi.org/10.1016/j.compchemeng.2020.106994},
doi = {10.1016/J.COMPCHEMENG.2020.106994},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cce/IkonenHH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/grid/JavedRHF20,
author = {Asad Javed and
J{\'{e}}r{\'{e}}my Robert and
Keijo Heljanko and
Kary Fr{\"{a}}mling},
title = {IoTEF: {A} Federated Edge-Cloud Architecture for Fault-Tolerant IoT
Applications},
journal = {J. Grid Comput.},
volume = {18},
number = {1},
pages = {57--80},
year = {2020},
url = {https://doi.org/10.1007/s10723-019-09498-8},
doi = {10.1007/S10723-019-09498-8},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/grid/JavedRHF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SiirtolaH20,
author = {Antti Siirtola and
Keijo Heljanko},
title = {An optimal cut-off algorithm for parameterised refinement checking},
journal = {Sci. Comput. Program.},
volume = {198},
pages = {102517},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2020.102517},
doi = {10.1016/J.SCICO.2020.102517},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SiirtolaH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdata2/MaaralaAVHM20,
author = {Altti Ilari Maarala and
Ossi Arasalo and
Daniel Valenzuela and
Keijo Heljanko and
Veli M{\"{a}}kinen},
editor = {Surya Nepal and
Wenqi Cao and
Aziz Nasridinov and
Md. Zakirul Alam Bhuiyan and
Xuan Guo and
Liang{-}Jie Zhang},
title = {Scalable Reference Genome Assembly from Compressed Pan-Genome Index
with Spark},
booktitle = {Big Data - BigData 2020 - 9th International Conference, Held as Part
of the Services Conference Federation, {SCF} 2020, Honolulu, HI, USA,
September 18-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12402},
pages = {68--84},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59612-5\_6},
doi = {10.1007/978-3-030-59612-5\_6},
timestamp = {Fri, 21 Apr 2023 15:02:34 +0200},
biburl = {https://dblp.org/rec/conf/bigdata2/MaaralaAVHM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LeonFH020,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
Florian Furbach and
Keijo Heljanko and
Roland Meyer},
editor = {Armin Biere and
David Parker},
title = {Dartagnan: Bounded Model Checking for Weak Memory Models (Competition
Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12079},
pages = {378--382},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45237-7\_24},
doi = {10.1007/978-3-030-45237-7\_24},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LeonFH020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-08433,
author = {Asad Javed and
Keijo Heljanko and
Andrea Buda and
Kary Fr{\"{a}}mling},
title = {CEFIoT: {A} Fault-Tolerant IoT Architecture for Edge and Cloud},
journal = {CoRR},
volume = {abs/2001.08433},
year = {2020},
url = {https://arxiv.org/abs/2001.08433},
eprinttype = {arXiv},
eprint = {2001.08433},
timestamp = {Fri, 24 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-08433.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/HinkkaLH19,
author = {Markku Hinkka and
Teemu Lehto and
Keijo Heljanko},
editor = {Tatjana Welzer and
Johann Eder and
Vili Podgorelec and
Robert Wrembel and
Mirjana Ivanovic and
Johann Gamper and
Mikolaj Morzy and
Theodoros Tzouramanis and
J{\'{e}}r{\^{o}}me Darmont and
Aida Kamisalic Latific},
title = {Exploiting Event Log Event Attributes in {RNN} Based Prediction},
booktitle = {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},
series = {Communications in Computer and Information Science},
volume = {1064},
pages = {405--416},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30278-8\_40},
doi = {10.1007/978-3-030-30278-8\_40},
timestamp = {Tue, 29 Dec 2020 18:28:21 +0100},
biburl = {https://dblp.org/rec/conf/adbis/HinkkaLH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GavrilenkoLFHM19,
author = {Natalia Gavrilenko and
Hern{\'{a}}n Ponce de Le{\'{o}}n and
Florian Furbach and
Keijo Heljanko and
Roland Meyer},
editor = {Isil Dillig and
Serdar Tasiran},
title = {{BMC} for Weak Memory Models: Relation Analysis for Compact {SMT}
Encodings},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {355--365},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_19},
doi = {10.1007/978-3-030-25540-4\_19},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/GavrilenkoLFHM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/YuBH19,
author = {Zhengqi Yu and
Armin Biere and
Keijo Heljanko},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Certifying Hardware Model Checking Results},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {498--502},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_32},
doi = {10.1007/978-3-030-32409-4\_32},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/YuBH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/JavedYRHF19,
author = {Asad Javed and
Narges Yousefnezhad and
J{\'{e}}r{\'{e}}my Robert and
Keijo Heljanko and
Kary Fr{\"{a}}mling},
title = {Access Time Improvement Framework for Standardized IoT Gateways},
booktitle = {{IEEE} International Conference on Pervasive Computing and Communications
Workshops, PerCom Workshops 2019, Kyoto, Japan, March 11-15, 2019},
pages = {220--226},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/PERCOMW.2019.8730867},
doi = {10.1109/PERCOMW.2019.8730867},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/percom/JavedYRHF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simpda/HinkkaLH19,
author = {Markku Hinkka and
Teemu Lehto and
Keijo Heljanko},
editor = {Paolo Ceravolo and
Maurice van Keulen and
Mar{\'{\i}}a Teresa G{\'{o}}mez{-}L{\'{o}}pez},
title = {Exploiting Event Log Event Attributes in {RNN} Based Prediction},
booktitle = {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},
series = {Lecture Notes in Business Information Processing},
volume = {379},
pages = {67--85},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46633-6\_4},
doi = {10.1007/978-3-030-46633-6\_4},
timestamp = {Fri, 19 Jan 2024 08:33:31 +0100},
biburl = {https://dblp.org/rec/conf/simpda/HinkkaLH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-06895,
author = {Markku Hinkka and
Teemu Lehto and
Keijo Heljanko},
title = {Exploiting Event Log Data-Attributes in {RNN} Based Prediction},
journal = {CoRR},
volume = {abs/1904.06895},
year = {2019},
url = {http://arxiv.org/abs/1904.06895},
eprinttype = {arXiv},
eprint = {1904.06895},
timestamp = {Thu, 25 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-06895.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/MaaralaBDHB18,
author = {Altti Ilari Maarala and
Zurab Bzhalava and
Joakim Dillner and
Keijo Heljanko and
Davit Bzhalava},
title = {ViraPipe: scalable parallel pipeline for viral metagenome analysis
from next generation sequencing reads},
journal = {Bioinform.},
volume = {34},
number = {6},
pages = {928--935},
year = {2018},
url = {https://doi.org/10.1093/bioinformatics/btx702},
doi = {10.1093/BIOINFORMATICS/BTX702},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/MaaralaBDHB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/KahkonenH18,
author = {Kari K{\"{a}}hk{\"{o}}nen and
Keijo Heljanko},
title = {Testing Programs with Contextual Unfoldings},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {17},
number = {1},
pages = {23:1--23:25},
year = {2018},
url = {https://doi.org/10.1145/2810000},
doi = {10.1145/2810000},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/KahkonenH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/HinkkaLHJ18,
author = {Markku Hinkka and
Teemu Lehto and
Keijo Heljanko and
Alexander Jung},
editor = {Florian Daniel and
Quan Z. Sheng and
Hamid Motahari},
title = {Classifying Process Instances Using Recurrent Neural Networks},
booktitle = {Business Process Management Workshops - {BPM} 2018 International Workshops,
Sydney, NSW, Australia, September 9-14, 2018, Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {342},
pages = {313--324},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-11641-5\_25},
doi = {10.1007/978-3-030-11641-5\_25},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/HinkkaLHJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/SiirtolaH18,
author = {Antti Siirtola and
Keijo Heljanko},
editor = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky},
title = {Dynamic Cut-Off Algorithm for Parameterised Refinement Checking},
booktitle = {Formal Aspects of Component Software - 15th International Conference,
{FACS} 2018, Pohang, South Korea, October 10-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11222},
pages = {256--276},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02146-7\_13},
doi = {10.1007/978-3-030-02146-7\_13},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/SiirtolaH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/LeonFHM18,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
Florian Furbach and
Keijo Heljanko and
Roland Meyer},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {{BMC} with Memory Models as Modules},
booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
TX, USA, October 30 - November 2, 2018},
pages = {1--9},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8603021},
doi = {10.23919/FMCAD.2018.8603021},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/LeonFHM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wf-iot/JavedHBF18,
author = {Asad Javed and
Keijo Heljanko and
Andrea Buda and
Kary Fr{\"{a}}mling},
title = {CEFIoT: {A} fault-tolerant IoT architecture for edge and cloud},
booktitle = {4th {IEEE} World Forum on Internet of Things, WF-IoT 2018, Singapore,
February 5-8, 2018},
pages = {813--818},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/WF-IoT.2018.8355149},
doi = {10.1109/WF-IOT.2018.8355149},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/wf-iot/JavedHBF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-05896,
author = {Markku Hinkka and
Teemu Lehto and
Keijo Heljanko and
Alexander Jung},
title = {Classifying Process Instances Using Recurrent Neural Networks},
journal = {CoRR},
volume = {abs/1809.05896},
year = {2018},
url = {http://arxiv.org/abs/1809.05896},
eprinttype = {arXiv},
eprint = {1809.05896},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-05896.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SaarikiviLKHE17,
author = {Olli Saarikivi and
Hern{\'{a}}n Ponce de Le{\'{o}}n and
Kari K{\"{a}}hk{\"{o}}nen and
Keijo Heljanko and
Javier Esparza},
title = {Minimizing Test Suites with Unfoldings of Multithreaded Programs},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {16},
number = {2},
pages = {45:1--45:24},
year = {2017},
url = {https://doi.org/10.1145/3012281},
doi = {10.1145/3012281},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/SaarikiviLKHE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SiirtolaTH17,
author = {Antti Siirtola and
Stavros Tripakis and
Keijo Heljanko},
title = {When Do We Not Need Complex Assume-Guarantee Rules?},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {16},
number = {2},
pages = {48:1--48:25},
year = {2017},
url = {https://doi.org/10.1145/3012280},
doi = {10.1145/3012280},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/SiirtolaTH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/HinkkaLHJ17,
author = {Markku Hinkka and
Teemu Lehto and
Keijo Heljanko and
Alexander Jung},
editor = {Ernest Teniente and
Matthias Weidlich},
title = {Structural Feature Selection for Event Logs},
booktitle = {Business Process Management Workshops - {BPM} 2017 International Workshops,
Barcelona, Spain, September 10-11, 2017, Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {308},
pages = {20--35},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74030-0\_2},
doi = {10.1007/978-3-319-74030-0\_2},
timestamp = {Fri, 26 May 2023 07:40:34 +0200},
biburl = {https://dblp.org/rec/conf/bpm/HinkkaLHJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BiereDH17,
author = {Armin Biere and
Tom van Dijk and
Keijo Heljanko},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Hardware model checking competition 2017},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {9},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102233},
doi = {10.23919/FMCAD.2017.8102233},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BiereDH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Heljanko17,
author = {Keijo Heljanko},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {The {FMCAD} 2017 graduate student forum},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {10},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102234},
doi = {10.23919/FMCAD.2017.8102234},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Heljanko17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/LeonFHM17,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
Florian Furbach and
Keijo Heljanko and
Roland Meyer},
editor = {Francesco Ranzato},
title = {Portability Analysis for Weak Memory Models. {PORTHOS:} One Tool for
all Models},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {299--320},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_15},
doi = {10.1007/978-3-319-66706-5\_15},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/LeonFHM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LeonFHM17,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
Florian Furbach and
Keijo Heljanko and
Roland Meyer},
title = {Portability Analysis for Axiomatic Memory Models. {PORTHOS:} One Tool
for all Models},
journal = {CoRR},
volume = {abs/1702.06704},
year = {2017},
url = {http://arxiv.org/abs/1702.06704},
eprinttype = {arXiv},
eprint = {1702.06704},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LeonFHM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-02823,
author = {Markku Hinkka and
Teemu Lehto and
Keijo Heljanko and
Alexander Jung},
title = {Structural Feature Selection for Event Logs},
journal = {CoRR},
volume = {abs/1710.02823},
year = {2017},
url = {http://arxiv.org/abs/1710.02823},
eprinttype = {arXiv},
eprint = {1710.02823},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-02823.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DolevHJKLRSW16,
author = {Danny Dolev and
Keijo Heljanko and
Matti J{\"{a}}rvisalo and
Janne H. Korhonen and
Christoph Lenzen and
Joel Rybicki and
Jukka Suomela and
Siert Wieringa},
title = {Synchronous counting and computational algorithm design},
journal = {J. Comput. Syst. Sci.},
volume = {82},
number = {2},
pages = {310--332},
year = {2016},
url = {https://doi.org/10.1016/j.jcss.2015.09.002},
doi = {10.1016/J.JCSS.2015.09.002},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DolevHJKLRSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SaarikiviH16,
author = {Olli Saarikivi and
Keijo Heljanko},
title = {{LCTD:} Test-guided proofs for {C} programs on {LLVM}},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {6},
pages = {1292--1317},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.10.010},
doi = {10.1016/J.JLAMP.2015.10.010},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/SaarikiviH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/HinkkaLH16,
author = {Markku Hinkka and
Teemu Lehto and
Keijo Heljanko},
title = {Assessing Big Data {SQL} Frameworks for Analyzing Event Logs},
booktitle = {24th Euromicro International Conference on Parallel, Distributed,
and Network-Based Processing, {PDP} 2016, Heraklion, Crete, Greece,
February 17-19, 2016},
pages = {101--108},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/PDP.2016.26},
doi = {10.1109/PDP.2016.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/HinkkaLH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SaarikiviH16,
author = {Olli Saarikivi and
Keijo Heljanko},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {{LCTD:} Tests-Guided Proofs for {C} Programs on {LLVM} - (Competition
Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {927--929},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_62},
doi = {10.1007/978-3-662-49674-9\_62},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SaarikiviH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/KahkonenSH15,
author = {Kari K{\"{a}}hk{\"{o}}nen and
Olli Saarikivi and
Keijo Heljanko},
title = {Unfolding based automated testing of multithreaded programs},
journal = {Autom. Softw. Eng.},
volume = {22},
number = {4},
pages = {475--515},
year = {2015},
url = {https://doi.org/10.1007/s10515-014-0150-6},
doi = {10.1007/S10515-014-0150-6},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/KahkonenSH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/LahtinenKH15,
author = {Jussi Lahtinen and
Tuomas Kuismin and
Keijo Heljanko},
title = {Verifying large modular systems using iterative abstraction refinement},
journal = {Reliab. Eng. Syst. Saf.},
volume = {139},
pages = {120--130},
year = {2015},
url = {https://doi.org/10.1016/j.ress.2015.03.012},
doi = {10.1016/J.RESS.2015.03.012},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/LahtinenKH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SiirtolaH15,
author = {Antti Siirtola and
Keijo Heljanko},
title = {Parametrised Modal Interface Automata},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {14},
number = {4},
pages = {65:1--65:25},
year = {2015},
url = {https://doi.org/10.1145/2776892},
doi = {10.1145/2776892},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/SiirtolaH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SiirtolaTH15,
author = {Antti Siirtola and
Stavros Tripakis and
Keijo Heljanko},
title = {When Do We (Not) Need Complex Assume-Guarantee Rules?},
booktitle = {15th International Conference on Application of Concurrency to System
Design, {ACSD} 2015, Brussels, Belgium, June 21-26, 2015},
pages = {30--39},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ACSD.2015.19},
doi = {10.1109/ACSD.2015.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/SiirtolaTH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LeonSKHE15,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
Olli Saarikivi and
Kari K{\"{a}}hk{\"{o}}nen and
Keijo Heljanko and
Javier Esparza},
title = {Unfolding Based Minimal Test Suites for Testing Multithreaded Programs},
booktitle = {15th International Conference on Application of Concurrency to System
Design, {ACSD} 2015, Brussels, Belgium, June 21-26, 2015},
pages = {40--49},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ACSD.2015.12},
doi = {10.1109/ACSD.2015.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/LeonSKHE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LeonRCHH15,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
C{\'{e}}sar Rodr{\'{\i}}guez and
Josep Carmona and
Keijo Heljanko and
Stefan Haar},
editor = {Bernd Finkbeiner and
Geguang Pu and
Lijun Zhang},
title = {Unfolding-Based Process Discovery},
booktitle = {Automated Technology for Verification and Analysis - 13th International
Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9364},
pages = {31--47},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24953-7\_4},
doi = {10.1007/978-3-319-24953-7\_4},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/LeonRCHH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/SaarikiviH15,
author = {Olli Saarikivi and
Keijo Heljanko},
editor = {Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Reporting Races in Dynamic Partial Order Reduction},
booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
CA, USA, April 27-29, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9058},
pages = {450--456},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17524-9\_35},
doi = {10.1007/978-3-319-17524-9\_35},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/SaarikiviH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LeonRCHH15,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
C{\'{e}}sar Rodr{\'{\i}}guez and
Josep Carmona and
Keijo Heljanko and
Stefan Haar},
title = {Unfolding-Based Process Discovery},
journal = {CoRR},
volume = {abs/1507.02744},
year = {2015},
url = {http://arxiv.org/abs/1507.02744},
eprinttype = {arXiv},
eprint = {1507.02744},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/LeonRCHH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/SchumacherPNKKZH14,
author = {Andr{\'{e}} Schumacher and
Luca Pireddu and
Matti Niemenmaa and
Aleksi Kallio and
Eija Korpelainen and
Gianluigi Zanetti and
Keijo Heljanko},
title = {SeqPig: simple and scalable scripting for large sequencing data sets
in Hadoop},
journal = {Bioinform.},
volume = {30},
number = {1},
pages = {119--120},
year = {2014},
url = {https://doi.org/10.1093/bioinformatics/btt601},
doi = {10.1093/BIOINFORMATICS/BTT601},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/SchumacherPNKKZH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/CabodiLPPPQVBH14,
author = {Gianpiero Cabodi and
Carmelo Loiacono and
Marco Palena and
Paolo Pasini and
Denis Patti and
Stefano Quer and
Danilo Vendraminetto and
Armin Biere and
Keijo Heljanko},
title = {Hardware Model Checking Competition 2014: An Analysis and Comparison
of Solvers and Benchmarks},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {9},
number = {1},
pages = {135--172},
year = {2014},
url = {https://doi.org/10.3233/sat190106},
doi = {10.3233/SAT190106},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/CabodiLPPPQVBH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GanDH14,
author = {Xiang Gan and
Jori Dubrovin and
Keijo Heljanko},
title = {A symbolic model checking approach to verifying satellite onboard
software},
journal = {Sci. Comput. Program.},
volume = {82},
pages = {44--55},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.03.005},
doi = {10.1016/J.SCICO.2013.03.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GanDH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/KahkonenH14,
author = {Kari K{\"{a}}hk{\"{o}}nen and
Keijo Heljanko},
title = {Testing Multithreaded Programs with Contextual Unfoldings and Dynamic
Symbolic Execution},
booktitle = {14th International Conference on Application of Concurrency to System
Design, {ACSD} 2014, Tunis La Marsa, Tunisia, June 23-27, 2014},
pages = {142--151},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ACSD.2014.20},
doi = {10.1109/ACSD.2014.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/KahkonenH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KahkonenH14,
author = {Kari K{\"{a}}hk{\"{o}}nen and
Keijo Heljanko},
editor = {Martina Seidl and
Nikolai Tillmann},
title = {Lightweight State Capturing for Automated Testing of Multithreaded
Programs},
booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
UK, July 24-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8570},
pages = {187--203},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09099-3\_15},
doi = {10.1007/978-3-319-09099-3\_15},
timestamp = {Tue, 23 Jun 2020 17:47:28 +0200},
biburl = {https://dblp.org/rec/conf/tap/KahkonenH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SiirtolaH13,
author = {Antti Siirtola and
Keijo Heljanko},
editor = {Josep Carmona and
Mihai T. Lazarescu and
Marta Pietkiewicz{-}Koutny},
title = {Parametrised Compositional Verification with Multiple Process and
Data Types},
booktitle = {13th International Conference on Application of Concurrency to System
Design, {ACSD} 2013, Barcelona, Spain, 8-10 July, 2013},
pages = {60--69},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ACSD.2013.9},
doi = {10.1109/ACSD.2013.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/SiirtolaH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/KuisminH13,
author = {Tuomas Kuismin and
Keijo Heljanko},
editor = {Valeria Bertacco and
Axel Legay},
title = {Increasing Confidence in Liveness Model Checking Results with Proofs},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {32--43},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_3},
doi = {10.1007/978-3-319-03077-7\_3},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/KuisminH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/WieringaH13,
author = {Siert Wieringa and
Keijo Heljanko},
editor = {Matti J{\"{a}}rvisalo and
Allen Van Gelder},
title = {Concurrent Clause Strengthening},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7962},
pages = {116--132},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39071-5\_10},
doi = {10.1007/978-3-642-39071-5\_10},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/WieringaH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WieringaH13,
author = {Siert Wieringa and
Keijo Heljanko},
editor = {Nir Piterman and
Scott A. Smolka},
title = {Asynchronous Multi-core Incremental {SAT} Solving},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {139--153},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_10},
doi = {10.1007/978-3-642-36742-7\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/WieringaH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pasm/2012,
editor = {Jeremy T. Bradley and
Keijo Heljanko and
William J. Knottenbelt and
Nigel Thomas},
title = {Proceedings the Sixth International Workshop on the Practical Application
of Stochastic Modelling, {PASM} 2012, and the Eleventh International
Workshop on Parallel and Distributed Methods in Verification, {PDMC}
2012, London, UK, September 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {296},
publisher = {Elsevier},
year = {2013},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/296/suppl/C},
timestamp = {Tue, 22 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pasm/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/NiemenmaaKSKKH12,
author = {Matti Niemenmaa and
Aleksi Kallio and
Andr{\'{e}} Schumacher and
Petri Klemel{\"{a}} and
Eija Korpelainen and
Keijo Heljanko},
title = {Hadoop-BAM: directly manipulating next generation sequencing data
in the cloud},
journal = {Bioinform.},
volume = {28},
number = {6},
pages = {876--877},
year = {2012},
url = {https://doi.org/10.1093/bioinformatics/bts054},
doi = {10.1093/BIOINFORMATICS/BTS054},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/NiemenmaaKSKKH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HeljankoKLN12,
author = {Keijo Heljanko and
Misa Kein{\"{a}}nen and
Martin Lange and
Ilkka Niemel{\"{a}}},
title = {Solving parity games by a reduction to {SAT}},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {2},
pages = {430--440},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.05.004},
doi = {10.1016/J.JCSS.2011.05.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/HeljankoKLN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/LahtinenVBFNH12,
author = {Jussi Lahtinen and
J. Valkonen and
Kim Bj{\"{o}}rkman and
J. Frits and
Ilkka Niemel{\"{a}} and
Keijo Heljanko},
title = {Model checking of safety-critical software in the nuclear engineering
domain},
journal = {Reliab. Eng. Syst. Saf.},
volume = {105},
pages = {104--113},
year = {2012},
url = {https://doi.org/10.1016/j.ress.2012.03.021},
doi = {10.1016/J.RESS.2012.03.021},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ress/LahtinenVBFNH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DubrovinJH12,
author = {Jori Dubrovin and
Tommi A. Junttila and
Keijo Heljanko},
title = {Exploiting step semantics for efficient bounded model checking of
asynchronous systems},
journal = {Sci. Comput. Program.},
volume = {77},
number = {10-11},
pages = {1095--1121},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2011.07.005},
doi = {10.1016/J.SCICO.2011.07.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DubrovinJH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SaarikiviKH12,
author = {Olli Saarikivi and
Kari K{\"{a}}hk{\"{o}}nen and
Keijo Heljanko},
editor = {Jens Brandt and
Keijo Heljanko},
title = {Improving Dynamic Partial Order Reductions for Concolic Testing},
booktitle = {12th International Conference on Application of Concurrency to System
Design, {ACSD} 2012, Hamburg, Germany, June 27-29, 2012},
pages = {132--141},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ACSD.2012.18},
doi = {10.1109/ACSD.2012.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/SaarikiviKH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KahkonenSH12,
author = {Kari K{\"{a}}hk{\"{o}}nen and
Olli Saarikivi and
Keijo Heljanko},
editor = {Michael Goedicke and
Tim Menzies and
Motoshi Saeki},
title = {Using unfoldings in automated testing of multithreaded programs},
booktitle = {{IEEE/ACM} International Conference on Automated Software Engineering,
ASE'12, Essen, Germany, September 3-7, 2012},
pages = {150--159},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2351676.2351698},
doi = {10.1145/2351676.2351698},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/KahkonenSH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BradleyHKT13,
author = {Jeremy T. Bradley and
Keijo Heljanko and
William J. Knottenbelt and
Nigel Thomas},
editor = {Jeremy T. Bradley and
Keijo Heljanko and
William J. Knottenbelt and
Nigel Thomas},
title = {Preface},
booktitle = {Proceedings the Sixth International Workshop on the Practical Application
of Stochastic Modelling, {PASM} 2012, and the Eleventh International
Workshop on Parallel and Distributed Methods in Verification, {PDMC}
2012, London, UK, September 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {296},
pages = {1--5},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2013.07.001},
doi = {10.1016/J.ENTCS.2013.07.001},
timestamp = {Tue, 22 Nov 2022 14:07:01 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BradleyHKT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsd/2012,
editor = {Jens Brandt and
Keijo Heljanko},
title = {12th International Conference on Application of Concurrency to System
Design, {ACSD} 2012, Hamburg, Germany, June 27-29, 2012},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://ieeexplore.ieee.org/xpl/conhome/6253058/proceeding},
isbn = {978-0-7695-4709-1},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/GanDH11,
author = {Xiang Gan and
Jori Dubrovin and
Keijo Heljanko},
title = {A Symbolic Model Checking Approach to Verifying Satellite Onboard
Software},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {46},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.46.681},
doi = {10.14279/TUJ.ECEASST.46.681},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/GanDH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-cdt/LauniainenHJ11,
author = {Tuomas Launiainen and
Keijo Heljanko and
Tommi A. Junttila},
title = {Efficient model checking of {PSL} safety properties},
journal = {{IET} Comput. Digit. Tech.},
volume = {5},
number = {6},
pages = {479--492},
year = {2011},
url = {https://doi.org/10.1049/iet-cdt.2010.0154},
doi = {10.1049/IET-CDT.2010.0154},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iet-cdt/LauniainenHJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1111-0064,
editor = {Jiri Barnat and
Keijo Heljanko},
title = {Proceedings 10th International Workshop on Parallel and Distributed
Methods in verifiCation, {PDMC} 2011, Snowbird, Utah, USA, July 14,
2011},
series = {{EPTCS}},
volume = {72},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.72},
doi = {10.4204/EPTCS.72},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-0064.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LauniainenHJ10,
author = {Tuomas Launiainen and
Keijo Heljanko and
Tommi A. Junttila},
editor = {Lu{\'{\i}}s Gomes and
Victor Khomenko and
Jo{\~{a}}o M. Fernandes},
title = {Efficient Model Checking of {PSL} Safety Properties},
booktitle = {10th International Conference on Application of Concurrency to System
Design, {ACSD} 2010, Braga, Portugal, 21-25 June 2010},
pages = {95--104},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ACSD.2010.27},
doi = {10.1109/ACSD.2010.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/LauniainenHJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/KahkonenKHN10,
author = {Kari K{\"{a}}hk{\"{o}}nen and
Roland Kindermann and
Keijo Heljanko and
Ilkka Niemel{\"{a}}},
editor = {Jaco van de Pol and
Michael Weber},
title = {Experimental Comparison of Concolic and Random Testing for Java Card
Applets},
booktitle = {Model Checking Software - 17th International {SPIN} Workshop, Enschede,
The Netherlands, September 27-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6349},
pages = {22--39},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16164-3\_3},
doi = {10.1007/978-3-642-16164-3\_3},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/KahkonenKHN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KahkonenLHN09,
author = {Kari K{\"{a}}hk{\"{o}}nen and
Jani Lampinen and
Keijo Heljanko and
Ilkka Niemel{\"{a}}},
editor = {Saddek Bensalem and
Doron A. Peled},
title = {The {LIME} Interface Specification Language and Runtime Monitoring
Tool},
booktitle = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
France, June 26-28, 2009. Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5779},
pages = {93--100},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04694-0\_7},
doi = {10.1007/978-3-642-04694-0\_7},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/KahkonenLHN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0912-2552,
author = {Siert Wieringa and
Matti Niemenmaa and
Keijo Heljanko},
editor = {Lubos Brim and
Jaco van de Pol},
title = {Tarmo: {A} Framework for Parallelized Bounded Model Checking},
booktitle = {Proceedings 8th International Workshop on Parallel and Distributed
Methods in verifiCation, {PDMC} 2009, Eindhoven, The Netherlands,
4th November 2009},
series = {{EPTCS}},
volume = {14},
pages = {62--76},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.14.5},
doi = {10.4204/EPTCS.14.5},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-2552.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/EsparzaH08,
author = {Javier Esparza and
Keijo Heljanko},
title = {Unfoldings - {A} Partial-Order Approach to Model Checking},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77426-6},
doi = {10.1007/978-3-540-77426-6},
isbn = {978-3-540-77425-9},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/EsparzaH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/DubrovinJH08,
author = {Jori Dubrovin and
Tommi A. Junttila and
Keijo Heljanko},
editor = {Gilles Barthe and
Frank S. de Boer},
title = {Symbolic Step Encodings for Object Based Communicating State Machines},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June
4-6, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5051},
pages = {96--112},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68863-1\_7},
doi = {10.1007/978-3-540-68863-1\_7},
timestamp = {Sat, 19 Oct 2019 20:16:59 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/DubrovinJH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AxelssonHL08,
author = {Roland Axelsson and
Keijo Heljanko and
Martin Lange},
editor = {Luca Aceto and
Ivan Damg{\aa}rd and
Leslie Ann Goldberg and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Igor Walukiewicz},
title = {Analyzing Context-Free Grammars Using an Incremental {SAT} Solver},
booktitle = {Automata, Languages and Programming, 35th International Colloquium,
{ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
{II} - Track {B:} Logic, Semantics, and Theory of Programming {\&}
Track {C:} Security and Cryptography Foundations},
series = {Lecture Notes in Computer Science},
volume = {5126},
pages = {410--422},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70583-3\_34},
doi = {10.1007/978-3-540-70583-3\_34},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/AxelssonHL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/RintanenHN06,
author = {Jussi Rintanen and
Keijo Heljanko and
Ilkka Niemel{\"{a}}},
title = {Planning as satisfiability: parallel plans and algorithms for plan
search},
journal = {Artif. Intell.},
volume = {170},
number = {12-13},
pages = {1031--1080},
year = {2006},
url = {https://doi.org/10.1016/j.artint.2006.08.002},
doi = {10.1016/J.ARTINT.2006.08.002},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/RintanenHN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BiereHJLS06,
author = {Armin Biere and
Keijo Heljanko and
Tommi A. Junttila and
Timo Latvala and
Viktor Schuppan},
title = {Linear Encodings of Bounded {LTL} Model Checking},
journal = {Log. Methods Comput. Sci.},
volume = {2},
number = {5},
year = {2006},
url = {https://doi.org/10.2168/LMCS-2(5:5)2006},
doi = {10.2168/LMCS-2(5:5)2006},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BiereHJLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HeljankoJKLL06,
author = {Keijo Heljanko and
Tommi A. Junttila and
Misa Kein{\"{a}}nen and
Martin Lange and
Timo Latvala},
editor = {Thomas Ball and
Robert B. Jones},
title = {Bounded Model Checking for Weak Alternating B{\"{u}}chi Automata},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {95--108},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_12},
doi = {10.1007/11817963\_12},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HeljankoJKLL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0611029,
author = {Armin Biere and
Keijo Heljanko and
Tommi A. Junttila and
Timo Latvala and
Viktor Schuppan},
title = {Linear Encodings of Bounded {LTL} Model Checking},
journal = {CoRR},
volume = {abs/cs/0611029},
year = {2006},
url = {http://arxiv.org/abs/cs/0611029},
eprinttype = {arXiv},
eprint = {cs/0611029},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0611029.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JussilaHN05,
author = {Toni Jussila and
Keijo Heljanko and
Ilkka Niemel{\"{a}}},
title = {{BMC} via on-the-fly determinization},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {2},
pages = {89--101},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0178-1},
doi = {10.1007/S10009-004-0178-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/JussilaHN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HeljankoS05,
author = {Keijo Heljanko and
Alin Stefanescu},
title = {Complexity Results for Checking Distributed Implementability},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {78--87},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.7},
doi = {10.1109/ACSD.2005.7},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/HeljankoS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HeljankoJL05,
author = {Keijo Heljanko and
Tommi A. Junttila and
Timo Latvala},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Incremental and Complete Bounded Model Checking for Full {PLTL}},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {98--111},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_10},
doi = {10.1007/11513988\_10},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HeljankoJL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/LatvalaBHJ05,
author = {Timo Latvala and
Armin Biere and
Keijo Heljanko and
Tommi A. Junttila},
editor = {Radhia Cousot},
title = {Simple Is Better: Efficient Bounded Model Checking for Past {LTL}},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {380--395},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_25},
doi = {10.1007/978-3-540-30579-8\_25},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/LatvalaBHJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/LatvalaBHJ04,
author = {Timo Latvala and
Armin Biere and
Keijo Heljanko and
Tommi A. Junttila},
editor = {Alan J. Hu and
Andrew K. Martin},
title = {Simple Bounded {LTL} Model Checking},
booktitle = {Formal Methods in Computer-Aided Design, 5th International Conference,
{FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3312},
pages = {186--200},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30494-4\_14},
doi = {10.1007/978-3-540-30494-4\_14},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/LatvalaBHJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/RintanenHN04,
author = {Jussi Rintanen and
Keijo Heljanko and
Ilkka Niemel{\"{a}}},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite},
title = {Parallel Encodings of Classical Planning as Satisfiability},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3229},
pages = {307--319},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_27},
doi = {10.1007/978-3-540-30227-8\_27},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/RintanenHN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HeljankoN03,
author = {Keijo Heljanko and
Ilkka Niemel{\"{a}}},
title = {Bounded {LTL} model checking with stable models},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {4-5},
pages = {519--550},
year = {2003},
url = {https://doi.org/10.1017/S1471068403001790},
doi = {10.1017/S1471068403001790},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/HeljankoN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/PyhalaH03,
author = {Tuomo Pyh{\"{a}}l{\"{a}} and
Keijo Heljanko},
title = {Specification Coverage Aided Test Selection},
booktitle = {3rd International Conference on Application of Concurrency to System
Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal},
pages = {187--195},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CSD.2003.1207713},
doi = {10.1109/CSD.2003.1207713},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/PyhalaH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JussilaHN03,
author = {Toni Jussila and
Keijo Heljanko and
Ilkka Niemel{\"{a}}},
editor = {Ofer Strichman and
Armin Biere},
title = {{BMC} via on-the-fly determinization},
booktitle = {First International Workshop on Bounded Model Checking, BMC@CAV 2003,
Boulder, Colorado, USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {4},
pages = {561--577},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82543-5},
doi = {10.1016/S1571-0661(05)82543-5},
timestamp = {Tue, 13 Dec 2022 11:40:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JussilaHN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0305040,
author = {Keijo Heljanko and
Ilkka Niemel{\"{a}}},
title = {Bounded {LTL} Model Checking with Stable Models},
journal = {CoRR},
volume = {cs.LO/0305040},
year = {2003},
url = {http://arxiv.org/abs/cs/0305040},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0305040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Heljanko02,
author = {Keijo Heljanko},
title = {Combining symbolic and partial order methods for model checking 1-safe
Petri nets},
school = {Aalto University, Helsinki, Finland},
year = {2002},
url = {https://aaltodoc.aalto.fi/handle/123456789/2166},
timestamp = {Tue, 14 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Heljanko02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/TauriainenH02,
author = {Heikki Tauriainen and
Keijo Heljanko},
title = {Testing {LTL} formula translation into B{\"{u}}chi automata},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {4},
number = {1},
pages = {57--70},
year = {2002},
url = {https://doi.org/10.1007/s100090200070},
doi = {10.1007/S100090200070},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/TauriainenH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HeljankoKK02,
author = {Keijo Heljanko and
Victor Khomenko and
Maciej Koutny},
editor = {Joost{-}Pieter Katoen and
Perdita Stevens},
title = {Parallelisation of the Petri Net Unfolding Algorithm},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
8th International Conference, {TACAS} 2002, Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2002,
Grenoble, France, April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2280},
pages = {371--385},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46002-0\_26},
doi = {10.1007/3-540-46002-0\_26},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HeljankoKK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/HeljankoN01,
author = {Keijo Heljanko and
Ilkka Niemel{\"{a}}},
editor = {Alessandro Provetti and
Tran Cao Son},
title = {Answer Set Programming and Bounded Model Checking},
booktitle = {Answer Set Programming, Towards Efficient and Scalable Knowledge Representation
and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford,
CA, USA, March 26-28, 2001},
year = {2001},
url = {http://www.cs.nmsu.edu/\%7Etson/ASP2001/19.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asp/HeljankoN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Heljanko01,
author = {Keijo Heljanko},
editor = {Kim Guldstrand Larsen and
Mogens Nielsen},
title = {Bounded Reachability Checking with Process Semantics},
booktitle = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
Aalborg, Denmark, August 20-25, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2154},
pages = {218--232},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44685-0\_15},
doi = {10.1007/3-540-44685-0\_15},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Heljanko01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/HeljankoN01,
author = {Keijo Heljanko and
Ilkka Niemel{\"{a}}},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Bounded {LTL} Model Checking with Stable Models},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {200--212},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_15},
doi = {10.1007/3-540-45402-0\_15},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/HeljankoN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/EsparzaH01,
author = {Javier Esparza and
Keijo Heljanko},
editor = {Matthew B. Dwyer},
title = {Implementing {LTL} Model Checking with Net Unfoldings},
booktitle = {Model Checking Software, 8th International {SPIN} Workshop, Toronto,
Canada, May 19-20, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2057},
pages = {37--56},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45139-0\_4},
doi = {10.1007/3-540-45139-0\_4},
timestamp = {Thu, 02 Jun 2022 12:33:45 +0200},
biburl = {https://dblp.org/rec/conf/spin/EsparzaH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LatvalaH00,
author = {Timo Latvala and
Keijo Heljanko},
title = {Coping With Strong Fairness},
journal = {Fundam. Informaticae},
volume = {43},
number = {1-4},
pages = {175--193},
year = {2000},
url = {https://doi.org/10.3233/FI-2000-43123409},
doi = {10.3233/FI-2000-43123409},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LatvalaH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Heljanko00,
author = {Keijo Heljanko},
editor = {Catuscia Palamidessi},
title = {Model Checking with Finite Complete Prefixes Is PSPACE-Complete},
booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
University Park, PA, USA, August 22-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1877},
pages = {108--122},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44618-4\_10},
doi = {10.1007/3-540-44618-4\_10},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Heljanko00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EsparzaH00,
author = {Javier Esparza and
Keijo Heljanko},
editor = {Ugo Montanari and
Jos{\'{e}} D. P. Rolim and
Emo Welzl},
title = {A New Unfolding Approach to {LTL} Model Checking},
booktitle = {Automata, Languages and Programming, 27th International Colloquium,
{ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1853},
pages = {475--486},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45022-X\_40},
doi = {10.1007/3-540-45022-X\_40},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EsparzaH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/TauriainenH00,
author = {Heikki Tauriainen and
Keijo Heljanko},
editor = {Klaus Havelund and
John Penix and
Willem Visser},
title = {Testing SPIN's {LTL} Formula Conversion into B{\"{u}}chi Automata
with Randomly Generated Input},
booktitle = {{SPIN} Model Checking and Software Verification, 7th International
{SPIN} Workshop, Stanford, CA, USA, August 30 - September 1, 2000,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1885},
pages = {54--72},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722468\_4},
doi = {10.1007/10722468\_4},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/TauriainenH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Heljanko99,
author = {Keijo Heljanko},
title = {Using Logic Programs with Stable Model Semantics to Solve Deadlock
and Reachability Problems for 1-Safe Petri Nets},
journal = {Fundam. Informaticae},
volume = {37},
number = {3},
pages = {247--268},
year = {1999},
url = {https://doi.org/10.3233/FI-1999-37304},
doi = {10.3233/FI-1999-37304},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Heljanko99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Heljanko99,
author = {Keijo Heljanko},
editor = {Rance Cleaveland},
title = {Using Logic Programs with Stable Model Semantics to Solve Deadlock
and Reachability Problems for 1-Safe Petri Nets},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 5th
International Conference, {TACAS} '99, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'99,
Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1579},
pages = {240--254},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49059-0\_17},
doi = {10.1007/3-540-49059-0\_17},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Heljanko99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/VarpaaniemiHL97,
author = {Kimmo Varpaaniemi and
Keijo Heljanko and
Johan Lilius},
editor = {Orna Grumberg},
title = {prod 3.2: An Advanced Tool for Efficient Reachability Analysis},
booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
Haifa, Israel, June 22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1254},
pages = {472--475},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_51},
doi = {10.1007/3-540-63166-6\_51},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/VarpaaniemiHL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-07 03:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
