Daniel Kroening
- CBMC: The C Bounded Model Checker
2023/02/05 by Daniel Kroening, Kroening, Daniel, Peter Schrammel +3 · 2 voices · 5 citations
Computer Science · #Software Testing and Debugging Techniques #Software Reliability and Analysis Research #Advanced Malware Detection Techniques
- Logically-Constrained Reinforcement Learning
2018/01/24 by Mohammadhosein Hasanbeig, Alessandro Abate, Hasanbeig, Mohammadhosein +3 · 10 citations
Computer Science · Engineering · #Reinforcement Learning in Robotics #Formal Methods in Verification #Advanced Control Systems Optimization
- Reinforcement Learning for Temporal Logic Control Synthesis with\n Probabilistic Satisfaction Guarantees
2019/09/11 by Mohammadhosein Hasanbeig, Hasanbeig, Mohammadhosein, Yiannis Kantaros +9 · 8 citations
Computer Science · #Formal Methods in Verification #Advanced Software Engineering Methodologies
- Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
2024/05/19 by Hasan Ferit Enişer, Eniser, Hasan Ferit, Hanliang Zhang +13 · 16 citations
Arts and Humanities · Computer Science · Social Sciences · #Artificial Intelligence in Law #FOS: Computer and information sciences #Natural Language Processing Techniques #Software Engineering (cs.SE) #Translation Studies and Practices
- VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
2024/04/29 by Aidan Z. H. Yang, Yoshiki Takashima, Yang, Aidan Z. H. +7 · 12 citations
Engineering · #Engineering Applied Research #Cyclone Separators and Fluid Dynamics #Nuclear and radioactivity studies
- Concolic Testing for Deep Neural Networks
2018/04/30 by Youcheng Sun, Sun, Youcheng, Min Wu +9 · 5 citations
Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- Scalable, Validated Code Translation of Entire Projects using Large Language Models
2024/12/11 by Hanliang Zhang, Cristina C. David, Zhang, Hanliang +7 · 7 citations
Computer Science · #Natural Language Processing Techniques #Model-Driven Software Engineering Techniques #Topic Modeling
- Don't sit on the fence: A static analysis approach to automatic fence insertion
2013/12/05 by Jade Alglave, Daniel Kroening, Alglave, Jade +5 · 2 citations
Computer Science · #D.2.4 #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Parallel Computing and Optimization Techniques #Software Engineering (cs.SE) #Software System Performance and Reliability
- Safety Verification and Refutation by k-invariants and k-induction (extended version)
2015/06/18 by Martin Brain, Brain, Martin, Saurabh Joshi +5 · 1 citation
Computer Science · #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- Automated Formal Synthesis of Digital Controllers for State-Space\n Physical Plants
2017/05/02 by Alessandro Abate, Iury Bessa, Abate, Alessandro +13 · 1 citation
Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Modeling and Simulation Systems #Systems and Control (eess.SY) #electronic engineering #information engineering
- CREST: Hardware Formal Verification with ANSI-C Reference Specifications
2019/08/04 by Andreas Tiemeyer, Tiemeyer, Andreas, Tom Melham +5 · 1 citation
Computer Science · #Formal Methods in Verification #Security and Verification in Computing #Software Testing and Debugging Techniques
- Ranking Policy Decisions
2020/08/31 by Hadrien Pouget, Pouget, Hadrien, Hana Chockler +5 · 1 citation
Computer Science · #Data Stream Mining Techniques #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Reinforcement Learning in Robotics
- Neural Model Checking
2024/10/31 by Mirco Giacobbe, Giacobbe, Mirco, Daniel Kroening +5 · 3 citations
Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Fuzzy Logic and Control Systems #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Real-time simulation and control systems
- MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair
2025/09/19 by Ali Reza Ibrahimzada, Brandon Paulsen, Ibrahimzada, Ali Reza +7 · 4 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Semantic Web and Ontologies #Software Engineering (cs.SE) #Topic Modeling