Bernd Finkbeiner 个人学术档案

引用次数

	总计	2019 年至今
引用	5773	3460
h 指数	40	32
i10 指数	124	92

840

420

210

630

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202417 36 43 45 58 40 51 67 88 81 105 149 134 203 207 270 272 385 473 484 628 653 824 392

开放获取的出版物数量

查看全部

135 篇文章

4 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

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 的电子邮件经过验证
Maximilian SchwengerCISPA Helmholtz Center for Information Security在 cispa.saarland 的电子邮件经过验证
Cesar SanchezResearch Professor, IMDEA Software Institute在 imdea.org 的电子邮件经过验证
Ernst-Ruediger OlderogProfessor für Informatik, Universität Oldenburg在 informatik.uni-oldenburg.de 的电子邮件经过验证
Raven BeutnerCISPA Helmholtz Center for Information Security在 cispa.de 的电子邮件经过验证
Norine CoenenCISPA Helmholtz Center for Information Security在 react.uni-saarland.de 的电子邮件经过验证
Noemi PassingCISPA Helmholtz Center for Information Security在 cispa.saarland 的电子邮件经过验证
Klaus DrägerQueen Mary, University of London在 qmul.ac.uk 的电子邮件经过验证
Rayna DimitrovaCISPA Helmholtz Center for Information Security在 cispa.de 的电子邮件经过验证
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 的电子邮件经过验证
Niklas MetzgerCISPA Helmholtz Center for Information Security在 cispa.saarland 的电子邮件经过验证
Jan BaumeisterCISPA Helmholtz Center for Information Security在 cispa.saarland 的电子邮件经过验证
Jana HofmannPostdoc at Azure Research, Microsoft在 microsoft.com 的电子邮件经过验证
Helmut SeidlProfessor für Informatik, School of CIT, TU München在 in.tum.de 的电子邮件经过验证

关注

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	339	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	323	2014
Bounded synthesis B Finkbeiner, S Schewe International Journal on Software Tools for Technology Transfer 15 (5), 519-539, 2013	210	2013
Uniform distributed synthesis B Finkbeiner, S Schewe 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 321-330, 2005	195	2005
Algorithms for model checking HyperLTL and HyperCTL B Finkbeiner, MN Rabe, C Sánchez International Conference on Computer Aided Verification, 30-48, 2015	180	2015
Bounded synthesis S Schewe, B Finkbeiner International symposium on automated technology for verification and …, 2007	179	2007
Checking Finite Traces using Alternating Automata B Finkbeiner, H Sipma Runtime Verification 2001 55 (2), 147–163, 2001	176	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	150	2000
Checking finite traces using alternating automata B Finkbeiner, H Sipma Formal Methods in System Design 24 (2), 101-127, 2004	132	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	116	2009
Collecting statistics over runtime executions B Finkbeiner, S Sankaranarayanan, H Sipma Electronic Notes in Theoretical Computer Science 70 (4), 36-54, 2002	113	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	90	2012
Bosy: An experimentation framework for bounded synthesis P Faymonville, B Finkbeiner, L Tentrup International Conference on Computer Aided Verification, 325-332, 2017	86	2017
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	85	2019
Encodings of bounded synthesis P Faymonville, B Finkbeiner, MN Rabe, L Tentrup Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017	84	2017
Deciding hyperproperties B Finkbeiner, C Hahn arXiv preprint arXiv:1606.07047, 2016	77	2016
A stream-based specification language for network monitoring P Faymonville, B Finkbeiner, S Schirmer, H Torfah International Conference on Runtime Verification, 152-168, 2016	72	2016
Synthesis of reactive systems B Finkbeiner Dependable Software Systems Engineering, 72-98, 2016	71	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	68	2017
Synthesis of asynchronous systems S Schewe, B Finkbeiner International Symposium on Logic-Based Program Synthesis and Transformation …, 2006	68	2006

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用