Bernd Finkbeiner
- Temporal Logics for Hyperproperties
2014/01/17 by Michael R. Clarkson, Bernd Finkbeiner, Clarkson, Michael R. +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 · 8 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 Christopher Hahn, Hahn, Christopher, Frederik Schmitt +9 · 6 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- Monitoring Hyperproperties
2018/07/02 by Bernd Finkbeiner, Finkbeiner, Bernd, Christopher Hahn +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, Martín Zimmermann, Finkbeiner, Bernd +1 · 4 citations
Computer Science · Social Sciences · #Distributed systems and fault tolerance #Security and Verification in Computing #Access Control and Trust
- Model Checking Quantitative Hyperproperties
2018/01/01 by Bernd Finkbeiner, Finkbeiner, Bernd, Hahn, Christopher +2 · 2 citations
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
- 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, Finkbeiner, Bernd, Christopher Hahn +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
- Specification Decomposition for Reactive Synthesis
2021/03/15 by Bernd Finkbeiner, Finkbeiner, Bernd, Gideon Geier +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
- 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
- Linear-time Temporal Logic with Team Semantics: Expressivity and\n Complexity
2020/10/07 by Jonni Virtema, Virtema, Jonni, Jana Hofmann +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
- 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
- Coinductive Proofs for Temporal Hyperliveness
2025/01/14 by Arthur Correnson, Bernd Finkbeiner, Correnson, Arthur +1 · 3 citations
Computer Science · #Constraint Satisfaction and Optimization #Advanced Algebra and Logic
- Logics and Algorithms for Hyperproperties
2025/01/14 by Bernd Finkbeiner, Finkbeiner, Bernd · 2 citations
Computer Science · #AI-based Problem Solving and Planning #Logic, Reasoning, and Knowledge #Computability, Logic, AI Algorithms
- Hyper Strategy Logic
2024/03/20 by Raven Beutner, Beutner, Raven, Bernd Finkbeiner +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)
- 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
- Disintegration Temporal Logic for Probabilistic Hyperproperties
2026/07/16 by Mishel Carelli, Bernd Finkbeiner
#cs.LO