Bernd Finkbeiner

Citované v

	Všetky	Od 2020
Citácie	6440	3608
h-index	43	32
i10-index	131	96

860

430

215

645

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202518 36 42 45 57 47 55 68 94 85 105 145 135 214 214 272 274 389 481 489 641 657 826 860 126

Verejný prístup

všetky položky

145 článkov

6 článkov

dostupné

nedostupné

Na základe mandátov na financovanie

Spoluautori

Christopher HahnX, the moonshot factory (Google X)Overená e-mailová adresa na: google.com
Leander TentrupSaarland University, Saarland Informatics CampusOverená e-mailová adresa na: cs.uni-saarland.de
Sven ScheweProfessor of Computer Science, University of LiverpoolOverená e-mailová adresa na: liverpool.ac.uk
Markus N RabeAugmentOverená e-mailová adresa na: augmentcode.com
Hazem TorfahAssistant Professor, CSE, Chalmers University of TechnologyOverená e-mailová adresa na: chalmers.se
Peter FaymonvilleITK EngineeringOverená e-mailová adresa na: faymonville.de
Cesar SanchezProfessor, IMDEA Software InstituteOverená e-mailová adresa na: imdea.org
Raven BeutnerCISPA Helmholtz Center for Information SecurityOverená e-mailová adresa na: cispa.de
Maximilian SchwengerCISPA Helmholtz Center for Information SecurityOverená e-mailová adresa na: cispa.saarland
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgOverená e-mailová adresa na: informatik.uni-oldenburg.de
Jan BaumeisterCISPA Helmholtz Center for Information SecurityOverená e-mailová adresa na: cispa.saarland
Klaus DrägerQueen Mary, University of LondonOverená e-mailová adresa na: qmul.ac.uk
Norine CoenenCISPA Helmholtz Center for Information SecurityOverená e-mailová adresa na: react.uni-saarland.de
Niklas MetzgerCISPA Helmholtz Center for Information SecurityOverená e-mailová adresa na: cispa.saarland
Noemi PassingCISPA Helmholtz Center for Information SecurityOverená e-mailová adresa na: cispa.saarland
Sebastian SchirmerDLR, Institute of Flight Systems, Department Unmanned Aircraft, Braunschweig, GermanyOverená e-mailová adresa na: dlr.de
Frederik SchmittPh.D. student at CISPA Helmholtz Center for Information Security and Saarland UniversityOverená e-mailová adresa na: cispa.de
Rayna DimitrovaCISPA Helmholtz Center for Information SecurityOverená e-mailová adresa na: cispa.de
Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityOverená e-mailová adresa na: msu.edu
Jana HofmannTenure-Track Faculty at MPI-SPOverená e-mailová adresa na: mpi-sp.org

Sledovať

Bernd Finkbeiner

Professor of Computer Science, CISPA Helmholtz Center for Information Security

Overená e-mailová adresa na: cispa.de - Domovská stránka

Reactive Systems Verification Synthesis Temporal Logic


Názov Zoradiť podľa citácií Zoradiť podľa roka Zoradiť podľa názvu	Citované v Citované v	Rok
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

Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.

Články 1–20

Citácie za rok

Duplicitné citácie

Zlúčené citácie

Pridať spoluautorovSpoluautori

Sledovať

Citované v

Spoluautori