Finkbeiner, Bernd
- Temporal Logics for Hyperproperties
2014/01/17 by Michael R. Clarkson, Clarkson, Michael R., Bernd Finkbeiner +9 · 13 citations
Computer Science · Social Sciences · #Access Control and Trust #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems
- Teaching Temporal Logics to Neural Networks
2020/03/06 by Christopher Hahn, Frederik Schmitt, Hahn, Christopher +7 · 7 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Natural Language Processing Techniques #Neural Networks and Applications #Topic Modeling
- Formal Specifications from Natural Language
2022/06/04 by Hahn, Christopher, Schmitt, Frederik, Tillman, Julia J. +3 · 6 citations
#FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering (cs.SE)
- Deciding Hyperproperties
2016/06/22 by Finkbeiner, Bernd, Hahn, Christopher · 4 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Monitoring Hyperproperties
2018/07/02 by Bernd Finkbeiner, Christopher Hahn, Finkbeiner, Bernd +5 · 4 citations
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems
- The First-Order Logic of Hyperproperties
2016/10/14 by Bernd Finkbeiner, Finkbeiner, Bernd, Martín Zimmermann +1 · 4 citations
Computer Science · Social Sciences · #Distributed systems and fault tolerance #Security and Verification in Computing #Access Control and Trust
- Probabilistic Hyperproperties of Markov Decision Processes
2020/05/07 by Dimitrova, Rayna, Finkbeiner, Bernd, Torfah, Hazem · 3 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Real-time Stream-based Monitoring
2017/11/10 by Faymonville, Peter, Finkbeiner, Bernd, Schwenger, Maximilian +1 · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- AutoHyper: Explicit-State Model Checking for HyperLTL
2023/01/26 by Raven Beutner, Beutner, Raven, Bernd Finkbeiner +1 · 6 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques #Software Testing and Debugging Techniques
- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties
2019/05/31 by Bernd Finkbeiner, Christopher Hahn, Finkbeiner, Bernd +5 · 2 citations
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Real-Time Systems Scheduling #Security and Verification in Computing
- Visual Analysis of Hyperproperties for Understanding Model Checking Results
2021/08/08 by Horak, Tom, Coenen, Norine, Metzger, Niklas +6 · 3 citations
#FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Logic in Computer Science (cs.LO)
- Causality-Based Game Solving
2021/05/29 by Baier, Christel, Coenen, Norine, Finkbeiner, Bernd +3 · 3 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
2022/06/01 by Jacobs, Swen, Perez, Guillermo A., Abraham, Remco +22 · 3 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Specification Decomposition for Reactive Synthesis
2021/03/15 by Bernd Finkbeiner, Gideon Geier, Finkbeiner, Bernd +3 · 2 citations
Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Radiation Effects in Electronics #Software Testing and Debugging Techniques
- Neural Circuit Synthesis from Specification Patterns
2021/07/25 by Frederik Schmitt, Schmitt, Frederik, Christopher Hahn +5 · 3 citations
Computer Science · Engineering · Materials Science · #Advanced Memory and Neural Computing #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning in Materials Science #Neural Networks and Applications
- Model Checking Quantitative Hyperproperties
2018/01/01 by Bernd Finkbeiner, Finkbeiner, Bernd, Hahn, Christopher +2 · 1 citation
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Security and Verification in Computing
- Bounded Model Checking for Asynchronous Hyperproperties
2023/01/17 by Tzu-Han Hsu, Hsu, Tzu-Han, Borzoo Bonakdarpour +5 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Real-Time Systems Scheduling #Security and Verification in Computing
- Synthesizing Functional Reactive Programs
2019/05/23 by Finkbeiner, Bernd, Klein, Felix, Piskac, Ruzica +1 · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Linear-time Temporal Logic with Team Semantics: Expressivity and\n Complexity
2020/10/07 by Jonni Virtema, Jana Hofmann, Virtema, Jonni +7 · 1 citation
Chemistry · Computer Science · #Computational Complexity (cs.CC) #D.2.4 #F.4.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Synthetic Organic Chemistry Methods
- RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
2020/03/27 by Baumeister, Jan, Finkbeiner, Bernd, Schirmer, Sebastian +2 · 2 citations
#68V06 #B.7.1 #F.4.3 #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Signal Processing (eess.SP) #Software Engineering (cs.SE) #electronic engineering #information engineering
- Efficient Monitoring of Hyperproperties using Prefix Trees
2021/01/18 by Finkbeiner, Bernd, Hahn, Christopher, Stenger, Marvin +1 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Synthesis of Temporal Causality
2024/05/17 by Bernd Finkbeiner, Finkbeiner, Bernd, Hadar Frenkel +5 · 3 citations
Computer Science · #Cognitive Science and Mapping #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Monitoring Second-Order Hyperproperties
2024/04/15 by Raven Beutner, Bernd Finkbeiner, Beutner, Raven +5 · 2 citations
Medicine · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Hemodynamic Monitoring and Therapy #Logic in Computer Science (cs.LO) #Multiagent Systems (cs.MA)
- Prophecy Variables for Hyperproperty Verification
2022/06/03 by Raven Beutner, Beutner, Raven, Bernd Finkbeiner +1 · 3 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Logic, Reasoning, and Knowledge
- Explaining Hyperproperty Violations
2022/06/04 by Coenen, Norine, Dachselt, Raimund, Finkbeiner, Bernd +5 · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Non-Deterministic Planning for Hyperproperty Verification
2024/05/22 by Beutner, Raven, Finkbeiner, Bernd · 4 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
- Coinductive Proofs for Temporal Hyperliveness
2025/01/14 by Arthur Correnson, Correnson, Arthur, Bernd Finkbeiner +1 · 3 citations
Computer Science · #Constraint Satisfaction and Optimization #Advanced Algebra and Logic
- Hyper Strategy Logic
2024/03/20 by Raven Beutner, Bernd Finkbeiner, Beutner, Raven +1 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multiagent Systems (cs.MA)
- Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned
2024/04/18 by Baumeister, Jan, Finkbeiner, Bernd, Kohn, Florian +4 · 2 citations
#F.3.1 #FOS: Computer and information sciences #J.2 #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE)
- Iterative Circuit Repair Against Formal Specifications
2023/03/02 by Matthias Cosler, Frederik Schmitt, Cosler, Matthias +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Software Engineering Research #Software Testing and Debugging Techniques
- Learning Better Representations From Less Data For Propositional Satisfiability
2024/02/13 by Ghanem, Mohamed, Schmitt, Frederik, Siber, Julian +1 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)