Bernd Finkbeiner
Bernd Finkbeiner
Professor of Computer Science, CISPA Helmholtz Center for Information Security
Verified email at cispa.saarland - Homepage
Title
Cited by
Cited by
Year
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
1932005
Uniform distributed synthesis
B Finkbeiner, S Schewe
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 321-330, 2005
1622005
Checking Finite Traces using Alternating Automata
B Finkbeiner, H Sipma
Runtime Verification 2001 55 (2), 147–163, 2001
1532001
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
1432000
Bounded synthesis
B Finkbeiner, S Schewe
International Journal on Software Tools for Technology Transfer 15 (5-6 …, 2013
1422013
Temporal logics for hyperproperties
MR Clarkson, B Finkbeiner, M Koleini, KK Micinski, MN Rabe, C Sánchez
International Conference on Principles of Security and Trust, 265-284, 2014
1392014
Bounded synthesis
S Schewe, B Finkbeiner
International Symposium on Automated Technology for Verification and …, 2007
1382007
Directed model checking with distance-preserving abstractions
K Dräger, B Finkbeiner, A Podelski
International Journal on Software Tools for Technology Transfer 11 (1), 27-37, 2009
972009
Collecting statistics over runtime executions
B Finkbeiner, S Sankaranarayanan, H Sipma
Electronic Notes in Theoretical Computer Science 70 (4), 36-54, 2002
952002
Checking finite traces using alternating automata
B Finkbeiner, H Sipma
Formal Methods in System Design 24 (2), 101-127, 2004
892004
Algorithms for Model Checking HyperLTL and HyperCTL
B Finkbeiner, MN Rabe, C Sánchez
International Conference on Computer Aided Verification, 30-48, 2015
862015
Model checking information flow in reactive systems
R Dimitrova, B Finkbeiner, M Kovács, MN Rabe, H Seidl
International Workshop on Verification, Model Checking, and Abstract …, 2012
642012
Synthesis of asynchronous systems
S Schewe, B Finkbeiner
International Symposium on Logic-Based Program Synthesis and Transformation …, 2006
632006
Slicing abstractions
I Brückner, K Dräger, B Finkbeiner, H Wehrheim
International Conference on Fundamentals of Software Engineering, 17-32, 2007
552007
Encodings of bounded synthesis
P Faymonville, B Finkbeiner, MN Rabe, L Tentrup
International Conference on Tools and Algorithms for the Construction and …, 2017
472017
Deciding hyperproperties
B Finkbeiner, C Hahn
arXiv preprint arXiv:1606.07047, 2016
432016
SLAB: A certifying model checker for infinite-state concurrent systems
K Dräger, A Kupriyanov, B Finkbeiner, H Wehrheim
International Conference on Tools and Algorithms for the Construction and …, 2010
422010
Using message sequence charts for component-based formal verification
B Finkbeiner, I Krüger
Proceedings of the OOPSLA workshop on Specification and Verification of …, 2001
412001
Coordination logic
B Finkbeiner, S Schewe
International Workshop on Computer Science Logic, 305-319, 2010
402010
Satisfiability and finite model property for the alternating-time μ-calculus
S Schewe, B Finkbeiner
International Workshop on Computer Science Logic, 591-605, 2006
382006
The system can't perform the operation now. Try again later.
Articles 1–20