Quicklinks
Decorative photo of one of the top-corners of the CISPA building
Portrait of Person: Bernd Finkbeiner

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

Publications:

Title Date Date
 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
 Proceedings Sixth Workshop on Synthesis, SYNT 2017, Heidelberg, Germany, 22nd July 2017.
 2016
2016
 Borzoo Bonakdarpour, Bernd Finkbeiner
 Proceedings of the 16th International Conference on Runtime Verification (RV'2016)
 2016
CAV
2016
 Werner Damm, Bernd Finkbeiner, Astrid Rakow
 Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016
 2016
2016
 Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah
 Proceedings of the 16th International Conference on Runtime Verification (RV'2016)
 2016
ATVA
2016
 Bernd Finkbeiner, Helmut Seidl, Christian Müller
 Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016)
 2015
CAV
2015
 Bernd Finkbeiner, Manuel Gieseking, Ernst-Rüdiger Olderog
 Proc. of the 27th International Conference on Computer Aided Verification (CAV 2015)
 2015
CAV
2015
 Bernd Finkbeiner, Markus N. Rabe, Cesar Sanchez
 Proc. of the 27th International Conference on Computer Aided Verification (CAV 2015)
 2014
2014
 Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, Cesar Sanchez
 Proc. of the 3rd Conference on Principles of Security and Trust (POST 2014)
 2014
2014
 Werner Damm, Bernd Finkbeiner
 Proceedings of the 19th International Symposium on Formal Methods (FM'14)
 2014
2014
 Peter Faymonville, Bernd Finkbeiner, Doron Peled
 Proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'14)
 2014
2014
 Bernd Finkbeiner, Ernst-Rüdiger Olderog
 Proceedings of Fifth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2014)
 2014
TACAS
2014
 Bernd Finkbeiner, Leander Tentrup
 Proc. 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 14)
 2014
SAT
2014
 Bernd Finkbeiner, Leander Tentrup
 Theory and Applications of Satisfiability Testing (SAT 2014)
 2014
2014
 Bernd Finkbeiner, Hazem Torfah
 8th International Conference on Language and Automata Theory and Applications (LATA 2014)
 2014
CAV
2014
 Andrey Kupriyanov, Bernd Finkbeiner
 Proc. of the 26th International Conference on Computer Aided Verification (CAV 2014)
 2013
CCS
2013
 Bernd Finkbeiner, Helmut Seidl, Máté Kovács
 Proceedings of the 20th ACM Conference on Computer and Communications Security (CCS '13)
 2013
2013
 Rayna Dimitrova, Bernd Finkbeiner
 Proceedings 1st International Workshop on Strategic Reasoning (SR'13)
 2013
2013
 Bernd Finkbeiner, Sven Schewe
 International Journal on Software Tools for Technology Transfer (STTT'13)
 2013
CCS
2013
 Máté Kovács, Helmut Seidl, Bernd Finkbeiner
 Proc. of the 20th ACM Conference on Computer and Communication Security (CCS 2013)
 2013
CONCUR
2013
 Andrey Kupriyanov, Bernd Finkbeiner
 Proc. of the 24th International Conference on Concurrency Theory (CONCUR 2013)
 2012
2012
 Rayna Dimitrova, Bernd Finkbeiner
 Proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'12)
 2012
2012
 Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, Markus N. Rabe, Helmut Seidl
 Proc. 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
 2012
2012
 Rayna Dimitrova, Bernd Finkbeiner, Markus N. Rabe
 Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
 2012
2012
 Rüdiger Ehlers, Bernd Finkbeiner
 Proceedings of the Second International Conference on Runtime Verification (RV'11)
 2012
2012
 Bernd Finkbeiner, Swen Jacobs
 Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'12)
 2012
TACAS
2012
 Bernd Finkbeiner, Hans-Jörg Peter
 Proc. 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 12)
 2012
2012
 Lars Kuhtz, Bernd Finkbeiner
 Logical Methods in Computer Science (LMCS'12)
 2012
2012
 Hans-Jörg Peter, Bernd Finkbeiner
 Proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'12)
 2011
2011
 Werner Damm, Bernd Finkbeiner
 Proceedings of the 17th International Symposium on Formal Methods (FM'11)
 2011
2011
 Rüdiger Ehlers, Bernd Finkbeiner
 Proceedings of Second International Symposium on Games, Automata3Logics and Formal Verification (GandALF 2011)
 2011
CONCUR
2011
 Bernd Finkbeiner, Lars Kuhtz
 Proceedings of the 22nd International Conference on Concurrency Theory (CONCUR'11)