ติดตาม
Bernd Finkbeiner
Bernd Finkbeiner
Professor of Computer Science, CISPA Helmholtz Center for Information Security
ยืนยันอีเมลแล้วที่ cispa.de - หน้าแรก
ชื่อ
อ้างโดย
อ้างโดย
ปี
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
3822005
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
3662014
Bounded synthesis
B Finkbeiner, S Schewe
International Journal on Software Tools for Technology Transfer 15 (5), 519-539, 2013
2202013
Uniform distributed synthesis
B Finkbeiner, S Schewe
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 321-330, 2005
2022005
Algorithms for model checking HyperLTL and HyperCTL
B Finkbeiner, MN Rabe, C Sánchez
International Conference on Computer Aided Verification, 30-48, 2015
2002015
Bounded synthesis
S Schewe, B Finkbeiner
International symposium on automated technology for verification and …, 2007
1902007
Checking Finite Traces using Alternating Automata
B Finkbeiner, H Sipma
Runtime Verification 2001 55 (2), 147–163, 2001
1812001
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
1532000
Checking finite traces using alternating automata
B Finkbeiner, H Sipma
Formal Methods in System Design 24 (2), 101-127, 2004
1382004
Collecting statistics over runtime executions
B Finkbeiner, S Sankaranarayanan, H Sipma
Electronic Notes in Theoretical Computer Science 70 (4), 36-54, 2002
1172002
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
962019
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
932012
Directed model checking with distance-preserving abstractions
K Dräger, B Finkbeiner, A Podelski
Model Checking Software: 13th International SPIN Workshop, Vienna, Austria …, 2006
912006
Synthesis of reactive systems
B Finkbeiner
Dependable Software Systems Engineering, 72-98, 2016
902016
Bosy: An experimentation framework for bounded synthesis
P Faymonville, B Finkbeiner, L Tentrup
International Conference on Computer Aided Verification, 325-332, 2017
892017
Encodings of bounded synthesis
P Faymonville, B Finkbeiner, MN Rabe, L Tentrup
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
852017
Deciding hyperproperties
B Finkbeiner, C Hahn
arXiv preprint arXiv:1606.07047, 2016
852016
Verifying hyperliveness
N Coenen, B Finkbeiner, C Sánchez, L Tentrup
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
812019
A stream-based specification language for network monitoring
P Faymonville, B Finkbeiner, S Schirmer, H Torfah
International Conference on Runtime Verification, 152-168, 2016
782016
Teaching temporal logics to neural networks
C Hahn, F Schmitt, JU Kreber, MN Rabe, B Finkbeiner
arXiv preprint arXiv:2003.04218, 2020
722020
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
บทความ 1–20