CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Publications
Author(s):
Johann C. Dauer
Bernd Finkbeiner
Sebastian Schirmer
Published in:
Runtime Verification - 21st International Conference, RV 2021, 2021, Page(s) 62--80, ISBN 978-3-030-88494-9
Publisher:
Springer
DOI:
10.1007/978-3-030-88494-9_4
Author(s):
Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger
Published in:
Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings, Issue 12399, 2020, Page(s) 451-461, ISBN 978-3-030-60507-0
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-60508-7_25
Author(s):
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Published in:
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II, Issue 12225, 2020, Page(s) 64-76, ISBN 978-3-030-53290-1
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-53291-8_5
Author(s):
Helmut Seidl, Christian Müller, Bernd Finkbeiner
Published in:
Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings, Issue 11990, 2020, Page(s) 426-448, ISBN 978-3-030-39321-2
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-39322-9_20
Author(s):
Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup
Published in:
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II, Issue 12225, 2020, Page(s) 40-63, ISBN 978-3-030-53290-1
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-53291-8_4
Author(s):
Bernd Finkbeiner, Noemi Passing
Published in:
Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings, Issue 12971, 2021, Page(s) 303-319, ISBN 978-3-030-88884-8
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-88885-5_20
Author(s):
Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger
Published in:
Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings, Issue 12399, 2020, Page(s) 431-450, ISBN 978-3-030-60507-0
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-60508-7_24
Author(s):
Bernd Finkbeiner
Published in:
Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings, Issue 12597, 2021, Page(s) 3-16, ISBN 978-3-030-67066-5
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-67067-2_1
Author(s):
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
Published in:
Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I, Issue 12759, 2021, Page(s) 894-917, ISBN 978-3-030-81684-1
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-81685-8_42
Author(s):
Bernd Finkbeiner, Gideon Geier, Noemi Passing
Published in:
NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings, Issue 12673, 2021, Page(s) 113-130, ISBN 978-3-030-76383-1
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-76384-8_8
Author(s):
Bernd Finkbeiner, Felix Klein, Niklas Metzger
Published in:
Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings, Issue 12971, 2021, Page(s) 153-169, ISBN 978-3-030-88884-8
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-88885-5_11
Author(s):
Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch
Published in:
30th International Conference on Concurrency Theory, CONCUR 2019, Amsterdam, the Netherlands, August 27-30, 2019, Proceedings, Issue LIPIcs 140, 2019, Page(s) 26:1-26:16
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.concur.2019.26
Author(s):
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
Published in:
Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I, Issue 12759, 2021, Page(s) 694-717, ISBN 978-3-030-81684-1
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-81685-8_33
Author(s):
Tom Baumeister, Bernd Finkbeiner, Hazem Torfah
Published in:
Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings, Issue 12302, 2020, Page(s) 413-428, ISBN 978-3-030-59151-9
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-59152-6_23
Author(s):
Maximilian Schwenger
Published in:
Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings, Issue 12399, 2020, Page(s) 87-106, ISBN 978-3-030-60507-0
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-60508-7_5
Author(s):
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo
Published in:
Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings, Issue 12971, 2021, Page(s) 283-299, ISBN 978-3-030-88884-8
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-88885-5_19
Author(s):
Bernd Finkbeiner, Felix Klein
Published in:
NATO Science for Peace and Security Series - D: Information and Communication Security , Issue Volume 50, 2017, Page(s) 25-43
Publisher:
IOS Press
DOI:
10.3233/978-1-61499-810-5-25
Author(s):
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Published in:
Tools and Algorithms for the Construction and Analysis of Systems, Issue 10806, 2018, Page(s) 194-200, ISBN 978-3-319-89962-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-89963-3_11
Author(s):
Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia
Published in:
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, Issue 10982, 2018, Page(s) 256-274, ISBN 978-3-319-96141-5
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-96142-2_17
Author(s):
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
Published in:
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 I, Issue 10981, 2018, Page(s) 289-306, ISBN 978-3-319-96144-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-96145-3_16
Author(s):
Bernd Finkbeiner, Christopher Hahn, Hazem Torfah
Published in:
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 I, Issue 10981, 2018, Page(s) 144-163, ISBN 978-3-319-96144-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-96145-3_8
Author(s):
Bernd Finkbeiner, Christopher Hahn, Tobias Hans
Published in:
Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, Issue 11138, 2018, Page(s) 521-527, ISBN 978-3-030-01089-8
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-01090-4_31
Author(s):
Carsten Gerstacker, Felix Klein, Bernd Finkbeiner
Published in:
Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, Issue 11138, 2018, Page(s) 441-457, ISBN 978-3-030-01089-8
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-01090-4_26
Author(s):
Christopher Hahn, Marvin Stenger, Leander Tentrup
Published in:
Advances in Knowledge Discovery and Data Mining - 23rd Pacific-Asia Conference, PAKDD 2019, Macau, China, April 14-17, 2019, Proceedings, Part III, Issue 11441, 2019, Page(s) 115-131, ISBN 978-3-030-16141-5
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-17465-1_7
Author(s):
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Published in:
Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, Issue 11561, 2019, Page(s) 609-629, ISBN 978-3-030-25539-8
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-25540-4_35
Author(s):
Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah
Published in:
Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, Issue 11561, 2019, Page(s) 421-431, ISBN 978-3-030-25539-8
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-25540-4_24
Author(s):
Leander Tentrup, Markus N. Rabe
Published in:
Theory and Applications of Satisfiability Testing – SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings, Issue 11628, 2019, Page(s) 388-405, ISBN 978-3-030-24257-2
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-24258-9_27
Author(s):
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Published in:
Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, Issue 11561, 2019, Page(s) 241-258, ISBN 978-3-030-25539-8
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-25540-4_13
Author(s):
Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup
Published in:
Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, Issue 11561, 2019, Page(s) 121-139, ISBN 978-3-030-25539-8
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-25540-4_7
Author(s):
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Published in:
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings, Issue 11781, 2019, Page(s) 334-349, ISBN 978-3-030-31783-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-31784-3_19
Author(s):
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Published in:
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings, Issue 11781, 2019, Page(s) 515-533, ISBN 978-3-030-31783-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-31784-3_30
Author(s):
Jesko Hecking-Harbusch, Niklas O. Metzger
Published in:
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings, Issue 11781, 2019, Page(s) 369-386, ISBN 978-3-030-31783-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-31784-3_22
Author(s):
Borzoo Bonakdarpour, Bernd Finkbeiner
Published in:
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings, Issue 11781, 2019, Page(s) 423-441, ISBN 978-3-030-31783-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-31784-3_25
Author(s):
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
Published in:
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II, Issue 12652, 2021, Page(s) 365-372, ISBN 978-3-030-72012-4
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-72013-1_20
Author(s):
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Published in:
Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings, Issue 12302, 2020, Page(s) 394-410, ISBN 978-3-030-59151-9
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-59152-6_22
Author(s):
Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens
Published in:
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II, Issue 12225, 2020, Page(s) 28-39, ISBN 978-3-030-53290-1
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-53291-8_3
Author(s):
Manuel Gieseking, Jesko Hecking-Harbusch, Ann Yanich
Published in:
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II, Issue 12652, 2021, Page(s) 381-388, ISBN 978-3-030-72012-4
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-72013-1_22
Author(s):
Bernd Finkbeiner, Noemi Passing
Published in:
Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings, Issue 12302, 2020, Page(s) 447-463, ISBN 978-3-030-59151-9
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-59152-6_25
Author(s):
Raven Beutner, Bernd Finkbeiner
Published in:
32nd International Conference on Concurrency Theory, 2021, Page(s) 24:1-24:19, ISBN 978-3-95977-203-7
Publisher:
Dagstuhl
DOI:
10.4230/lipics.concur.2021.24
Author(s):
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Published in:
Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings, Issue 12302, 2020, Page(s) 484-500, ISBN 978-3-030-59151-9
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-59152-6_27
Author(s):
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Published in:
International Journal on Software Tools for Technology Transfer, Issue 22/6, 2020, Page(s) 729-740, ISSN 1433-2779
Publisher:
Springer Verlag
DOI:
10.1007/s10009-020-00552-5
Author(s):
Swen Jacobs, Leander Tentrup, Martin Zimmermann
Published in:
Electronic Proceedings in Theoretical Computer Science, Issue 226, 2016, Page(s) 228-241, ISSN 2075-2180
Publisher:
EPTCS
DOI:
10.4204/EPTCS.226.16
Author(s):
Leander Tentrup, Alexander Weinert, Martin Zimmermann
Published in:
Electronic Proceedings in Theoretical Computer Science, Issue 226, 2016, Page(s) 302-315, ISSN 2075-2180
Publisher:
EPTCS
DOI:
10.4204/EPTCS.226.21
Author(s):
Bernd Finkbeiner, Andrey Kupriyanov
Published in:
Electronic Proceedings in Theoretical Computer Science, Issue 259, 2017, Page(s) 31-38, ISSN 2075-2180
Publisher:
EPTCS
DOI:
10.4204/EPTCS.259.3
Author(s):
Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
Published in:
Electronic Proceedings in Theoretical Computer Science, Issue 229, 2016, Page(s) 149-177, ISSN 2075-2180
Publisher:
EPTCS
DOI:
10.4204/EPTCS.229.12
Author(s):
Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup
Published in:
Electronic Proceedings in Theoretical Computer Science, Issue 260, 2017, Page(s) 116-143, ISSN 2075-2180
Publisher:
EPTCS
DOI:
10.4204/EPTCS.260.10
Author(s):
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Published in:
Electronic Proceedings in Theoretical Computer Science, Issue 260, 2017, Page(s) 23-43, ISSN 2075-2180
Publisher:
EPTCS
DOI:
10.4204/EPTCS.260.5
Author(s):
Swen Jacobs, Felix Klein, Sebastian Schirmer
Published in:
Electronic Proceedings in Theoretical Computer Science, Issue 229, 2016, Page(s) 112-132, ISSN 2075-2180
Publisher:
EPTCS
DOI:
10.4204/eptcs.229.10
Author(s):
Swen Jacobs, Leander Tentrup, Martin Zimmermann
Published in:
Information and Computation, Issue 262, 2018, Page(s) 311-328, ISSN 0890-5401
Publisher:
Academic Press
DOI:
10.1016/j.ic.2018.09.009
Author(s):
Hadas Kress-Gazit, Hazem Torfah
Published in:
Electronic Proceedings in Theoretical Computer Science, Issue 286, 2019, Page(s) 50-64, ISSN 2075-2180
Publisher:
EPTCS
DOI:
10.4204/eptcs.286.5
Author(s):
Jesko Hecking-Harbusch, Leander Tentrup
Published in:
Electronic Proceedings in Theoretical Computer Science, Issue 277, 2018, Page(s) 88-102, ISSN 2075-2180
Publisher:
EPTCS
DOI:
10.4204/eptcs.277.7
Author(s):
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Published in:
Formal Methods in System Design, Issue 54/3, 2019, Page(s) 336-363, ISSN 0925-9856
Publisher:
Kluwer Academic Publishers
DOI:
10.1007/s10703-019-00334-z
Author(s):
Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah
Published in:
ACM Transactions on Embedded Computing Systems, Issue 18/5s, 2019, Page(s) 1-24, ISSN 1539-9087
Publisher:
Association for Computing Machinary, Inc.
DOI:
10.1145/3358220
Author(s):
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
Published in:
Acta Informatica, Issue 57/1-2, 2020, Page(s) 137-163, ISSN 0001-5903
Publisher:
Springer Verlag
DOI:
10.1007/s00236-019-00358-2
Author(s):
Borzoo Bonakdarpour, Bernd Finkbeiner
Published in:
2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 2020, Page(s) 366-379, ISBN 978-1-7281-6572-1
Publisher:
IEEE
DOI:
10.1109/csf49147.2020.00033
Author(s):
Finkbeiner, Bernd ; Gieseking, Manuel ; Hecking-Harbusch, Jesko ; Olderog, Ernst-Rüdiger
Published in:
Annual Conference on Computer Science Logic, CSL 2022, 2022
Publisher:
Schloss Dagstuhl
DOI:
10.4230/lipics.csl.2022.20
Author(s):
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Published in:
Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles - SCAV'17, 2017, Page(s) 43-47, ISBN 9781-450349765
Publisher:
ACM Press
DOI:
10.1145/3055378.3055385
Author(s):
Pedro R. D’Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns
Published in:
26th European Symposium on Programming (ESOP 2017), Issue LNCS, volume 10201, 2017, Page(s) 83-110, ISBN 978-3-662-54433-4
Publisher:
Springer Berlin Heidelberg
DOI:
10.1007/978-3-662-54434-1_4
Author(s):
Bernd Finkbeiner, Hazem Torfah
Published in:
14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016), Issue LNCS, volume 9938, 2016, Page(s) 271-286, ISBN 978-3-319-46519-7
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-46520-3_18
Author(s):
Gilles Barthe, Pedro R. D’Argenio, Bernd Finkbeiner, Holger Hermanns
Published in:
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2017), Issue LNCS, volume 9953, 2016, Page(s) 601-608, ISBN 978-3-319-47168-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-47169-3_46
Author(s):
Peter Faymonville, Bernd Finkbeiner, Leander Tentrup
Published in:
29th International Conference on Computer-Aided Verification (CAV 2017), Issue LNCS, volume 10427, 2017, Page(s) 325-332, ISBN 978-3-319-63389-3
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-63390-9_17
Author(s):
Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup
Published in:
23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017) , Issue LNCS, volume 10205, 2017, Page(s) 354-370, ISBN 978-3-662-54576-8
Publisher:
Springer Berlin Heidelberg
DOI:
10.1007/978-3-662-54577-5_20
Author(s):
Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens
Published in:
17th International Conference on Runtime Verification (RV 2017), Issue LNCS, volume 10548, 2017, Page(s) 33-49, ISBN 978-3-319-67530-5
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-67531-2_3
Author(s):
Bernd Finkbeiner, Hazem Torfah
Published in:
15th International Symposium on Automated Technology for Verification and Analysis (ATVA 2017), Issue LNCS, volume 10482, 2017, Page(s) 139-155, ISBN 978-3-319-68166-5
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-68167-2_10
Author(s):
Leander Tentrup
Published in:
29th International Conference on Computer-Aided Verification (CAV 2017), Issue LNCS, volume 10427, 2017, Page(s) 475-494, ISBN 978-3-319-63389-3
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-63390-9_25
Author(s):
Bernd Finkbeiner, Paul Gölz
Published in:
37th Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017), Issue LIPIcs 93, 2017, Page(s) 28:1-28:14, ISBN 978-3-95977-055-2
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.FSTTCS.2017.28
Author(s):
Rüdiger Ehlers, Bernd Finkbeiner
Published in:
37th Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017), Issue LIPIcs 93, 2017, Page(s) 26:1-26:13, ISBN 978-3-95977-055-2
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.FSTTCS.2017.26
Author(s):
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Published in:
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019, 2019, Page(s) 162-175, ISBN 9781-450368131
Publisher:
ACM Press
DOI:
10.1145/3331545.3342601
Author(s):
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann
Published in:
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Page(s) 1-13, ISBN 978-1-7281-3608-0
Publisher:
IEEE
DOI:
10.1109/lics.2019.8785713
Author(s):
Bernd Finkbeiner, Lennart Haas, Hazem Torfah
Published in:
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 2019, Page(s) 17-1714, ISBN 978-1-7281-1407-1
Publisher:
IEEE
DOI:
10.1109/csf.2019.00009
Author(s):
Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner
Published in:
2019 Formal Methods in Computer Aided Design (FMCAD), 2019, Page(s) 138-146, ISBN 978-0-9835678-9-9
Publisher:
IEEE
DOI:
10.23919/fmcad.2019.8894261
Author(s):
Tom Horak; Norine Coenen; Niklas Metzger; Christopher Hahn; Tamara Flemisch; Julian Mendez; Dennis Dimov; Bernd Finkbeiner; Raimund Dachselt
Published in:
IEEE Trans. Vis. Comput. Graph., 2022
Publisher:
IEEE
DOI:
10.1109/tvcg.2021.3114866
Author(s):
Borzoo Bonakdarpour, Bernd Finkbeiner
Published in:
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 2018, Page(s) 162-174, ISBN 978-1-5386-6680-7
Publisher:
IEEE
DOI:
10.1109/csf.2018.00019
Author(s):
Virtema, Jonni; Hofmann, Jana; Finkbeiner, Bernd; Kontinen, Juha; Yang, Fan
Published in:
Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2021, 2021
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.fsttcs.2021.52
Author(s):
Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
Published in:
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, 2020, Page(s) 1-12, ISBN 9781450370189
Publisher:
ACM
DOI:
10.1145/3365365.3382197
Author(s):
Jacobs, Swen; Bloem, Roderick; Colange, Maximilien; Faymonville, Peter; Finkbeiner, Bernd; Khalimov, Ayrat; Klein, Felix; Luttenberger, Michael; Meyer, Philipp J.; Michaud, Thibaud; Sakr, Mouhammad; Sickert, Salomon; Tentrup, Leander; Walker, Adam
Published in:
arXiv preprint arXiv:1904.07736, 2019, ISSN 2331-8422
Publisher:
arXiv
Author(s):
Christopher Hahn, Frederik Schmitt, Jens U. Kreber, Markus N. Rabe, Bernd Finkbeiner
Published in:
2021
Publisher:
arxiv
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available