Bernd Finkbeiner

Cited by

	All	Since 2017
Citations	4225	2544
h-index	35	28
i10-index	92	71

740

370

185

555

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202211 20 40 43 47 59 41 49 68 85 78 110 141 138 210 218 269 262 394 469 502 728 186

Public access

View all

133 articles

4 articles

available

not available

Based on funding mandates

Co-authors

Leander TentrupSaarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Christopher HahnCISPA Helmholtz Center for Information SecurityVerified email at cispa.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
Tomas Uriberelational.aiVerified email at relational.ai
Helmut SeidlProfessor für Informatik, TU MünchenVerified email at in.tum.de
Jesko Hecking-HarbuschRobert Bosch GmbHVerified email at de.bosch.com
Norine CoenenCISPA Helmholtz Center for Information SecurityVerified email at react.uni-saarland.de
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Dr. Lars KuhtzSenior Software Engineer, KadenaVerified email at kadena.io
Manuel GiesekingCarl von Ossietzky Universität OldenburgVerified email at informatik.uni-oldenburg.de
Sriram SankaranarayananProfessor of Computer Science, University of Colorado, BoulderVerified email at colorado.edu
Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityVerified email at msu.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	260	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	214	2014
Uniform distributed synthesis B Finkbeiner, S Schewe 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 321-330, 2005	178	2005
Bounded synthesis B Finkbeiner, S Schewe International Journal on Software Tools for Technology Transfer 15 (5), 519-539, 2013	177	2013
Checking Finite Traces using Alternating Automata B Finkbeiner, H Sipma Runtime Verification 2001 55 (2), 147–163, 2001	162	2001
Bounded synthesis S Schewe, B Finkbeiner International Symposium on Automated Technology for Verification and …, 2007	156	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	137	2015
Collecting statistics over runtime executions B Finkbeiner, S Sankaranarayanan, H Sipma Electronic Notes in Theoretical Computer Science 70 (4), 36-54, 2002	108	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	106	2009
Checking finite traces using alternating automata B Finkbeiner, H Sipma Formal Methods in System Design 24 (2), 101-127, 2004	97	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	81	2012
Encodings of bounded synthesis P Faymonville, B Finkbeiner, MN Rabe, L Tentrup International Conference on Tools and Algorithms for the Construction and …, 2017	69	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	64	2016
BoSy: An experimentation framework for bounded synthesis P Faymonville, B Finkbeiner, L Tentrup International Conference on Computer Aided Verification, 325-332, 2017	63	2017
Slicing abstractions I Brückner, K Dräger, B Finkbeiner, H Wehrheim International Conference on Fundamentals of Software Engineering, 17-32, 2007	59	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	51	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	49	2017
Petri games: Synthesis of distributed systems with causal memory B Finkbeiner, ER Olderog Information and Computation 253, 181-203, 2017	46	2017

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 this author

Cited by

Co-authors