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 Meta
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results 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.
Runtime Verification for HyperLTL 2016  2016   Borzoo Bonakdarpour, Bernd Finkbeiner  Proceedings of the 16th International Conference on Runtime Verification (RV'2016)
What You Really Need To Know About Your Neighbor 2016  2016   Werner Damm, Bernd Finkbeiner, Astrid Rakow  Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016
A Stream-Based Specification Language for Network Monitoring 2016  2016   Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah  Proceedings of the 16th International Conference on Runtime Verification (RV'2016)
Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents 2016  2016   Bernd Finkbeiner, Helmut Seidl, Christian Müller  Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016)
Adam: Causality-Based Synthesis of Distributed Systems 2015  2015   Bernd Finkbeiner, Manuel Gieseking, Ernst-Rüdiger Olderog  Proc. of the 27th International Conference on Computer Aided Verification (CAV 2015)
Algorithms for Model Checking HyperLTL and HyperCTL ^* 2015  2015   Bernd Finkbeiner, Markus N. Rabe, Cesar Sanchez  Proc. of the 27th International Conference on Computer Aided Verification (CAV 2015)
Temporal Logics for Hyperproperties 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)
Automatic Compositional Synthesis of Distributed Systems 2014  2014   Werner Damm, Bernd Finkbeiner  Proceedings of the 19th International Symposium on Formal Methods (FM'14)
Monitoring Parametric Temporal Logic 2014  2014   Peter Faymonville, Bernd Finkbeiner, Doron Peled  Proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'14)
Petri Games: Synthesis of Distributed Systems with Causal Memory 2014  2014   Bernd Finkbeiner, Ernst-Rüdiger Olderog  Proceedings of Fifth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2014)
Detecting Unrealizable Specifications of Distributed Systems 2014  2014   Bernd Finkbeiner, Leander Tentrup  Proc. 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 14)
Fast DQBF refutation 2014  2014   Bernd Finkbeiner, Leander Tentrup  Theory and Applications of Satisfiability Testing (SAT 2014)
Counting Models of Linear-Time Temporal Logic 2014  2014   Bernd Finkbeiner, Hazem Torfah  8th International Conference on Language and Automata Theory and Applications (LATA 2014)
Causal Termination of Multi-threaded Programs 2014  2014   Andrey Kupriyanov, Bernd Finkbeiner  Proc. of the 26th International Conference on Computer Aided Verification (CAV 2014)
Relational Abstract Interpretation for the Verification of 2-Hypersafety Properties 2013  2013   Bernd Finkbeiner, Helmut Seidl, Máté Kovács  Proceedings of the 20th ACM Conference on Computer and Communications Security (CCS '13)
Lossy Channel Games under Incomplete Information 2013  2013   Rayna Dimitrova, Bernd Finkbeiner  Proceedings 1st International Workshop on Strategic Reasoning (SR'13)
Bounded synthesis 2013  2013   Bernd Finkbeiner, Sven Schewe  International Journal on Software Tools for Technology Transfer (STTT'13)
Relational abstract interpretation for the verification of 2-hypersafety properties 2013  2013   Máté Kovács, Helmut Seidl, Bernd Finkbeiner  Proc. of the 20th ACM Conference on Computer and Communication Security (CCS 2013)
Causality-Based Verification of Multi-threaded Programs 2013  2013   Andrey Kupriyanov, Bernd Finkbeiner  Proc. of the 24th International Conference on Concurrency Theory (CONCUR 2013)
Counterexample-Guided Synthesis of Observation Predicates 2012  2012   Rayna Dimitrova, Bernd Finkbeiner  Proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'12)
Model Checking Information Flow in Reactive Systems 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)
Monitoring Temporal Information Flow 2012  2012   Rayna Dimitrova, Bernd Finkbeiner, Markus N. Rabe  Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
Monitoring Realizability 2012  2012   Rüdiger Ehlers, Bernd Finkbeiner  Proceedings of the Second International Conference on Runtime Verification (RV'11)
Lazy Synthesis 2012  2012   Bernd Finkbeiner, Swen Jacobs  Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'12)
Template-Based Controller Synthesis for Timed Systems 2012  2012   Bernd Finkbeiner, Hans-Jörg Peter  Proc. 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 12)
Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds 2012  2012   Lars Kuhtz, Bernd Finkbeiner  Logical Methods in Computer Science (LMCS'12)
The Complexity of Bounded Synthesis for Timed Control with Partial Observability 2012  2012   Hans-Jörg Peter, Bernd Finkbeiner  Proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'12)
Does It Pay to Extend the Perimeter of a World Model? 2011  2011   Werner Damm, Bernd Finkbeiner  Proceedings of the 17th International Symposium on Formal Methods (FM'11)
Reactive Safety 2011  2011   Rüdiger Ehlers, Bernd Finkbeiner  Proceedings of Second International Symposium on Games, Automata3Logics and Formal Verification (GandALF 2011)
Weak Kripke Structures and LTL 2011  2011   Bernd Finkbeiner, Lars Kuhtz  Proceedings of the 22nd International Conference on Concurrency Theory (CONCUR'11)