Bernd Finkbeiner

Citée par

	Toutes	Depuis 2018
Citations	5403	3466
indice h	39	32
indice i10	117	91

840

420

210

630

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202316 36 40 45 62 39 51 66 87 81 106 147 134 206 213 272 266 390 468 489 643 636 825

Accès public

Tout afficher

129 articles

4 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Christopher HahnX, the moonshot factory (Google X)Adresse e-mail validée de google.com
Leander TentrupSaarland University, Saarland Informatics CampusAdresse e-mail validée de cs.uni-saarland.de
Sven ScheweProfessor of Computer Science, University of LiverpoolAdresse e-mail validée de liverpool.ac.uk
Markus N RabeStartupAdresse e-mail validée de augmentcode.com
Peter FaymonvilleITK EngineeringAdresse e-mail validée de faymonville.de
Hazem TorfahAssistant Professor, Chalmers University of TechnologyAdresse e-mail validée de chalmers.se
Maximilian SchwengerCISPA Helmholtz Center for Information SecurityAdresse e-mail validée de cispa.saarland
Cesar SanchezResearch Professor, IMDEA Software InstituteAdresse e-mail validée de imdea.org
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgAdresse e-mail validée de informatik.uni-oldenburg.de
Norine CoenenCISPA Helmholtz Center for Information SecurityAdresse e-mail validée de react.uni-saarland.de
Klaus DrägerQueen Mary, University of LondonAdresse e-mail validée de qmul.ac.uk
Rayna DimitrovaCISPA Helmholtz Center for Information SecurityAdresse e-mail validée de cispa.de
Noemi PassingCISPA Helmholtz Center for Information SecurityAdresse e-mail validée de cispa.saarland
Raven BeutnerCISPA Helmholtz Center for Information SecurityAdresse e-mail validée de cispa.de
Helmut SeidlProfessor für Informatik, TU MünchenAdresse e-mail validée de in.tum.de
Jana HofmannPostdoc at Azure Research, MicrosoftAdresse e-mail validée de microsoft.com
Jan BaumeisterCISPA Helmholtz Center for Information SecurityAdresse e-mail validée de cispa.saarland
Manuel GiesekingCarl von Ossietzky Universität OldenburgAdresse e-mail validée de informatik.uni-oldenburg.de
Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityAdresse e-mail validée de msu.edu
Jesko Hecking-HarbuschRobert Bosch GmbHAdresse e-mail validée de de.bosch.com

Suivre

Bernd Finkbeiner

Professor of Computer Science, CISPA Helmholtz Center for Information Security

Adresse e-mail validée de cispa.de - Page d'accueil

Reactive Systems Verification Synthesis Temporal Logic


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	329	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	292	2014
Bounded synthesis B Finkbeiner, S Schewe International Journal on Software Tools for Technology Transfer 15 (5-6 …, 2013	202	2013
Uniform distributed synthesis B Finkbeiner, S Schewe 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 321-330, 2005	193	2005
Algorithms for model checking HyperLTL and HyperCTL B Finkbeiner, MN Rabe, C Sánchez International Conference on Computer Aided Verification, 30-48, 2015	174	2015
Checking Finite Traces using Alternating Automata B Finkbeiner, H Sipma Runtime Verification 2001 55 (2), 147–163, 2001	172	2001
Bounded synthesis S Schewe, B Finkbeiner International symposium on automated technology for verification and …, 2007	167	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	133	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	112	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	88	2012
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	79	2019
Bosy: An experimentation framework for bounded synthesis P Faymonville, B Finkbeiner, L Tentrup International Conference on Computer Aided Verification, 325-332, 2017	78	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	77	2017
Deciding hyperproperties B Finkbeiner, C Hahn arXiv preprint arXiv:1606.07047, 2016	76	2016
Synthesis of asynchronous systems S Schewe, B Finkbeiner International Symposium on Logic-Based Program Synthesis and Transformation …, 2006	69	2006
A stream-based specification language for network monitoring P Faymonville, B Finkbeiner, S Schirmer, H Torfah International Conference on Runtime Verification, 152-168, 2016	67	2016
Synthesis of Reactive Systems. B Finkbeiner Dependable Software Systems Engineering 45, 72-98, 2016	66	2016
Verifying hyperliveness N Coenen, B Finkbeiner, C Sánchez, L Tentrup Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019	64	2019

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs