Bernd Finkbeiner

Cited by

	All	Since 2017
Citations	4429	2738
h-index	36	28
i10-index	96	74

700

350

175

525

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202211 19 39 41 48 60 41 49 68 86 78 111 140 138 210 218 267 266 395 487 493 684 406

Public access

View all

134 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Christopher HahnCISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Leander TentrupSaarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Sven ScheweProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Markus N RabeGoogleVerified email at google.com
Peter FaymonvilleITK Engineering GmbHVerified email at react.uni-saarland.de
Hazem TorfahUniversity of California, BerkeleyVerified email at berkeley.edu
Cesar SanchezAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Maximilian SchwengerCISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgVerified email at informatik.uni-oldenburg.de
Klaus DrägerQueen Mary, University of LondonVerified email at qmul.ac.uk
Rayna DimitrovaCISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Norine CoenenCISPA Helmholtz Center for Information SecurityVerified email at react.uni-saarland.de
Tomas Uriberelational.aiVerified email at relational.ai
Helmut SeidlProfessor für Informatik, TU MünchenVerified email at in.tum.de
Manuel GiesekingCarl von Ossietzky Universität OldenburgVerified email at informatik.uni-oldenburg.de
Jesko Hecking-HarbuschRobert Bosch GmbHVerified email at de.bosch.com
Noemi PassingCISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Dr. Lars KuhtzSenior Software Engineer, KadenaVerified email at kadena.io
Sriram SankaranarayananProfessor of Computer Science, University of Colorado, BoulderVerified email at colorado.edu

Bernd Finkbeiner

Professor of Computer Science, CISPA Helmholtz Center for Information Security

Verified email at cispa.saarland - Homepage

Reactive Systems Verification Synthesis Temporal Logic


Title Sort by citations Sort by year Sort by 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	268	2005
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	229	2014
Uniform distributed synthesis B Finkbeiner, S Schewe 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 321-330, 2005	180	2005
Bounded synthesis B Finkbeiner, S Schewe International Journal on Software Tools for Technology Transfer 15 (5), 519-539, 2013	178	2013
Checking Finite Traces using Alternating Automata B Finkbeiner, H Sipma Runtime Verification 2001 55 (2), 147–163, 2001	164	2001
Bounded synthesis S Schewe, B Finkbeiner International symposium on automated technology for verification and …, 2007	159	2007
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	150	2000
Algorithms for Model Checking HyperLTL and HyperCTL B Finkbeiner, MN Rabe, C Sánchez International Conference on Computer Aided Verification, 30-48, 2015	148	2015
Collecting statistics over runtime executions B Finkbeiner, S Sankaranarayanan, H Sipma Electronic Notes in Theoretical Computer Science 70 (4), 36-54, 2002	107	2002
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	105	2009
Checking finite traces using alternating automata B Finkbeiner, H Sipma Formal Methods in System Design 24 (2), 101-127, 2004	99	2004
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	85	2012
Encodings of bounded synthesis P Faymonville, B Finkbeiner, MN Rabe, L Tentrup International Conference on Tools and Algorithms for the Construction and …, 2017	72	2017
Synthesis of asynchronous systems S Schewe, B Finkbeiner International Symposium on Logic-Based Program Synthesis and Transformation …, 2006	68	2006
Deciding hyperproperties B Finkbeiner, C Hahn arXiv preprint arXiv:1606.07047, 2016	67	2016
BoSy: An experimentation framework for bounded synthesis P Faymonville, B Finkbeiner, L Tentrup International Conference on Computer Aided Verification, 325-332, 2017	65	2017
Slicing abstractions I Brückner, K Dräger, B Finkbeiner, H Wehrheim International Conference on Fundamentals of Software Engineering, 17-32, 2007	60	2007
A stream-based specification language for network monitoring P Faymonville, B Finkbeiner, S Schirmer, H Torfah International Conference on Runtime Verification, 152-168, 2016	55	2016
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	52	2017
StreamLAB: stream-based monitoring of cyber-physical systems P Faymonville, B Finkbeiner, M Schledjewski, M Schwenger, M Stenger, ... International Conference on Computer Aided Verification, 421-431, 2019	51	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors