


default search action
Daniel Kroening
Daniel Kröning
Person information
- affiliation: Amazon, USA
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j49]Hosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening:
Symbolic Task Inference in Deep Reinforcement Learning. J. Artif. Intell. Res. 80: 1099-1137 (2024) - [c190]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: 21412-21419 - [c189]Mirco Giacobbe, Daniel Kroening, Abhinandan Pal, Michael Tautschnig:
Neural Model Checking. NeurIPS 2024 - [i81]Aidan Z. H. Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, Daniel Kroening:
VERT: Verified Equivalent Rust Transpilation with Few-Shot Learning. CoRR abs/2404.18852 (2024) - [i80]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 abs/2405.11514 (2024) - [i79]Mirco Giacobbe, Daniel Kroening, Abhinandan Pal, Michael Tautschnig:
Neural Model Checking. CoRR abs/2410.23790 (2024) - [i78]Hana Chockler, David A. Kelly, Daniel Kroening, Youcheng Sun:
Causal Explanations for Image Classifiers. CoRR abs/2411.08875 (2024) - [i77]Hanliang Zhang, Cristina David, Meng Wang, Brandon Paulsen, Daniel Kroening:
Scalable, Validated Code Translation of Entire Projects using Large Language Models. CoRR abs/2412.08035 (2024) - [i76]Cristina David, Pascal Kesseli, Daniel Kroening, Hanliang Zhang:
Quantifying the benefits of code hints for refactoring deprecated Java APIs. CoRR abs/2412.08041 (2024) - 2023
- [j48]Hosein Hasanbeig, Daniel Kroening, Alessandro Abate:
Certified reinforcement learning with logic guidance. Artif. Intell. 322: 103949 (2023) - [j47]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): 19 (2023) - [i75]Daniel Kroening, Viktor Malík, Peter Schrammel, Tomás Vojnar:
2LS for Program Analysis. CoRR abs/2302.02380 (2023) - [i74]Romain Brenguier, Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel:
JBMC: A Bounded Model Checking Tool for Java Bytecode. CoRR abs/2302.02381 (2023) - [i73]Daniel Kroening, Peter Schrammel, Michael Tautschnig:
CBMC: The C Bounded Model Checker. CoRR abs/2302.02384 (2023) - [i72]Hana Chockler, David A. Kelly, Daniel Kroening:
Multiple Different Explanations for Image Classifiers. CoRR abs/2309.14309 (2023) - [i71]David A. Kelly, Hana Chockler, Daniel Kroening, Nathan Blake, Aditi Ramaswamy, Melane Navaratnarajah, Aaditya Shivakumar:
You Only Explain Once. CoRR abs/2311.14081 (2023) - [i70]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 abs/2312.11314 (2023) - 2022
- [j46]Natasha Yogananda Jeppu
, Tom Melham, Daniel Kroening:
Enhancing active model learning with equivalence checking using simulation relations. Formal Methods Syst. Des. 61(2): 164-197 (2022) - [c188]Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening:
Active Learning of Abstract System Models from Traces using Model Checking. DATE 2022: 100-103 - [c187]Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate:
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning. QEST 2022: 217-231 - [c186]Mirco Giacobbe, Daniel Kroening, Julian Parsert
:
Neural termination analysis. ESEC/SIGSOFT FSE 2022: 633-645 - [i69]Hosein Hasanbeig, Daniel Kroening, Alessandro Abate:
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning. CoRR abs/2209.10341 (2022) - 2021
- [j45]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): 34-52 (2021) - [j44]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): 157-203 (2021) - [c185]Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening:
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. AAAI 2021: 7647-7656 - [c184]Mirco Giacobbe, Mohammadhosein Hasanbeig, Daniel Kroening, Hjalmar Wijk:
Shielding Atari Games with Bounded Prescience. AAMAS 2021: 1507-1509 - [c183]Hana Chockler, Daniel Kroening, Youcheng Sun
:
Explanations for Occluded Images. ICCV 2021: 1214-1223 - [c182]Isaac Dunn
, Hadrien Pouget
, Daniel Kroening
, Tom Melham
:
Exposing previously undetectable faults in deep neural networks. ISSTA 2021: 56-66 - [c181]Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening:
Ranking Policy Decisions. NeurIPS 2021: 8702-8713 - [p10]Daniel Kroening:
Software Verification. Handbook of Satisfiability 2021: 791-818 - [i68]Mirco Giacobbe, Mohammadhosein Hasanbeig, Daniel Kroening, Hjalmar Wijk:
Shielding Atari Games with Bounded Prescience. CoRR abs/2101.08153 (2021) - [i67]Mirco Giacobbe, Daniel Kroening, Julian Parsert:
Neural Termination Analysis. CoRR abs/2102.03824 (2021) - [i66]Hana Chockler, Daniel Kroening, Youcheng Sun:
Compositional Explanations for Image Classifiers. CoRR abs/2103.03622 (2021) - [i65]Isaac Dunn, Hadrien Pouget, Daniel Kroening, Tom Melham:
Exposing Previously Undetectable Faults in Deep Neural Networks. CoRR abs/2106.00576 (2021) - [i64]Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening:
Active Learning of Abstract System Models from Traces using Model Checking [Extended]. CoRR abs/2112.05990 (2021) - 2020
- [j43]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): 223-244 (2020) - [j42]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: 100270 (2020) - [j41]Hana Chockler
, Pascal Kesseli
, Daniel Kroening, Ofer Strichman:
Learning the Language of Software Errors. J. Artif. Intell. Res. 67: 881-903 (2020) - [c180]Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening:
Cautious Reinforcement Learning with Logical Constraints. AAMAS 2020: 483-491 - [c179]John Galea, Daniel Kroening:
The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation. AsiaCCS 2020: 622-636 - [c178]Natasha Yogananda Jeppu
, Thomas F. Melham, Daniel Kroening, John O'Leary:
Learning Concise Models from Long Execution Traces. DAC 2020: 1-6 - [c177]Youcheng Sun
, Hana Chockler
, Xiaowei Huang
, Daniel Kroening
:
Explaining Image Classifiers Using Statistical Fault Localization. ECCV (28) 2020: 391-406 - [c176]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: 185-193 - [c175]Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate:
Deep Reinforcement Learning with Temporal Logics. FORMATS 2020: 1-22 - [i63]Rajdeep Mukherjee, Saurabh Joshi, John O'Leary, Daniel Kroening, Tom Melham:
Hardware/Software Co-verification Using Path-based Symbolic Execution. CoRR abs/2001.01324 (2020) - [i62]Natasha Yogananda Jeppu
, Tom Melham, Daniel Kroening, John O'Leary:
Learning Concise Models from Long Execution Traces. CoRR abs/2001.05230 (2020) - [i61]Elizabeth Polgreen, Ralph Abboud, Daniel Kroening:
CounterExample Guided Neural Synthesis. CoRR abs/2001.09245 (2020) - [i60]Isaac Dunn
, Tom Melham, Daniel Kroening:
Semantic Adversarial Perturbations using Learnt Representations. CoRR abs/2001.11055 (2020) - [i59]Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening:
Cautious Reinforcement Learning with Logical Constraints. CoRR abs/2002.12156 (2020) - [i58]John Galea, Daniel Kroening:
The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation. CoRR abs/2007.05955 (2020) - [i57]Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening:
Ranking Policy Decisions. CoRR abs/2008.13607 (2020)
2010 – 2019
- 2019
- [j40]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): 94:1-94:23 (2019) - [c174]Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate:
Towards Verifiable and Safe Model-Free Reinforcement Learning. OVERLAY@AI*IA 2019: 1 - [c173]Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening:
Logically-Constrained Neural Fitted Q-iteration. AAMAS 2019: 2012-2014 - [c172]Sean Heelan, Tom Melham, Daniel Kroening
:
Gollum: Modular and Greybox Exploit Generation for Heap Overflows in Interpreters. CCS 2019: 1689-1706 - [c171]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: 5338-5343 - [c170]Youcheng Sun, Xiaowei Huang, Daniel Kroening
, James Sharp
, Matthew Hill, Rob Ashmore:
DeepConcolic: testing and debugging deep neural networks. ICSE (Companion Volume) 2019: 111-114 - [c169]Youcheng Sun, Xiaowei Huang, Daniel Kroening
, James Sharp
, Matthew Hill, Rob Ashmore:
Structural test coverage criteria for deep neural networks. ICSE (Companion Volume) 2019: 320-321 - [c168]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: 5944-5952 - [c167]Lucas C. Cordeiro
, Daniel Kroening
, Peter Schrammel
:
JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution). TACAS (3) 2019: 219-223 - [i56]Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening:
Certified Reinforcement Learning with Logic Guidance. CoRR abs/1902.00778 (2019) - [i55]Isaac Dunn
, Tom Melham, Daniel Kroening:
Generating Realistic Unrestricted Adversarial Inputs using Dual-Objective GAN Training. CoRR abs/1905.02463 (2019) - [i54]Andreas Tiemeyer, Tom Melham, Daniel Kroening, John O'Leary:
CREST: Hardware Formal Verification with ANSI-C Reference Specifications. CoRR abs/1908.01324 (2019) - [i53]Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening:
Explaining Deep Neural Networks Using Spectrum-Based Fault Localization. CoRR abs/1908.02374 (2019) - [i52]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 abs/1909.05304 (2019) - [i51]Lim Zun Yuan, Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening:
Modular Deep Reinforcement Learning with Temporal Logic Specifications. CoRR abs/1909.11591 (2019) - [i50]Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu
, Alessandro Abate, Tom Melham, Daniel Kroening:
DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. CoRR abs/1911.10244 (2019) - 2018
- [b4]Edmund M. Clarke, Orna Grumberg, Daniel Kroening, Doron A. Peled, Helmut Veith:
Model checking, 2nd Edition. MIT Press 2018, ISBN 978-0-262-03883-6 - [j39]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): 56 (2018) - [j38]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): 36:1-36:26 (2018) - [j37]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): 1:1-1:38 (2018) - [j36]Cristina David, Pascal Kesseli, Daniel Kroening
, Matt Lewis:
Program Synthesis for Program Analysis. ACM Trans. Program. Lang. Syst. 40(2): 5:1-5:45 (2018) - [c166]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: 183-190 - [c165]Alessandro Abate
, Cristina David
, Pascal Kesseli
, Daniel Kroening
, Elizabeth Polgreen:
Counterexample Guided Inductive Synthesis Modulo Theories. CAV (1) 2018: 270-288 - [c164]Byron Cook, Kareem Khazem, Daniel Kroening
, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle:
Model Checking Boot Code from AWS Data Centers. CAV (2) 2018: 467-486 - [c163]Eugene Goldberg, Matthias Güdemann
, Daniel Kroening
, Rajdeep Mukherjee:
Efficient verification of multi-property designs (The benefit of wrong assumptions). DATE 2018: 43-48 - [c162]Lihao Liang, Paul E. McKenney, Daniel Kroening
, Tom Melham:
Verification of tree-based hierarchical read-copy update in the Linux kernel. DATE 2018: 61-66 - [c161]David Landsberg
, Youcheng Sun
, Daniel Kroening
:
Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications. FASE 2018: 246-263 - [c160]Lennon C. Chaves
, Iury Bessa
, Lucas C. Cordeiro, Daniel Kroening
:
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems. HSCC 2018: 253-258 - [c159]Youcheng Sun
, Min Wu, Wenjie Ruan
, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening
:
Concolic testing for deep neural networks. ASE 2018: 109-119 - [c158]Sean Heelan, Tom Melham, Daniel Kroening:
Automatic Heap Layout Manipulation for Exploitation. USENIX Security Symposium 2018: 763-779 - [p9]Armin Biere
, Daniel Kröning:
SAT-Based Model Checking. Handbook of Model Checking 2018: 277-303 - [i49]Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening:
Logically-Correct Reinforcement Learning. CoRR abs/1801.08099 (2018) - [i48]Youcheng Sun, Xiaowei Huang, Daniel Kroening:
Testing Deep Neural Networks. CoRR abs/1803.04792 (2018) - [i47]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 abs/1804.05805 (2018) - [i46]Sean Heelan, Tom Melham, Daniel Kroening:
Automatic Heap Layout Manipulation for Exploitation. CoRR abs/1804.08470 (2018) - [i45]Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening:
Concolic Testing for Deep Neural Networks. CoRR abs/1805.00089 (2018) - [i44]John Galea, Sean Heelan, Daniel Neville, Daniel Kroening:
Evaluating Manual Intervention to Address the Challenges of Bug Finding with KLEE. CoRR abs/1805.03450 (2018) - [i43]Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel:
Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP). CoRR abs/1809.03739 (2018) - [i42]Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening:
Logically-Constrained Neural Fitted Q-Iteration. CoRR abs/1809.07823 (2018) - 2017
- [j35]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): 911-931 (2017) - [j34]Alexander Kaiser, Daniel Kroening
, Thomas Wahl:
Lost in abstraction: Monotonicity in multi-threaded programs. Inf. Comput. 252: 30-47 (2017) - [j33]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): 6:1-6:38 (2017) - [j32]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): 15:1-15:27 (2017) - [c157]Rajdeep Mukherjee, Peter Schrammel
, Leopold Haller, Daniel Kroening
, Tom Melham:
Lifting CDCL to Template-Based Abstract Domains for Program Verification. ATVA 2017: 307-326 - [c156]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: 6-10 - [c155]Dario Cattaruzza, Alessandro Abate
, Peter Schrammel
, Daniel Kroening
:
Sound Numerical Computations in Abstract Acceleration. NSV@CAV 2017: 38-60 - [c154]Marcelo Sousa, César Rodríguez, Vijay Victor D'Silva, Daniel Kroening
:
Abstract Interpretation with Unfoldings. CAV (2) 2017: 197-216 - [c153]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. CAV (1) 2017: 462-482 - [c152]Rajdeep Mukherjee, Mitra Purandare
, Raphael Polig, Daniel Kroening
:
Formal Techniques for Effective Co-verification of Hardware/Software Co-designs. DAC 2017: 35:1-35:6 - [c151]Alessandro Abate, Iury Bessa
, Dario Cattaruzza, Lucas C. Cordeiro
, Cristina David, Pascal Kesseli
, Daniel Kroening
:
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. HSCC 2017: 197-206 - [c150]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: 170-173 - [c149]Lennon C. Chaves
, Iury Bessa
, Lucas C. Cordeiro, Daniel Kroening
, Eddie Batista de Lima Filho:
Verifying digital systems with MATLAB. ISSTA 2017: 388-391 - [c148]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: 919-924 - [c147]Anna Trostanetski, Orna Grumberg, Daniel Kroening
:
Modular Demand-Driven Analysis of Semantic Difference for Program Versions. SAS 2017: 405-427 - [c146]Vijay Victor D'Silva, Daniel Kroening
, Marcelo Sousa:
Independence Abstractions and Models of Concurrency. VMCAI 2017: 151-168 - [i41]Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho:
Verifying Digital Systems with MATLAB. CoRR abs/1702.05591 (2017) - [i40]Marcelo Sousa, César Rodríguez, Vijay Victor D'Silva, Daniel Kroening:
Abstract Interpretation with Unfoldings. CoRR abs/1705.00595 (2017) - [i39]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 abs/1705.00981 (2017) - [i38]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 abs/1707.01466 (2017) - [i37]Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham:
Lifting CDCL to Template-based Abstract Domains for Program Verification. CoRR abs/1707.02011 (2017) - [i36]Eugene Goldberg, Matthias Güdemann, Daniel Kroening, Rajdeep Mukherjee:
Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version). CoRR abs/1711.05698 (2017) - [i35]Cristina David, Pascal Kesseli
, Daniel Kroening:
Kayak: Safe Semantic Refactoring to Java Streams. CoRR abs/1712.07388 (2017) - 2016
- [b3]Daniel Kroening, Ofer Strichman
:
Decision Procedures - An Algorithmic Point of View, Second Edition. Texts in Theoretical Computer Science. An EATCS Series, Springer 2016, ISBN 978-3-662-50496-3, pp. 1-307 - [j31]Erika Ábrahám
, John Abbott, Bernd Becker
, Anna Maria Bigatti
, Martin Brain, Bruno Buchberger, Alessandro Cimatti
, James H. Davenport
, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio
, Daniel Kroening
, Werner M. Seiler
, Thomas Sturm
:
Satisfiability checking and symbolic computation. ACM Commun. Comput. Algebra 50(4): 145-147 (2016) - [j30]Daniel Kroening
, Andrey Rybalchenko:
Preface: Special Issue on Interpolation. J. Autom. Reason. 57(1): 1-2 (2016) - [j29]Peter Schrammel
, Tom Melham, Daniel Kroening
:
Generating test case chains for reactive systems. Int. J. Softw. Tools Technol. Transf. 18(3): 319-334 (2016) - [c145]Rajdeep Mukherjee, Peter Schrammel, Daniel Kroening, Tom Melham:
Unbounded safety verification for hardware using software analyzers. DATE 2016: 1152-1155 - [c144]Cristina David, Pascal Kesseli
, Daniel Kroening
, Matt Lewis:
Danger Invariants. FM 2016: 182-198 - [c143]Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening
, Tom Melham:
Equivalence Checking of a Floating-Point Unit Against a High-Level C Model. FM 2016: 551-558 - [c142]David Landsberg, Hana Chockler
, Daniel Kroening
:
Probabilistic Fault Localisation. Haifa Verification Conference 2016: 65-81 - [c141]