Daniel Kroening
Orcid: 0000-0002-6681-5283Affiliations:
- Amazon, USA
According to our database1,
Daniel Kroening
authored at least 289 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on kroening.com
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
CoRR, 2024
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Artif. Intell., September, 2023
2022
Enhancing active model learning with equivalence checking using simulation relations.
Formal Methods Syst. Des., December, 2022
CoRR, 2022
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022
2021
Proceedings of the Handbook of Satisfiability - Second Edition, 2021
Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration.
J. Autom. Reason., 2021
Active Learning of Abstract System Models from Traces using Model Checking [Extended].
CoRR, 2021
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021
Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability.
Comput. Sci. Rev., 2020
Automated formal synthesis of provably safe digital controllers for continuous plants.
Acta Informatica, 2020
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020
Using model checking tools to triage the severity of security bugs in the Xen hypervisor.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020
Proceedings of the Computer Vision - ECCV 2020, 2020
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020
The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation.
Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020
2019
ACM Trans. Embed. Comput. Syst., 2019
DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning.
CoRR, 2019
Generating Realistic Unrestricted Adversarial Inputs using Dual-Objective GAN Training.
CoRR, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019
2018
ACM Trans. Program. Lang. Syst., 2018
ACM Trans. Embed. Comput. Syst., 2018
Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP).
ACM SIGSOFT Softw. Eng. Notes, 2018
CoRR, 2018
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm.
CoRR, 2018
Proceedings of the 27th USENIX Security Symposium, 2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications.
Proceedings of the Fundamental Approaches to Software Engineering, 2018
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
2017
ACM Trans. Program. Lang. Syst., 2017
ACM Trans. Program. Lang. Syst., 2017
Formal Aspects Comput., 2017
Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version).
CoRR, 2017
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017
Proceedings of the Static Analysis - 24th International Symposium, 2017
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017
Proceedings of the 54th Annual Design Automation Conference, 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
Proceedings of the Numerical Software Verification - 10th International Workshop, 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
Proceedings of the ARCADE 2017, 2017
Proceedings of the Automated Technology for Verification and Analysis, 2017
2016
Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-662-50497-0, 2016
Proceedings of the Dependable Software Systems Engineering, 2016
Int. J. Softw. Tools Technol. Transf., 2016
Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version).
CoRR, 2016
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), 2016
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016
SC<sup>2</sup>: Satisfiability Checking Meets Symbolic Computation - (Project Paper).
Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016
Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps.
Proceedings of the 24th IEEE International Symposium on Modeling, 2016
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
Proceedings of the 7th Workshop on Constraint Solvers in Testing, 2016
Proceedings of the Hardware and Software: Verification and Testing, 2016
Proceedings of the FM 2016: Formal Methods, 2016
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
2015
Formal Methods Syst. Des., 2015
Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models (Extended Version).
CoRR, 2015
CoRR, 2015
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (extended version).
CoRR, 2015
Safety Verification and Refutation by k-invariants and k-induction (extended version).
CoRR, 2015
Proceedings of the Towards Autonomous Robotic Systems - 16th Annual Conference, 2015
Proceedings of the Static Analysis - 22nd International Symposium, 2015
Proceedings of the Static Analysis - 22nd International Symposium, 2015
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015
Proceedings of the 2015 IEEE Computer Society Annual Symposium on VLSI, 2015
Proceedings of the 2015 IEEE Computer Society Annual Symposium on VLSI, 2015
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015
On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015
Proceedings of the Formal Methods for Industrial Critical Systems, 2015
Proceedings of the Formal Methods in Computer-Aided Design, 2015
Proceedings of the FM 2015: Formal Methods, 2015
Proceedings of the FM 2015: Formal Methods, 2015
Proceedings of the Fundamental Approaches to Software Engineering, 2015
Proceedings of the Programming Languages and Systems, 2015
Proceedings of the Programming Languages and Systems, 2015
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015
Proceedings of the 26th International Conference on Concurrency Theory, 2015
Proceedings of the Automated Technology for Verification and Analysis, 2015
Proceedings of the Validation of Evolving Software, 2015
Proceedings of the Validation of Evolving Software, 2015
Proceedings of the Validation of Evolving Software, 2015
2014
ACM Trans. Program. Lang. Syst., 2014
Formal Methods Syst. Des., 2014
Dagstuhl Reports, 2014
Dagstuhl Reports, 2014
CoRR, 2014
Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report).
CoRR, 2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
Camera-laser projector stereo system based anti-collision system for robotic wheelchair users with cognitive impairment.
Proceedings of the International Conference on Multisensor Fusion and Information Integration for Intelligent Systems, 2014
Proceedings of the Mathematical and Engineering Methods in Computer Science, 2014
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
Proceedings of the FM 2014: Formal Methods, 2014
Proceedings of the Programming Languages and Systems, 2014
2013
Formal Methods Syst. Des., 2013
Formal Methods Syst. Des., 2013
Proceedings of the Static Analysis - 20th International Symposium, 2013
Proceedings of the Reachability Problems - 7th International Workshop, 2013
Proceedings of the Testing Software and Systems, 2013
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013
Proceedings of the 3rd International Workshop on Developing Tools as Plug-ins, 2013
Proceedings of the Formal Methods in Computer-Aided Design, 2013
Proceedings of the Formal Methods in Computer-Aided Design, 2013
Proceedings of the Programming Languages and Systems, 2013
Proceedings of the Programming Languages and Systems, 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
2012
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012
Formal Methods Syst. Des., 2012
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
Proceedings of the Static Analysis - 19th International Symposium, 2012
Proceedings of the Formal Methods in Computer-Aided Design, 2012
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012
2011
J. Autom. Reason., 2011
Formal Methods Syst. Des., 2011
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report)
CoRR, 2011
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011
Proceedings of the Static Analysis - 18th International Symposium, 2011
Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011
Proceedings of the 48th Design Automation Conference, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
Proceedings of the Automated Technology for Verification and Analysis, 2011
Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011
2010
ACM Trans. Design Autom. Electr. Syst., 2010
IEEE Trans. Inf. Theory, 2010
Int. J. Softw. Tools Technol. Transf., 2010
Formal Aspects Comput., 2010
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report)
CoRR, 2010
Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Tightening Test Coverage Metrics: A Case Study in Equivalence Checking Using k-Induction.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010
Proceedings of the 47th Design Automation Conference, 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
Proceedings of the Second International Workshop on Invariant Generation, 2010
Proceedings of the 6th International Verification Workshop, 2010
2009
Int. J. Softw. Tools Technol. Transf., 2009
Proceedings of the Formal Methods: Foundations and Applications, 2009
Proceedings of the Theory and Applications of Satisfiability Testing, 2009
An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions.
Proceedings of the Hardware and Software: Verification and Testing, 2009
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009
Proceedings of the Design, Automation and Test in Europe, 2009
Proceedings of the Design, Automation and Test in Europe, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
2008
Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-540-74105-3, 2008
IEEE Trans. Inf. Theory, 2008
Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008
J. Satisf. Boolean Model. Comput., 2008
Proceedings of the Verification, 2008
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008
Proceedings of the 2008 International Conference on Computer-Aided Design, 2008
Proceedings of the Automated Technology for Verification and Analysis, 2008
2007
Theor. Comput. Sci., 2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the Test and Analysis of Web Services, 2007
Proceedings of the Model Checking Software, 2007
Proceedings of the Theory and Applications of Satisfiability Testing, 2007
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007
Proceedings of the 2007 International Conference on Computer-Aided Design, 2007
Proceedings of the Hardware and Software: Verification and Testing, 2007
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007
Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007
An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic Attractors.
Proceedings of the Algebraic Biology, Second International Conference, 2007
2006
Int. J. Softw. Tools Technol. Transf., 2006
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006
Proceedings of the Hardware and Software, 2006
Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
2005
Int. J. Softw. Tools Technol. Transf., 2005
Proceedings of the Third International Workshop on Bounded Model Checking, 2005
Proceedings of the Verified Software: Theories, 2005
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Proceedings of the Model Checking Software, 2005
Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005
Proceedings of the 42nd Design Automation Conference, 2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2004
Proceedings of the 2nd International Workshop on Bounded Model Checking, 2004
Proceedings of the Verification, 2004
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004
Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004
Proceedings of the Leveraging Applications of Formal Methods, 2004
Proceedings of the Formal Methods and Software Engineering, 2004
Proceedings of the Formal Methods and Software Engineering, 2004
Proceedings of the 2004 International Conference on Computer-Aided Design, 2004
Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
Proceedings of the 41th Design Automation Conference, 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
2003
Proceedings of the 21st International Conference on Computer Design (ICCD 2003), 2003
Proceedings of the 40th Design Automation Conference, 2003
Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP.
Proceedings of the Correct Hardware Design and Verification Methods, 2003
Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003
2001
Proceedings of the Ausgezeichnete Informatikdissertationen 2001, 2001
Proceedings of the 38th Design Automation Conference, 2001
2000
Proving the Correctness of Pipelined Micro-Architectures.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28, 2000
Proceedings of the Informatik 2000, 2000
1999
The Impact of Hardware Scheduling Mechanismus on the Performance and Cost of Processor Designs.
Proceedings of the Architektur von Rechensystemen, Systemarchitektur auf dem Weg ins 3. Jahrtausend: Neue Strukturen, Konzepte, Verfahren und Bewertungsmethoden, 1999