Daniel Kroening

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 161

Top Venues

CoRR

DATE

ACM Trans. Program. Lang. Syst.

ASE

Publications

Hosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening
Symbolic Task Inference in Deep Reinforcement Learning. J. Artif. Intell. Res. 80 (2024)
Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis. AAAI (2024)
Hasan Ferit Eniser, Hanliang Zhang, Cristina David, Meng Wang, Maria Christakis, Brandon Paulsen, Joey Dodds, Daniel Kroening
Towards Translating Real-World Code with LLMs: A Study of Translating to Rust. CoRR (2024)
Aidan Z. H. Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, Daniel Kroening
VERT: Verified Equivalent Rust Transpilation with Few-Shot Learning. CoRR (2024)
Hana Chockler, David A. Kelly, Daniel Kroening
Multiple Different Explanations for Image Classifiers. CoRR (2023)
Romain Brenguier, Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel
JBMC: A Bounded Model Checking Tool for Java Bytecode. CoRR (2023)
Daniel Kroening, Peter Schrammel, Michael Tautschnig
CBMC: The C Bounded Model Checker. CoRR (2023)
Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis. CoRR (2023)
David A. Kelly, Hana Chockler, Daniel Kroening, Nathan Blake, Aditi Ramaswamy, Melane Navaratnarajah, Aaditya Shivakumar
You Only Explain Once. CoRR (2023)
Hosein Hasanbeig, Daniel Kroening, Alessandro Abate
Certified reinforcement learning with logic guidance. Artif. Intell. 322 (2023)
Alessandro Abate, Haniel Barbosa, Clark W. Barrett, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen, Andrew Reynolds, Cesare Tinelli
Synthesising Programs with Non-trivial Constants. J. Autom. Reason. 67 (2) (2023)
Daniel Kroening, Viktor Malík, Peter Schrammel, Tomás Vojnar
2LS for Program Analysis. CoRR (2023)
Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening
Enhancing active model learning with equivalence checking using simulation relations. Formal Methods Syst. Des. 61 (2) (2022)
Hosein Hasanbeig, Daniel Kroening, Alessandro Abate
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning. CoRR (2022)
Mirco Giacobbe, Daniel Kroening, Julian Parsert
Neural termination analysis. ESEC/SIGSOFT FSE (2022)
Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening
Active Learning of Abstract System Models from Traces using Model Checking. DATE (2022)
Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning. QEST (2022)
Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening
Ranking Policy Decisions. NeurIPS (2021)
Isaac Dunn, Hadrien Pouget, Daniel Kroening, Tom Melham
Exposing previously undetectable faults in deep neural networks. ISSTA (2021)
Mirco Giacobbe, Mohammadhosein Hasanbeig, Daniel Kroening, Hjalmar Wijk
Shielding Atari Games with Bounded Prescience. AAMAS (2021)
Hana Chockler, Daniel Kroening, Youcheng Sun
Compositional Explanations for Image Classifiers. CoRR (2021)
Byron Cook, Kareem Khazem, Daniel Kroening, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
Model checking boot code from AWS data centers. Formal Methods Syst. Des. 57 (1) (2021)
Isaac Dunn, Hadrien Pouget, Daniel Kroening, Tom Melham
Exposing Previously Undetectable Faults in Deep Neural Networks. CoRR (2021)
Hana Chockler, Daniel Kroening, Youcheng Sun
Explanations for Occluded Images. ICCV (2021)
Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening
Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration. J. Autom. Reason. 65 (2) (2021)
Mirco Giacobbe, Daniel Kroening, Julian Parsert
Neural Termination Analysis. CoRR (2021)
Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening
Active Learning of Abstract System Models from Traces using Model Checking [Extended]. CoRR (2021)
Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. AAAI (2021)
Mirco Giacobbe, Mohammadhosein Hasanbeig, Daniel Kroening, Hjalmar Wijk
Shielding Atari Games with Bounded Prescience. CoRR (2021)
John Galea, Daniel Kroening
The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation. CoRR (2020)
Elizabeth Polgreen, Ralph Abboud, Daniel Kroening
CounterExample Guided Neural Synthesis. CoRR (2020)
Xiaowei Huang, Daniel Kroening, Wenjie Ruan, James Sharp, Youcheng Sun, Emese Thamo, Min Wu, Xinping Yi
A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability. Comput. Sci. Rev. 37 (2020)
Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening
Ranking Policy Decisions. CoRR (2020)
Natasha Yogananda Jeppu, Thomas F. Melham, Daniel Kroening, John O'Leary
Learning Concise Models from Long Execution Traces. DAC (2020)
Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman
Learning the Language of Software Errors. J. Artif. Intell. Res. 67 (2020)
Alessandro Abate, Iury Bessa, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
Automated formal synthesis of provably safe digital controllers for continuous plants. Acta Informatica 57 (1-2) (2020)
Rajdeep Mukherjee, Saurabh Joshi, John O'Leary, Daniel Kroening, Tom Melham
Hardware/Software Co-verification Using Path-based Symbolic Execution. CoRR (2020)
Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening
Cautious Reinforcement Learning with Logical Constraints. CoRR (2020)
Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening, John O'Leary
Learning Concise Models from Long Execution Traces. CoRR (2020)
Isaac Dunn, Tom Melham, Daniel Kroening
Semantic Adversarial Perturbations using Learnt Representations. CoRR (2020)
Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate
Deep Reinforcement Learning with Temporal Logics. FORMATS (2020)
Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening
Explaining Image Classifiers Using Statistical Fault Localization. ECCV (28) (2020)
Byron Cook, Björn Döbel, Daniel Kroening, Norbert Manthey, Martin Pohlack, Elizabeth Polgreen, Michael Tautschnig, Pawel Wieczorkiewicz
Using model checking tools to triage the severity of security bugs in the Xen hypervisor. FMCAD (2020)
Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening
Cautious Reinforcement Learning with Logical Constraints. AAMAS (2020)
John Galea, Daniel Kroening
The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation. AsiaCCS (2020)
Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening
Explaining Deep Neural Networks Using Spectrum-Based Fault Localization. CoRR (2019)
Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel
JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution). TACAS (3) (2019)
Lim Zun Yuan, Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening
Modular Deep Reinforcement Learning with Temporal Logic Specifications. CoRR (2019)
Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. CDC (2019)
Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance. IJCAI (2019)
Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. CoRR (2019)
Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening
Logically-Constrained Neural Fitted Q-iteration. AAMAS (2019)
Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate
Towards Verifiable and Safe Model-Free Reinforcement Learning. OVERLAY@AI*IA (2019)
Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
DeepConcolic: testing and debugging deep neural networks. ICSE (Companion Volume) (2019)
Sean Heelan, Tom Melham, Daniel Kroening
Gollum: Modular and Greybox Exploit Generation for Heap Overflows in Interpreters. CCS (2019)
Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening
Certified Reinforcement Learning with Logic Guidance. CoRR (2019)
Andreas Tiemeyer, Tom Melham, Daniel Kroening, John O'Leary
CREST: Hardware Formal Verification with ANSI-C Reference Specifications. CoRR (2019)
Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
Structural test coverage criteria for deep neural networks. ICSE (Companion Volume) (2019)
Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening
DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. CoRR (2019)
Isaac Dunn, Tom Melham, Daniel Kroening
Generating Realistic Unrestricted Adversarial Inputs using Dual-Objective GAN Training. CoRR (2019)
Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
Structural Test Coverage Criteria for Deep Neural Networks. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Youcheng Sun, Xiaowei Huang, Daniel Kroening
Testing Deep Neural Networks. CoRR (2018)
Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis
Program Synthesis for Program Analysis. ACM Trans. Program. Lang. Syst. 40 (2) (2018)
Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
Counterexample Guided Inductive Synthesis Modulo Theories. CAV (1) (2018)
Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening
Concolic Testing for Deep Neural Networks. CoRR (2018)
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems. HSCC (2018)
Hong-Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter
Bit-Precise Procedure-Modular Termination Analysis. ACM Trans. Program. Lang. Syst. 40 (1) (2018)
Sean Heelan, Tom Melham, Daniel Kroening
Automatic Heap Layout Manipulation for Exploitation. CoRR (2018)
Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening
Concolic testing for deep neural networks. ASE (2018)
Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel
Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP). CoRR (2018)
Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening
Logically-Constrained Neural Fitted Q-Iteration. CoRR (2018)
Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel
Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP). ACM SIGSOFT Softw. Eng. Notes 43 (4) (2018)
Sean Heelan, Tom Melham, Daniel Kroening
Automatic Heap Layout Manipulation for Exploitation. USENIX Security Symposium (2018)
Eugene Goldberg, Matthias Güdemann, Daniel Kroening, Rajdeep Mukherjee
Efficient verification of multi-property designs (The benefit of wrong assumptions). DATE (2018)
Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm. CoRR (2018)
Lihao Liang, Paul E. McKenney, Daniel Kroening, Tom Melham
Verification of tree-based hierarchical read-copy update in the Linux kernel. DATE (2018)
David Landsberg, Youcheng Sun, Daniel Kroening
Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications. FASE (2018)
Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening
Logically-Correct Reinforcement Learning. CoRR (2018)
Lucas C. Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtík
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode. CAV (1) (2018)
John Galea, Sean Heelan, Daniel Neville, Daniel Kroening
Evaluating Manual Intervention to Address the Challenges of Bug Finding with KLEE. CoRR (2018)
Byron Cook, Kareem Khazem, Daniel Kroening, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
Model Checking Boot Code from AWS Data Centers. CAV (2) (2018)
Lihao Liang, Tom Melham, Daniel Kroening, Peter Schrammel, Michael Tautschnig
Effective Verification for Low-Level Software with Competing Interrupts. ACM Trans. Embed. Comput. Syst. 17 (2) (2018)
Cristina David, Pascal Kesseli, Daniel Kroening
Kayak: Safe Semantic Refactoring to Java Streams. CoRR (2017)
Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl
Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion. ACM Trans. Program. Lang. Syst. 39 (2) (2017)
Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham
Lifting CDCL to Template-Based Abstract Domains for Program Verification. ATVA (2017)
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho
Verifying Digital Systems with MATLAB. CoRR (2017)
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler
SC-square: when Satisfiability Checking and Symbolic Computation join forces. ARCADE@CADE (2017)
Youcheng Sun, Martin Brain, Daniel Kroening, Andrew Hawthorn, Thomas Wilson, Florian Schanda, Francisco Javier Guzman Jimenez, Simon Daniel, Chris Bryan, Ian Broster
Functional Requirements-Based Automated Testing for Avionics. CoRR (2017)
Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller
Incremental bounded model checking for embedded software. Formal Aspects Comput. 29 (5) (2017)
Vijay Victor D'Silva, Daniel Kroening, Marcelo Sousa
Independence Abstractions and Models of Concurrency. VMCAI (2017)
Anna Trostanetski, Orna Grumberg, Daniel Kroening
Modular Demand-Driven Analysis of Semantic Difference for Program Versions. SAS (2017)
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho
Verifying digital systems with MATLAB. ISSTA (2017)
Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham
Lifting CDCL to Template-based Abstract Domains for Program Verification. CoRR (2017)
Rajdeep Mukherjee, Mitra Purandare, Raphael Polig, Daniel Kroening
Formal Techniques for Effective Co-verification of Hardware/Software Co-designs. DAC (2017)
Vojtech Forejt, Saurabh Joshi, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. ACM Trans. Program. Lang. Syst. 39 (4) (2017)
Youcheng Sun, Martin Brain, Daniel Kroening, Andrew Hawthorn, Thomas Wilson, Florian Schanda, Francisco Javier Guzman Jimenez, Simon Daniel, Chris Bryan, Ian Broster
Functional Requirements-Based Automated Testing for Avionics. ICECCS (2017)
Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening
Sound Numerical Computations in Abstract Acceleration. NSV@CAV (2017)
Alexander Kaiser, Daniel Kroening, Thomas Wahl
Lost in abstraction: Monotonicity in multi-threaded programs. Inf. Comput. 252 (2017)
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. CoRR (2017)
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon C. Chaves, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
DSSynth: an automated digital controller synthesis tool for physical plants. ASE (2017)

Daniel Kroening.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Daniel Kroening