Bernd Finkbeiner

Cited by

	All	Since 2018
Citations	5214	3284
h-index	39	31
i10-index	112	86

660

330

165

495

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202316 36 40 45 62 39 51 66 88 80 105 148 134 207 212 272 265 391 465 490 648 634 656

Public access

View all

127 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Christopher HahnStanford UniversityVerified email at stanford.edu
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 RabeStartupVerified email at augmentcode.com
Peter FaymonvilleITK EngineeringVerified email at faymonville.de
Hazem TorfahChalmers University of TechnologyVerified email at chalmers.se
Maximilian SchwengerCISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Cesar SanchezAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgVerified email at informatik.uni-oldenburg.de
Norine CoenenCISPA Helmholtz Center for Information SecurityVerified email at react.uni-saarland.de
Klaus DrägerQueen Mary, University of LondonVerified email at qmul.ac.uk
Rayna DimitrovaCISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Noemi PassingCISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Raven BeutnerCISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Helmut SeidlProfessor für Informatik, TU MünchenVerified email at in.tum.de
Jan BaumeisterCISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Jana HofmannPostdoc. Researcher, Azure Research, MicrosoftVerified email at microsoft.com
Manuel GiesekingCarl von Ossietzky Universität OldenburgVerified email at informatik.uni-oldenburg.de
Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityVerified email at msu.edu
Jesko Hecking-HarbuschRobert Bosch GmbHVerified email at de.bosch.com

Bernd Finkbeiner

Professor of Computer Science, CISPA Helmholtz Center for Information Security

Verified email at cispa.de - 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	313	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	281	2014
Bounded synthesis B Finkbeiner, S Schewe International Journal on Software Tools for Technology Transfer 15 (5-6 …, 2013	198	2013
Uniform distributed synthesis B Finkbeiner, S Schewe 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 321-330, 2005	188	2005
Checking Finite Traces using Alternating Automata B Finkbeiner, H Sipma Runtime Verification 2001 55 (2), 147–163, 2001	168	2001
Algorithms for model checking HyperLTL and HyperCTL B Finkbeiner, MN Rabe, C Sánchez International Conference on Computer Aided Verification, 30-48, 2015	167	2015
Bounded synthesis S Schewe, B Finkbeiner International symposium on automated technology for verification and …, 2007	164	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	151	2000
Checking finite traces using alternating automata B Finkbeiner, H Sipma Formal Methods in System Design 24 (2), 101-127, 2004	129	2004
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	114	2009
Collecting statistics over runtime executions B Finkbeiner, S Sankaranarayanan, H Sipma Electronic Notes in Theoretical Computer Science 70 (4), 36-54, 2002	110	2002
Model checking information flow in reactive systems R Dimitrova, B Finkbeiner, M Kovács, MN Rabe, H Seidl Verification, Model Checking, and Abstract Interpretation: 13th …, 2012	86	2012
Bosy: An experimentation framework for bounded synthesis P Faymonville, B Finkbeiner, L Tentrup International Conference on Computer Aided Verification, 325-332, 2017	77	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	75	2017
Deciding hyperproperties B Finkbeiner, C Hahn arXiv preprint arXiv:1606.07047, 2016	74	2016
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	73	2019
Synthesis of asynchronous systems S Schewe, B Finkbeiner International Symposium on Logic-Based Program Synthesis and Transformation …, 2006	68	2006
Synthesis of Reactive Systems. B Finkbeiner Dependable Software Systems Engineering 45, 72-98, 2016	65	2016
A stream-based specification language for network monitoring P Faymonville, B Finkbeiner, S Schirmer, H Torfah International Conference on Runtime Verification, 152-168, 2016	64	2016
Slicing abstractions I Brückner, K Dräger, B Finkbeiner, H Wehrheim International Symposium on Fundamentals of Software Engineering …, 2007	62	2007

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