Bernd Finkbeiner

Cited by

	All	Since 2015
Citations	3292	2131
h-index	29	24
i10-index	74	59

500

250

125

375

20002001200220032004200520062007200820092010201120122013201420152016201720182019202014 20 42 42 45 52 40 53 69 80 81 109 151 122 201 213 270 271 388 490 492

Co-authors

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
Christopher HahnCISPA Helmholtz Center for Information SecurityVerified email at react.uni-saarland.de
Markus N RabeGoogleVerified email at google.com
Hazem TorfahUniversity of California, BerkeleyVerified email at berkeley.edu
Peter FaymonvilleITK Engineering GmbHVerified email at react.uni-saarland.de
Klaus DrägerQueen Mary, University of LondonVerified email at qmul.ac.uk
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgVerified email at informatik.uni-oldenburg.de
Tomas Uriberelational.aiVerified email at relational.ai
Rayna DimitrovaCISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Cesar SanchezAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Maximilian SchwengerCISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Helmut SeidlProfessor für Informatik, TU MünchenVerified email at in.tum.de
Dr. Lars KuhtzSenior Software Engineer, KadenaVerified email at kadena.io
Sriram SankaranarayananAssociate Professor of Computer Science, University of Colorado, BoulderVerified email at colorado.edu
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Hans-Jörg PeterHARMAN InternationalVerified email at harman.com
Manuel GiesekingCarl von Ossietzky Universität OldenburgVerified email at informatik.uni-oldenburg.de
Jesko Hecking-HarbuschCISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Ruediger EhlersClausthal University of TechnologyVerified email at tu-clausthal.de

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	209	2005
Uniform distributed synthesis B Finkbeiner, S Schewe 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 321-330, 2005	165	2005
Checking Finite Traces using Alternating Automata B Finkbeiner, H Sipma Runtime Verification 2001 55 (2), 147–163, 2001	156	2001
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	153	2014
Bounded synthesis B Finkbeiner, S Schewe International Journal on Software Tools for Technology Transfer 15 (5-6 …, 2013	150	2013
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	144	2000
Bounded synthesis S Schewe, B Finkbeiner International Symposium on Automated Technology for Verification and …, 2007	139	2007
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	99	2009
Collecting statistics over runtime executions B Finkbeiner, S Sankaranarayanan, H Sipma Electronic Notes in Theoretical Computer Science 70 (4), 36-54, 2002	97	2002
Algorithms for Model Checking HyperLTL and HyperCTL B Finkbeiner, MN Rabe, C Sánchez International Conference on Computer Aided Verification, 30-48, 2015	96	2015
Checking finite traces using alternating automata B Finkbeiner, H Sipma Formal Methods in System Design 24 (2), 101-127, 2004	91	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	66	2012
Synthesis of asynchronous systems S Schewe, B Finkbeiner International Symposium on Logic-Based Program Synthesis and Transformation …, 2006	63	2006
Slicing abstractions I Brückner, K Dräger, B Finkbeiner, H Wehrheim International Conference on Fundamentals of Software Engineering, 17-32, 2007	55	2007
Encodings of bounded synthesis P Faymonville, B Finkbeiner, MN Rabe, L Tentrup International Conference on Tools and Algorithms for the Construction and …, 2017	49	2017
Deciding hyperproperties B Finkbeiner, C Hahn arXiv preprint arXiv:1606.07047, 2016	47	2016
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	42	2010
BoSy: An experimentation framework for bounded synthesis P Faymonville, B Finkbeiner, L Tentrup International Conference on Computer Aided Verification, 325-332, 2017	41	2017
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	41	2001
A stream-based specification language for network monitoring P Faymonville, B Finkbeiner, S Schirmer, H Torfah International Conference on Runtime Verification, 152-168, 2016	40	2016

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

Upload PDF

Follow this author

Cited by

Co-authors