M. Kuhn, J. Grüger, C. Matheja, and A. Rivkin, "Data Petri Nets meet Probabilistic Programming (Extended version)" CoRR, vol. abs/2406.11883.
doi: 10.48550/ARXIV.2406.11883
@article{DBLP:journals/corr/abs-2406-11883,
author = {Martin Kuhn and Joscha Gr{\"{u}}ger and Christoph Matheja and Andrey Rivkin},
title = {Data Petri Nets meet Probabilistic Programming (Extended version)},
journal = {CoRR},
volume = {abs/2406.11883},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.11883},
doi = {10.48550/ARXIV.2406.11883},
eprinttype = {arXiv},
eprint = {2406.11883},
timestamp = {Thu, 18 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-11883.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
M. Kuhn, J. Grüger, C. Matheja, and A. Rivkin, "LogPPL: A Tool for Probabilistic Process Mining" in Proc. Doctoral Consortium and Demo Track 2024 at the International Conference on Process Mining 2024 co-located with the 6th International Conference on Process Mining (ICPM 2024), Copenhagen, Denmark, October 15, 2024, 2024.
@inproceedings{DBLP:conf/icpm/KuhnGMR24,
author = {Martin Kuhn and Joscha Gr{\"{u}}ger and Christoph Matheja and Andrey Rivkin},
editor = {Jochen De Weerdt and Giovanni Meroni and Han van der Aa and Karolin Winter},
title = {LogPPL: {A} Tool for Probabilistic Process Mining},
booktitle = {Doctoral Consortium and Demo Track 2024 at the International Conference on Process Mining 2024 co-located with the 6th International Conference on Process Mining {(ICPM} 2024), Copenhagen, Denmark, October 15, 2024},
series = {{CEUR} Workshop Proceedings},
volume = {3783},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3783/paper\_355.pdf},
timestamp = {Wed, 30 Oct 2024 17:01:41 +0100},
biburl = {https://dblp.org/rec/conf/icpm/KuhnGMR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
M. Kuhn, J. Grüger, C. Matheja, and A. Rivkin, "Data Petri Nets Meet Probabilistic Programming" in Proc. Business Process Management - 22nd International Conference, BPM 2024, Krakow, Poland, September 1-6, 2024, Proceedings, 2024.
doi: 10.1007/978-3-031-70396-6_2
@inproceedings{DBLP:conf/bpm/KuhnGMR24,
author = {Martin Kuhn and Joscha Gr{\"{u}}ger and Christoph Matheja and Andrey Rivkin},
editor = {Andrea Marrella and Manuel Resinas and Mieke Jans and Michael Rosemann},
title = {Data Petri Nets Meet Probabilistic Programming},
booktitle = {Business Process Management - 22nd International Conference, {BPM} 2024, Krakow, Poland, September 1-6, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14940},
pages = {21--38},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-70396-6\_2},
doi = {10.1007/978-3-031-70396-6\_2},
timestamp = {Wed, 11 Sep 2024 11:32:08 +0200},
biburl = {https://dblp.org/rec/conf/bpm/KuhnGMR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
A. -, A. L. -, and C. Matheja, "What Should Be Observed for Optimal Reward in POMDPs?" in Proc. Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III, 2024.
doi: 10.1007/978-3-031-65633-0_17
@inproceedings{DBLP:conf/cav/KonstaLM24,
author = {Alyzia{-}Maria Konsta and Alberto Lluch{-}Lafuente and Christoph Matheja},
editor = {Arie Gurfinkel and Vijay Ganesh},
title = {What Should Be Observed for Optimal Reward in POMDPs?},
booktitle = {Computer Aided Verification - 36th International Conference, {CAV} 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {14683},
pages = {373--394},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65633-0\_17},
doi = {10.1007/978-3-031-65633-0\_17},
timestamp = {Mon, 09 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/KonstaLM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
P. Schröer, K. Batz, B. L. Kaminski, J. -, and C. Matheja, "A Deductive Verification Infrastructure for Probabilistic Programs" CoRR, vol. abs/2309.07781.
doi: 10.48550/ARXIV.2309.07781
@article{DBLP:journals/corr/abs-2309-07781,
author = {Philipp Schr{\"{o}}er and Kevin Batz and Benjamin Lucien Kaminski and Joost{-}Pieter Katoen and Christoph Matheja},
title = {A Deductive Verification Infrastructure for Probabilistic Programs},
journal = {CoRR},
volume = {abs/2309.07781},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.07781},
doi = {10.48550/ARXIV.2309.07781},
eprinttype = {arXiv},
eprint = {2309.07781},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-07781.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
K. Batz, B. L. Kaminski, J. -, C. Matheja, and L. Verscht, "A Calculus for Amortized Expected Runtimes" Proc. ACM Program. Lang. vol. 7, iss. POPL.
doi: 10.1145/3571260
@article{DBLP:journals/pacmpl/BatzKKMV23,
author = {Kevin Batz and Benjamin Lucien Kaminski and Joost{-}Pieter Katoen and Christoph Matheja and Lena Verscht},
title = {A Calculus for Amortized Expected Runtimes},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {1957--1986},
year = {2023},
url = {https://doi.org/10.1145/3571260},
doi = {10.1145/3571260},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BatzKKMV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
P. Schröer, K. Batz, B. L. Kaminski, J. -, and C. Matheja, "A Deductive Verification Infrastructure for Probabilistic Programs" Proc. ACM Program. Lang. vol. 7, iss. OOPSLA2.
doi: 10.1145/3622870
@article{DBLP:journals/pacmpl/SchroerBKKM23,
author = {Philipp Schr{\"{o}}er and Kevin Batz and Benjamin Lucien Kaminski and Joost{-}Pieter Katoen and Christoph Matheja},
title = {A Deductive Verification Infrastructure for Probabilistic Programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {2052--2082},
year = {2023},
url = {https://doi.org/10.1145/3622870},
doi = {10.1145/3622870},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SchroerBKKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Matheja, J. Pagel, and F. Zuleger, "A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions" ACM Trans. Comput. Log. vol. 24, iss. 1.
doi: 10.1145/3534927
@article{DBLP:journals/tocl/MathejaPZ23,
author = {Christoph Matheja and Jens Pagel and Florian Zuleger},
title = {A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions},
journal = {{ACM} Trans. Comput. Log.},
volume = {24},
number = {1},
pages = {1:1--1:76},
year = {2023},
url = {https://doi.org/10.1145/3534927},
doi = {10.1145/3534927},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/MathejaPZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
P. Schröer, K. Batz, B. L. Kaminski, J. -, and C. Matheja. () A Deductive Verification Infrastructure for Probabilistic Programs - Artifact Evaluation (Version 1). [Online]. Available: https://doi.org/10.5281/zenodo.8146987
doi: 10.5281/ZENODO.8146987
@misc{DBLP:data/10/SchroerBKKM23,
author = {Philipp Schr{\"{o}}er and Kevin Batz and Benjamin Lucien Kaminski and Joost{-}Pieter Katoen and Christoph Matheja},
title = {A Deductive Verification Infrastructure for Probabilistic Programs - Artifact Evaluation (Version 1)},
publisher = {Zenodo},
year = {2023},
month = jul, howpublished = {\url{https://doi.org/10.5281/zenodo.8146987}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.8146987},
doi = {10.5281/ZENODO.8146987},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/SchroerBKKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
K. Batz, M. Chen, S. Junges, B. L. Kaminski, J. -, and C. Matheja, "Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants" in Proc. Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II, 2023.
doi: 10.1007/978-3-031-30820-8_25
@inproceedings{DBLP:conf/tacas/BatzCJKKM23,
author = {Kevin Batz and Mingshuai Chen and Sebastian Junges and Benjamin Lucien Kaminski and Joost{-}Pieter Katoen and Christoph Matheja},
editor = {Sriram Sankaranarayanan and Natasha Sharygina},
title = {Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, {TACAS} 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Paris, France, April 22-27, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13994},
pages = {410--429},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30820-8\_25},
doi = {10.1007/978-3-031-30820-8\_25},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BatzCJKKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
K. Batz, I. Fesefeldt, M. Jansen, J. -, F. Keßler, C. Matheja, and T. Noll, "Foundations for Entailment Checking in Quantitative Separation Logic (extended version)" CoRR, vol. abs/2201.11464.
@article{DBLP:journals/corr/abs-2201-11464,
author = {Kevin Batz and Ira Fesefeldt and Marvin Jansen and Joost{-}Pieter Katoen and Florian Ke{\ss}ler and Christoph Matheja and Thomas Noll},
title = {Foundations for Entailment Checking in Quantitative Separation Logic (extended version)},
journal = {CoRR},
volume = {abs/2201.11464},
year = {2022},
url = {https://arxiv.org/abs/2201.11464},
eprinttype = {arXiv},
eprint = {2201.11464},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-11464.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
K. Batz, M. Chen, S. Junges, B. L. Kaminski, J. -, and C. Matheja, "Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants" CoRR, vol. abs/2205.06152.
doi: 10.48550/ARXIV.2205.06152
@article{DBLP:journals/corr/abs-2205-06152,
author = {Kevin Batz and Mingshuai Chen and Sebastian Junges and Benjamin Lucien Kaminski and Joost{-}Pieter Katoen and Christoph Matheja},
title = {Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants},
journal = {CoRR},
volume = {abs/2205.06152},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.06152},
doi = {10.48550/ARXIV.2205.06152},
eprinttype = {arXiv},
eprint = {2205.06152},
timestamp = {Tue, 17 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-06152.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
K. Batz, B. L. Kaminski, J. -, C. Matheja, and L. Verscht, "A Calculus for Amortized Expected Runtimes" CoRR, vol. abs/2211.12923.
doi: 10.48550/ARXIV.2211.12923
@article{DBLP:journals/corr/abs-2211-12923,
author = {Kevin Batz and Benjamin Lucien Kaminski and Joost{-}Pieter Katoen and Christoph Matheja and Lena Verscht},
title = {A Calculus for Amortized Expected Runtimes},
journal = {CoRR},
volume = {abs/2211.12923},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.12923},
doi = {10.48550/ARXIV.2211.12923},
eprinttype = {arXiv},
eprint = {2211.12923},
timestamp = {Tue, 29 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-12923.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
K. Batz, I. Fesefeldt, M. Jansen, J. -, F. Keßler, C. Matheja, and T. Noll, "Foundations for Entailment Checking in Quantitative Separation Logic" in Proc. Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, 2022.
doi: 10.1007/978-3-030-99336-8_3
@inproceedings{DBLP:conf/esop/BatzFJKKMN22,
author = {Kevin Batz and Ira Fesefeldt and Marvin Jansen and Joost{-}Pieter Katoen and Florian Ke{\ss}ler and Christoph Matheja and Thomas Noll},
editor = {Ilya Sergey},
title = {Foundations for Entailment Checking in Quantitative Separation Logic},
booktitle = {Programming Languages and Systems - 31st European Symposium on Programming, {ESOP} 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13240},
pages = {57--84},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99336-8\_3},
doi = {10.1007/978-3-030-99336-8\_3},
timestamp = {Fri, 29 Apr 2022 14:50:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BatzFJKKMN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
V. Astrauskas, A. B\'. i, J. Fiala, Z. Grannan, C. Matheja, P. Müller, F. Poli, and A. J. Summers, "The Prusti Project: Formal Verification for Rust" in Proc. NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings, 2022.
doi: 10.1007/978-3-031-06773-0_5
@inproceedings{DBLP:conf/nfm/AstrauskasBFGMM22,
author = {Vytautas Astrauskas and Aurel B{\'{\i}}l{\'{y}} and Jon{\'{a}}s Fiala and Zachary Grannan and Christoph Matheja and Peter M{\"{u}}ller and Federico Poli and Alexander J. Summers},
editor = {Jyotirmoy V. Deshmukh and Klaus Havelund and Ivan Perez},
title = {The Prusti Project: Formal Verification for Rust},
booktitle = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13260},
pages = {88--108},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06773-0\_5},
doi = {10.1007/978-3-031-06773-0\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/AstrauskasBFGMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
K. Batz, M. Chen, B. L. Kaminski, J. -, C. Matheja, and P. Schröer, "Latticed k-Induction with an Application to Probabilistic Programs" CoRR, vol. abs/2105.14100.
@article{DBLP:journals/corr/abs-2105-14100,
author = {Kevin Batz and Mingshuai Chen and Benjamin Lucien Kaminski and Joost{-}Pieter Katoen and Christoph Matheja and Philipp Schr{\"{o}}er},
title = {Latticed k-Induction with an Application to Probabilistic Programs},
journal = {CoRR},
volume = {abs/2105.14100},
year = {2021},
url = {https://arxiv.org/abs/2105.14100},
eprinttype = {arXiv},
eprint = {2105.14100},
timestamp = {Wed, 02 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-14100.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
A. Aguirre, G. Barthe, J. Hsu, B. L. Kaminski, J. -, and C. Matheja, "A pre-expectation calculus for probabilistic sensitivity" Proc. ACM Program. Lang. vol. 5, iss. POPL.
doi: 10.1145/3434333
@article{DBLP:journals/pacmpl/0001BHKKM21,
author = {Alejandro Aguirre and Gilles Barthe and Justin Hsu and Benjamin Lucien Kaminski and Joost{-}Pieter Katoen and Christoph Matheja},
title = {A pre-expectation calculus for probabilistic sensitivity},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--28},
year = {2021},
url = {https://doi.org/10.1145/3434333},
doi = {10.1145/3434333},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/0001BHKKM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
K. Batz, B. L. Kaminski, J. -, and C. Matheja, "Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning" Proc. ACM Program. Lang. vol. 5, iss. POPL.
doi: 10.1145/3434320
@article{DBLP:journals/pacmpl/BatzKKM21,
author = {Kevin Batz and Benjamin Lucien Kaminski and Joost{-}Pieter Katoen and Christoph Matheja},
title = {Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--30},
year = {2021},
url = {https://doi.org/10.1145/3434320},
doi = {10.1145/3434320},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BatzKKM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
F. Wolff, A. B\'. i, C. Matheja, P. Müller, and A. J. Summers, "Modular specification and verification of closures in Rust" Proc. ACM Program. Lang. vol. 5, iss. OOPSLA.
doi: 10.1145/3485522
@article{DBLP:journals/pacmpl/WolffBMMS21,
author = {Fabian Wolff and Aurel B{\'{\i}}l{\'{y}} and Christoph Matheja and Peter M{\"{u}}ller and Alexander J. Summers},
title = {Modular specification and verification of closures in Rust},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--29},
year = {2021},
url = {https://doi.org/10.1145/3485522},
doi = {10.1145/3485522},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/WolffBMMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
K. Batz, M. Chen, B. L. Kaminski, J. -, C. Matheja, and P. Schröer, "Latticed k-Induction with an Application to Probabilistic Programs" in Proc. Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, 2021.
doi: 10.1007/978-3-030-81688-9_25
@inproceedings{DBLP:conf/cav/BatzCKKMS20,
author = {Kevin Batz and Mingshuai Chen and Benjamin Lucien Kaminski and Joost{-}Pieter Katoen and Christoph Matheja and Philipp Schr{\"{o}}er},
editor = {Alexandra Silva and K. Rustan M. Leino},
title = {Latticed k-Induction with an Application to Probabilistic Programs},
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 = {524--549},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81688-9\_25},
doi = {10.1007/978-3-030-81688-9\_25},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BatzCKKMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
I. Fesefeldt, C. Matheja, T. Noll, and J. Schulte, "Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars" in Proc. Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings, 2021.
doi: 10.1007/978-3-030-78946-6_15
@inproceedings{DBLP:conf/gg/FesefeldtM0S21,
author = {Ira Fesefeldt and Christoph Matheja and Thomas Noll and Johannes Schulte},
editor = {Fabio Gadducci and Timo Kehrer},
title = {Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars},
booktitle = {Graph Transformation - 14th International Conference, {ICGT} 2021, Held as Part of {STAF} 2021, Virtual Event, June 24-25, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12741},
pages = {283--293},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78946-6\_15},
doi = {10.1007/978-3-030-78946-6\_15},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/FesefeldtM0S21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
V. Astrauskas, C. Matheja, F. Poli, P. Müller, and A. J. Summers, "How do programmers use unsafe rust?" Proc. ACM Program. Lang. vol. 4, iss. OOPSLA.
doi: 10.1145/3428204
@article{DBLP:journals/pacmpl/AstrauskasMP0S20,
author = {Vytautas Astrauskas and Christoph Matheja and Federico Poli and Peter M{\"{u}}ller and Alexander J. Summers},
title = {How do programmers use unsafe rust?},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {136:1--136:27},
year = {2020},
url = {https://doi.org/10.1145/3428204},
doi = {10.1145/3428204},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/AstrauskasMP0S20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
K. Batz, S. Junges, B. L. Kaminski, J. -, C. Matheja, and P. Schröer, "PrIC3: Property Directed Reachability for MDPs" in Proc. Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, 2020.
doi: 10.1007/978-3-030-53291-8_27
@inproceedings{DBLP:conf/cav/BatzJKKMS20,
author = {Kevin Batz and Sebastian Junges and Benjamin Lucien Kaminski and Joost{-}Pieter Katoen and Christoph Matheja and Philipp Schr{\"{o}}er},
editor = {Shuvendu K. Lahiri and Chao Wang},
title = {PrIC3: Property Directed Reachability for MDPs},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV} 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12225},
pages = {512--538},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53291-8\_27},
doi = {10.1007/978-3-030-53291-8\_27},
timestamp = {Wed, 12 Aug 2020 15:15:44 +0200},
biburl = {https://dblp.org/rec/conf/cav/BatzJKKMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
B. L. Kaminski, J. -, and C. Matheja, "On the hardness of analyzing probabilistic programs" Acta Informatica, vol. 56, iss. 3.
doi: 10.1007/S00236-018-0321-1
@article{DBLP:journals/acta/KaminskiKM19,
author = {Benjamin Lucien Kaminski and Joost{-}Pieter Katoen and Christoph Matheja},
title = {On the hardness of analyzing probabilistic programs},
journal = {Acta Informatica},
volume = {56},
number = {3},
pages = {255--285},
year = {2019},
url = {https://doi.org/10.1007/s00236-018-0321-1},
doi = {10.1007/S00236-018-0321-1},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/KaminskiKM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
K. Batz, B. L. Kaminski, J. -, C. Matheja, and T. Noll, "Quantitative separation logic: a logic for reasoning about probabilistic pointer programs" Proc. ACM Program. Lang. vol. 3, iss. POPL.
doi: 10.1145/3290347
@article{DBLP:journals/pacmpl/BatzKKMN19,
author = {Kevin Batz and Benjamin Lucien Kaminski and Joost{-}Pieter Katoen and Christoph Matheja and Thomas Noll},
title = {Quantitative separation logic: a logic for reasoning about probabilistic pointer programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {34:1--34:29},
year = {2019},
url = {https://doi.org/10.1145/3290347},
doi = {10.1145/3290347},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BatzKKMN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
J. Katelaan, C. Matheja, and F. Zuleger, "Effective Entailment Checking for Separation Logic with Inductive Definitions" in Proc. Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II, 2019.
doi: 10.1007/978-3-030-17465-1_18
@inproceedings{DBLP:conf/tacas/KatelaanMZ19,
author = {Jens Katelaan and Christoph Matheja and Florian Zuleger},
editor = {Tom{\'{a}}s Vojnar and Lijun Zhang},
title = {Effective Entailment Checking for Separation Logic with Inductive Definitions},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, {TACAS} 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {319--336},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_18},
doi = {10.1007/978-3-030-17465-1\_18},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/KatelaanMZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
M. Sighireanu, J. A. N. Pérez, A. Rybalchenko, N. Gorogiannis, R. Iosif, A. Reynolds, C. Serban, J. Katelaan, C. Matheja, T. Noll, F. Zuleger, W. -, Q. L. Le, Q. -, T. -, T. -, S. -, M. Cyprian, A. Rogalewicz, T. Vojnar, C. Enea, O. Lengál, C. Gao, and Z. Wu, "SL-COMP: Competition of Solvers for Separation Logic" in Proc. Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III, 2019.
doi: 10.1007/978-3-030-17502-3_8
@inproceedings{DBLP:conf/tacas/SighireanuPRGIR19,
author = {Mihaela Sighireanu and Juan Antonio Navarro P{\'{e}}rez and Andrey Rybalchenko and Nikos Gorogiannis and Radu Iosif and Andrew Reynolds and Cristina Serban and Jens Katelaan and Christoph Matheja and Thomas Noll and Florian Zuleger and Wei{-}Ngan Chin and Quang Loc Le and Quang{-}Trung Ta and Ton{-}Chanh Le and Thanh{-}Toan Nguyen and Siau{-}Cheng Khoo and Michal Cyprian and Adam Rogalewicz and Tom{\'{a}}s Vojnar and Constantin Enea and Ondrej Leng{\'{a}}l and Chong Gao and Zhilin Wu},
editor = {Dirk Beyer and Marieke Huisman and Fabrice Kordon and Bernhard Steffen},
title = {{SL-COMP:} Competition of Solvers for Separation Logic},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11429},
pages = {116--132},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17502-3\_8},
doi = {10.1007/978-3-030-17502-3\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SighireanuPRGIR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
K. Batz, B. L. Kaminski, J. -, and C. Matheja, "How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times" CoRR, vol. abs/1802.10433.
@article{DBLP:journals/corr/abs-1802-10433,
author = {Kevin Batz and Benjamin Lucien Kaminski and Joost{-}Pieter Katoen and Christoph Matheja},
title = {How long, {O} Bayesian network, will {I} sample thee? {A} program analysis perspective on expected sampling times},
journal = {CoRR},
volume = {abs/1802.10433},
year = {2018},
url = {http://arxiv.org/abs/1802.10433},
eprinttype = {arXiv},
eprint = {1802.10433},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-10433.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
B. L. Kaminski, J. -, C. Matheja, and F. Olmedo, "Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms" J. ACM, vol. 65, iss. 5.
doi: 10.1145/3208102
@article{DBLP:journals/jacm/KaminskiKMO18,
author = {Benjamin Lucien Kaminski and Joost{-}Pieter Katoen and Christoph Matheja and Federico Olmedo},
title = {Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms},
journal = {J. {ACM}},
volume = {65},
number = {5},
pages = {30:1--30:68},
year = {2018},
url = {https://doi.org/10.1145/3208102},
doi = {10.1145/3208102},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/KaminskiKMO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
H. Arndt, C. Jansen, J. -, C. Matheja, and T. Noll, "Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs" in Proc. Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II, 2018.
doi: 10.1007/978-3-319-96142-2_1
@inproceedings{DBLP:conf/cav/ArndtJKMN18,
author = {Hannah Arndt and Christina Jansen and Joost{-}Pieter Katoen and Christoph Matheja and Thomas Noll},
editor = {Hana Chockler and Georg Weissenbacher},
title = {Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10982},
pages = {3--11},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96142-2\_1},
doi = {10.1007/978-3-319-96142-2\_1},
timestamp = {Fri, 09 Apr 2021 18:35:26 +0200},
biburl = {https://dblp.org/rec/conf/cav/ArndtJKMN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
K. Batz, B. L. Kaminski, J. -, and C. Matheja, "How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times" in Proc. Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, 2018.
doi: 10.1007/978-3-319-89884-1_7
@inproceedings{DBLP:conf/esop/BatzKKM18,
author = {Kevin Batz and Benjamin Lucien Kaminski and Joost{-}Pieter Katoen and Christoph Matheja},
editor = {Amal Ahmed},
title = {How long, {O} Bayesian network, will {I} sample thee? - {A} program analysis perspective on expected sampling times},
booktitle = {Programming Languages and Systems - 27th European Symposium on Programming, {ESOP} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10801},
pages = {186--213},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89884-1\_7},
doi = {10.1007/978-3-319-89884-1\_7},
timestamp = {Tue, 05 Jul 2022 08:30:25 +0200},
biburl = {https://dblp.org/rec/conf/esop/BatzKKM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
J. Katelaan, C. Matheja, T. Noll, and F. Zuleger, "Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic" in Proc. LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018, 2018.
doi: 10.29007/QWD8
@inproceedings{DBLP:conf/lpar/KatelaanMNZ18,
author = {Jens Katelaan and Christoph Matheja and Thomas Noll and Florian Zuleger},
editor = {Gilles Barthe and Konstantin Korovin and Stephan Schulz and Martin Suda and Geoff Sutcliffe and Margus Veanes},
title = {Harrsh: {A} Tool for Unied Reasoning about Symbolic-Heap Separation Logic},
booktitle = {{LPAR-22} Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018},
series = {Kalpa Publications in Computing},
volume = {9},
pages = {23--36},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/qwd8},
doi = {10.29007/QWD8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/KatelaanMNZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
H. Arndt, C. Jansen, C. Matheja, and T. Noll, "Graph-Based Shape Analysis Beyond Context-Freeness" in Proc. Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, 2018.
doi: 10.1007/978-3-319-92970-5_17
@inproceedings{DBLP:conf/sefm/ArndtJMN18,
author = {Hannah Arndt and Christina Jansen and Christoph Matheja and Thomas Noll},
editor = {Einar Broch Johnsen and Ina Schaefer},
title = {Graph-Based Shape Analysis Beyond Context-Freeness},
booktitle = {Software Engineering and Formal Methods - 16th International Conference, {SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10886},
pages = {271--286},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92970-5\_17},
doi = {10.1007/978-3-319-92970-5\_17},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/ArndtJMN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
M. van Keulen, B. L. Kaminski, C. Matheja, and J. -, "Rule-Based Conditioning of Probabilistic Data" in Proc. Scalable Uncertainty Management - 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings, 2018.
doi: 10.1007/978-3-030-00461-3_20
@inproceedings{DBLP:conf/sum/KeulenKMK18,
author = {Maurice van Keulen and Benjamin Lucien Kaminski and Christoph Matheja and Joost{-}Pieter Katoen},
editor = {Davide Ciucci and Gabriella Pasi and Barbara Vantaggi},
title = {Rule-Based Conditioning of Probabilistic Data},
booktitle = {Scalable Uncertainty Management - 12th International Conference, {SUM} 2018, Milan, Italy, October 3-5, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11142},
pages = {290--305},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00461-3\_20},
doi = {10.1007/978-3-030-00461-3\_20},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sum/KeulenKMK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Jansen, J. Katelaan, C. Matheja, T. Noll, and F. Zuleger, "Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic" in Proc. Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, 2017.
doi: 10.1007/978-3-662-54434-1_23
@inproceedings{DBLP:conf/esop/JansenKMNZ17,
author = {Christina Jansen and Jens Katelaan and Christoph Matheja and Thomas Noll and Florian Zuleger},
editor = {Hongseok Yang},
title = {Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic},
booktitle = {Programming Languages and Systems - 26th European Symposium on Programming, {ESOP} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10201},
pages = {611--638},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54434-1\_23},
doi = {10.1007/978-3-662-54434-1\_23},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/JansenKMNZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Jansen, J. Katelaan, C. Matheja, T. Noll, and F. Zuleger, "Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic" CoRR, vol. abs/1610.07041.
@article{DBLP:journals/corr/JansenKMNZ16,
author = {Christina Jansen and Jens Katelaan and Christoph Matheja and Thomas Noll and Florian Zuleger},
title = {Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic},
journal = {CoRR},
volume = {abs/1610.07041},
year = {2016},
url = {http://arxiv.org/abs/1610.07041},
eprinttype = {arXiv},
eprint = {1610.07041},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/JansenKMNZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
B. L. Kaminski, J. -, C. Matheja, and F. Olmedo, "Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs" CoRR, vol. abs/1601.01001.
@article{DBLP:journals/corr/KaminskiKMO16,
author = {Benjamin Lucien Kaminski and Joost{-}Pieter Katoen and Christoph Matheja and Federico Olmedo},
title = {Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs},
journal = {CoRR},
volume = {abs/1601.01001},
year = {2016},
url = {http://arxiv.org/abs/1601.01001},
eprinttype = {arXiv},
eprint = {1601.01001},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KaminskiKMO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
F. Olmedo, B. L. Kaminski, J. -, and C. Matheja, "Reasoning about Recursive Probabilistic Programs" in Proc. Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016, 2016.
doi: 10.1145/2933575.2935317
@inproceedings{DBLP:conf/lics/OlmedoKKM16,
author = {Federico Olmedo and Benjamin Lucien Kaminski and Joost{-}Pieter Katoen and Christoph Matheja},
editor = {Martin Grohe and Eric Koskinen and Natarajan Shankar},
title = {Reasoning about Recursive Probabilistic Programs},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {672--681},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935317},
doi = {10.1145/2933575.2935317},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/OlmedoKKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
B. L. Kaminski, J. -, C. Matheja, and F. Olmedo, "Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs" in Proc. Programming Languages and Systems - 25th European Symposium on Programming, ESOP 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, 2016.
doi: 10.1007/978-3-662-49498-1_15
@inproceedings{DBLP:conf/esop/KaminskiKMO16,
author = {Benjamin Lucien Kaminski and Joost{-}Pieter Katoen and Christoph Matheja and Federico Olmedo},
editor = {Peter Thiemann},
title = {Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs},
booktitle = {Programming Languages and Systems - 25th European Symposium on Programming, {ESOP} 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 = {9632},
pages = {364--389},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49498-1\_15},
doi = {10.1007/978-3-662-49498-1\_15},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/KaminskiKMO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
B. L. Kaminski, J. -, and C. Matheja, "Inferring Covariances for Probabilistic Programs" in Proc. Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, 2016.
doi: 10.1007/978-3-319-43425-4_14
@inproceedings{DBLP:conf/qest/KaminskiKM16,
author = {Benjamin Lucien Kaminski and Joost{-}Pieter Katoen and Christoph Matheja},
editor = {Gul Agha and Benny Van Houdt},
title = {Inferring Covariances for Probabilistic Programs},
booktitle = {Quantitative Evaluation of Systems - 13th International Conference, {QEST} 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9826},
pages = {191--206},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43425-4\_14},
doi = {10.1007/978-3-319-43425-4\_14},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/KaminskiKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Matheja, C. Jansen, and T. Noll, "Tree-Like Grammars and Separation Logic" in Proc. Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, 2015.
doi: 10.1007/978-3-319-26529-2_6
@inproceedings{DBLP:conf/aplas/MathejaJN15,
author = {Christoph Matheja and Christina Jansen and Thomas Noll},
editor = {Xinyu Feng and Sungwoo Park},
title = {Tree-Like Grammars and Separation Logic},
booktitle = {Programming Languages and Systems - 13th Asian Symposium, {APLAS} 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9458},
pages = {90--108},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26529-2\_6},
doi = {10.1007/978-3-319-26529-2\_6},
timestamp = {Fri, 04 Mar 2022 17:17:35 +0100},
biburl = {https://dblp.org/rec/conf/aplas/MathejaJN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}