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