Bernd Finkbeiner
Bernd Finkbeiner
Professor of Computer Science, CISPA Helmholtz Center for Information Security
Bestätigte E-Mail-Adresse bei - Startseite
Zitiert von
Zitiert von
LOLA: runtime monitoring of synchronous systems
B d'Angelo, S Sankaranarayanan, C Sánchez, W Robinson, B Finkbeiner, ...
12th International Symposium on Temporal Representation and Reasoning (TIME …, 2005
Temporal logics for hyperproperties
MR Clarkson, B Finkbeiner, M Koleini, KK Micinski, MN Rabe, C Sánchez
Principles of Security and Trust: Third International Conference, POST 2014 …, 2014
Bounded synthesis
B Finkbeiner, S Schewe
International Journal on Software Tools for Technology Transfer 15 (5-6 …, 2013
Uniform distributed synthesis
B Finkbeiner, S Schewe
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 321-330, 2005
Checking Finite Traces using Alternating Automata
B Finkbeiner, H Sipma
Runtime Verification 2001 55 (2), 147–163, 2001
Bounded synthesis
S Schewe, B Finkbeiner
Automated Technology for Verification and Analysis: 5th International …, 2007
Algorithms for model checking HyperLTL and HyperCTL
B Finkbeiner, MN Rabe, C Sánchez
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
Verifying temporal properties of reactive systems: A STeP tutorial
NS Bjørner, A Browne, MA Colón, B Finkbeiner, Z Manna, HB Sipma, ...
Formal Methods in System Design 16 (3), 227-270, 2000
Directed model checking with distance-preserving abstractions
K Dräger, B Finkbeiner, A Podelski
International Journal on Software Tools for Technology Transfer 11, 27-37, 2009
Collecting statistics over runtime executions
B Finkbeiner, S Sankaranarayanan, H Sipma
Electronic Notes in Theoretical Computer Science 70 (4), 36-54, 2002
Checking finite traces using alternating automata
B Finkbeiner, H Sipma
Formal Methods in System Design 24 (2), 101-127, 2004
Model Checking Information Flow in Reactive Systems.
R Dimitrova, B Finkbeiner, M Kovács, MN Rabe, H Seidl
VMCAI, 169-185, 2012
BoSy: An experimentation framework for bounded synthesis
P Faymonville, B Finkbeiner, L Tentrup
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
Encodings of bounded synthesis
P Faymonville, B Finkbeiner, MN Rabe, L Tentrup
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
Deciding hyperproperties
B Finkbeiner, C Hahn
arXiv preprint arXiv:1606.07047, 2016
Synthesis of asynchronous systems
S Schewe, B Finkbeiner
Logic-Based Program Synthesis and Transformation: 16th International …, 2007
StreamLAB: stream-based monitoring of cyber-physical systems
P Faymonville, B Finkbeiner, M Schledjewski, M Schwenger, M Stenger, ...
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
Slicing abstractions
I Brückner, K Dräger, B Finkbeiner, H Wehrheim
International Symposium on Fundamentals of Software Engineering …, 2007
The 4th reactive synthesis competition (SYNTCOMP 2017): Benchmarks, participants & results
S Jacobs, N Basset, R Bloem, R Brenguier, M Colange, P Faymonville, ...
arXiv preprint arXiv:1711.11439, 2017
A stream-based specification language for network monitoring
P Faymonville, B Finkbeiner, S Schirmer, H Torfah
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20