Bernd Finkbeiner

Получаване на мой собствен потребителски профил

Позовавания

	Всички	От 2020
Позовавания	6440	3608
h-индекс	43	32
i10-индекс	131	96

860

430

215

645

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202518 36 42 45 57 47 55 69 93 85 105 145 135 214 214 272 274 389 481 489 641 657 826 859 127

Публичен достъп

Преглед на всички

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
Niklas MetzgerCISPA Helmholtz Center for Information SecurityПотвърден имейл адрес: cispa.saarland
Noemi PassingCISPA 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	366	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

Позовавания годишно

Дублирани описания

Обединени библиографски описания

Добавяне на съавториСъавтори

Следене

Позовавания

Съавтори