Quicklinks

Portrait of Person: Bernd Finkbeiner

Bernd Finkbeiner (Faculty)
 
 Campus E1 1 | 66123 Saarbrücken | 1.11

Publications:

Title Date Date
 2016
2016
 Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah
 NRA2
 Proceedings of the 16th International Conference on Runtime Verification (RV'2016)
 2015
CAV
2015
 Bernd Finkbeiner, Manuel Gieseking, Ernst-Rüdiger Olderog
 NRA2
 Proc. of the 27th International Conference on Computer Aided Verification (CAV 2015)
 2015
CAV
2015
 Bernd Finkbeiner, Markus N. Rabe, Cesar Sanchez
 NRA2
 Proc. of the 27th International Conference on Computer Aided Verification (CAV 2015)
 2014
2014
 Werner Damm, Bernd Finkbeiner
 NRA2
 Proceedings of the 19th International Symposium on Formal Methods (FM'14)
 2017
CAV
2017
 Peter Faymonville, Bernd Finkbeiner, Leander Tentrup
 
 Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
 2016
CAV
2016
 Bernd Finkbeiner, Felix Klein
 
 Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
 2015
2015
 Bernd Finkbeiner
 
 Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings
 2018
ATVA
2018
 Carsten Gerstacker, Felix Klein, Bernd Finkbeiner
 NRA2
 Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
 2013
2013
 Bernd Finkbeiner, Sven Schewe
 NRA2
 International Journal on Software Tools for Technology Transfer (STTT'13)
 2014
CAV
2014
 Andrey Kupriyanov, Bernd Finkbeiner
 NRA2
 Proc. of the 26th International Conference on Computer Aided Verification (CAV 2014)
 2013
CONCUR
2013
 Andrey Kupriyanov, Bernd Finkbeiner
 NRA2
 Proc. of the 24th International Conference on Concurrency Theory (CONCUR 2013)
 2017
2017
 Bernd Finkbeiner, Andrey Kupriyanov
 
 Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2017, Uppsala, Sweden, 29th April 2017.
 2012
2012
 Rayna Dimitrova, Bernd Finkbeiner
 NRA2
 Proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'12)
 2014
2014
 Bernd Finkbeiner, Hazem Torfah
 NRA2
 8th International Conference on Language and Automata Theory and Applications (LATA 2014)
 2016
CONCUR
2016
 Bernd Finkbeiner, Christopher Hahn
 
 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada
 2014
TACAS
2014
 Bernd Finkbeiner, Leander Tentrup
 NRA2
 Proc. 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 14)
 2011
2011
 Werner Damm, Bernd Finkbeiner
 NRA2
 Proceedings of the 17th International Symposium on Formal Methods (FM'11)
 2017
CAV
2017
 Bernd Finkbeiner, Christopher Hahn, Marvin Stenger
 
 Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
 2012
2012
 Lars Kuhtz, Bernd Finkbeiner
 NRA2
 Logical Methods in Computer Science (LMCS'12)
 2017
TACAS
2017
 Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup
 
 Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings,
 2016
2016
 Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns
 
 Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
 2014
SAT
2014
 Bernd Finkbeiner, Leander Tentrup
 NRA2
 Theory and Applications of Satisfiability Testing (SAT 2014)
 2012
2012
 Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter
 
 Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21, 2012
 2017
ESOP
2017
 Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns
 
 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
 2012
2012
 Bernd Finkbeiner, Swen Jacobs
 NRA2
 Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'12)
 2013
2013
 Rayna Dimitrova, Bernd Finkbeiner
 NRA2
 Proceedings 1st International Workshop on Strategic Reasoning (SR'13)
 2018
ATVA
2018
 Bernd Finkbeiner, Christopher Hahn, Tobias Hans
 NRA2
 Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
 2012
2012
 Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, Markus N. Rabe, Helmut Seidl
 NRA2
 Proc. 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
 2018
CAV
2018
 Bernd Finkbeiner, Christopher Hahn, Hazem Torfah
 NRA2
 Computer Aided Verification
 2017
CAV
2017
 Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
 
 Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
 2014
2014
 Peter Faymonville, Bernd Finkbeiner, Doron Peled
 NRA2
 Proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'14)
 2012
2012
 Rüdiger Ehlers, Bernd Finkbeiner
 NRA2
 Proceedings of the Second International Conference on Runtime Verification (RV'11)
 2012
2012
 Rayna Dimitrova, Bernd Finkbeiner, Markus N. Rabe
 NRA2
 Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
 2014
2014
 Bernd Finkbeiner, Ernst-Rüdiger Olderog
 NRA2
 Proceedings of Fifth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2014)
 2018
TACAS
2018
 Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
 NRA2
 Tools and Algorithms for the Construction and Analysis of Systems
 2011
2011
 Rüdiger Ehlers, Bernd Finkbeiner
 NRA2
 Proceedings of Second International Symposium on Games, Automata3Logics and Formal Verification (GandALF 2011)
 2013
CCS
2013
 Bernd Finkbeiner, Helmut Seidl, Máté Kovács
 NRA2
 Proceedings of the 20th ACM Conference on Computer and Communications Security (CCS '13)
 2013
CCS
2013
 Máté Kovács, Helmut Seidl, Bernd Finkbeiner
 NRA2
 Proc. of the 20th ACM Conference on Computer and Communication Security (CCS 2013)
 2016
2016
 Borzoo Bonakdarpour, Bernd Finkbeiner
 NRA2
 Proceedings of the 16th International Conference on Runtime Verification (RV'2016)
 2016
ATVA
2016
 Bernd Finkbeiner, Helmut Seidl, Christian Müller
 NRA2
 Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016)
 2017
2017
 Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens
 
 Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
 2017
2017
 Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch and Ernst-Rüdiger Olderog
 
 Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017.
 2017
2017
 Rüdiger Ehlers, Bernd Finkbeiner
 
 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India
 2017
2017
 Bernd Finkbeiner, Paul Gölz
 
 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India
 2018
CAV
2018
 Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
 NRA2
 Computer Aided Verification
 2016
ATVA
2016
 Bernd Finkbeiner, Hazem Torfah
 
 Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
 2012
TACAS
2012
 Bernd Finkbeiner, Hans-Jörg Peter
 NRA2
 Proc. 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 12)
 2014
2014
 Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, Cesar Sanchez
 NRA2
 Proc. of the 3rd Conference on Principles of Security and Trust (POST 2014)
 2017
2017
 Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Perez, Jean-Francois Raskin, Ocan Sankur, Leander Tentrup
 NRA2
 Proceedings Sixth Workshop on Synthesis, SYNT 2017, Heidelberg, Germany, 22nd July 2017.
 2012
2012
 Hans-Jörg Peter, Bernd Finkbeiner
 NRA2
 Proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'12)
 2018
CSF
2018
 B. Bonakdarpour, Bernd Finkbeiner
 NRA2
 2018 IEEE 31st Computer Security Foundations Symposium (CSF)
 2017
ATVA
2017
 Bernd Finkbeiner, Hazem Torfah
 
 Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
 2017
STACS
2017
 Bernd Finkbeiner, Martin Zimmermann
 
 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany
 2013
2013
 Bernd Finkbeiner
 
 First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013
 2007
TACAS
2007
 Sebastian Kupferschmid, Klaus Drager, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann
 
 Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedi
 2017
2017
 Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
 
 Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, SCAV@CPSWeek 2017, Pittsburgh, PA, USA, April 21, 2017
 2017
CCS
2017
 Bernd Finkbeiner, Christian Müller, Helmut Seidl, Eugen Zalinescu
 
 Proceedings of the 24th ACM Conference on Computer and Communication Security (CCS'17)
 2016
2016
 Bernd Finkbeiner, Markus N. Rabe
 
 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016
 2011
CONCUR
2011
 Bernd Finkbeiner, Lars Kuhtz
 NRA2
 Proceedings of the 22nd International Conference on Concurrency Theory (CONCUR'11)
 2016
CAV
2016
 Werner Damm, Bernd Finkbeiner, Astrid Rakow
 NRA2
 Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016