Bernd Finkbeiner

צוטט על ידי

	הכל	מאז 2020
ציטוטים ביבליוגרפיים	6446	3612
H-index	43	32
i10-index	131	96

860

430

215

645

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202518 36 42 45 57 47 55 69 93 85 106 144 135 214 214 272 274 389 483 487 641 657 826 860 132

גישה ציבורית

הצג הכל

145 מאמרים

6 מאמרים

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Christopher HahnX, the moonshot factory (Google X)כתובת אימייל מאומתת בדומיין google.com
Leander TentrupSaarland University, Saarland Informatics Campusכתובת אימייל מאומתת בדומיין cs.uni-saarland.de
Sven ScheweProfessor of Computer Science, University of Liverpoolכתובת אימייל מאומתת בדומיין liverpool.ac.uk
Markus N RabeAugmentכתובת אימייל מאומתת בדומיין augmentcode.com
Hazem TorfahAssistant Professor, CSE, Chalmers University of Technologyכתובת אימייל מאומתת בדומיין chalmers.se
Peter FaymonvilleITK Engineeringכתובת אימייל מאומתת בדומיין faymonville.de
Cesar SanchezProfessor, IMDEA Software Instituteכתובת אימייל מאומתת בדומיין imdea.org
Raven BeutnerCISPA Helmholtz Center for Information Securityכתובת אימייל מאומתת בדומיין cispa.de
Maximilian SchwengerCISPA Helmholtz Center for Information Securityכתובת אימייל מאומתת בדומיין cispa.saarland
Ernst-Ruediger OlderogProfessor für Informatik, Universität Oldenburgכתובת אימייל מאומתת בדומיין informatik.uni-oldenburg.de
Jan BaumeisterCISPA Helmholtz Center for Information Securityכתובת אימייל מאומתת בדומיין cispa.saarland
Klaus DrägerQueen Mary, University of Londonכתובת אימייל מאומתת בדומיין qmul.ac.uk
Norine CoenenCISPA Helmholtz Center for Information Securityכתובת אימייל מאומתת בדומיין react.uni-saarland.de
Noemi PassingCISPA Helmholtz Center for Information Securityכתובת אימייל מאומתת בדומיין cispa.saarland
Niklas MetzgerCISPA Helmholtz Center for Information Securityכתובת אימייל מאומתת בדומיין cispa.saarland
Sebastian SchirmerDLR, Institute of Flight Systems, Department Unmanned Aircraft, Braunschweig, Germanyכתובת אימייל מאומתת בדומיין dlr.de
Frederik SchmittPh.D. student at CISPA Helmholtz Center for Information Security and Saarland Universityכתובת אימייל מאומתת בדומיין cispa.de
Rayna DimitrovaCISPA Helmholtz Center for Information Securityכתובת אימייל מאומתת בדומיין cispa.de
Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State Universityכתובת אימייל מאומתת בדומיין msu.edu
Jana HofmannTenure-Track Faculty at MPI-SPכתובת אימייל מאומתת בדומיין mpi-sp.org

עקוב אחר

Bernd Finkbeiner

Professor of Computer Science, CISPA Helmholtz Center for Information Security

כתובת אימייל מאומתת בדומיין cispa.de - דף הבית

Reactive Systems Verification Synthesis Temporal Logic


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
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‏	382	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‏	367	2014
Bounded synthesis‏ B Finkbeiner, S Schewe‏ International Journal on Software Tools for Technology Transfer 15 (5), 519-539, 2013‏	220	2013
Uniform distributed synthesis‏ B Finkbeiner, S Schewe‏ 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 321-330, 2005‏	202	2005
Algorithms for model checking HyperLTL and HyperCTL‏ B Finkbeiner, MN Rabe, C Sánchez‏ International Conference on Computer Aided Verification, 30-48, 2015‏	200	2015
Bounded synthesis‏ S Schewe, B Finkbeiner‏ International symposium on automated technology for verification and …, 2007‏	190	2007
Checking Finite Traces using Alternating Automata‏ B Finkbeiner, H Sipma‏ Runtime Verification 2001 55 (2), 147–163, 2001‏	181	2001
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‏	153	2000
Checking finite traces using alternating automata‏ B Finkbeiner, H Sipma‏ Formal Methods in System Design 24 (2), 101-127, 2004‏	138	2004
Collecting statistics over runtime executions‏ B Finkbeiner, S Sankaranarayanan, H Sipma‏ Electronic Notes in Theoretical Computer Science 70 (4), 36-54, 2002‏	117	2002
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‏	96	2019
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‏	93	2012
Directed model checking with distance-preserving abstractions‏ K Dräger, B Finkbeiner, A Podelski‏ Model Checking Software: 13th International SPIN Workshop, Vienna, Austria …, 2006‏	91	2006
Synthesis of reactive systems‏ B Finkbeiner‏ Dependable Software Systems Engineering, 72-98, 2016‏	90	2016
Bosy: An experimentation framework for bounded synthesis‏ P Faymonville, B Finkbeiner, L Tentrup‏ International Conference on Computer Aided Verification, 325-332, 2017‏	89	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‏	85	2017
Deciding hyperproperties‏ B Finkbeiner, C Hahn‏ arXiv preprint arXiv:1606.07047, 2016‏	85	2016
Verifying hyperliveness‏ N Coenen, B Finkbeiner, C Sánchez, L Tentrup‏ Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019‏	81	2019
A stream-based specification language for network monitoring‏ P Faymonville, B Finkbeiner, S Schirmer, H Torfah‏ International Conference on Runtime Verification, 152-168, 2016‏	78	2016
Teaching temporal logics to neural networks‏ C Hahn, F Schmitt, JU Kreber, MN Rabe, B Finkbeiner‏ arXiv preprint arXiv:2003.04218, 2020‏	73	2020

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים