Daniel Kroening | Academic Influence

Daniel Kroening's AcademicInfluence.com Rankings

Daniel Kroening

Computer Science

#2272

World Rank

#2367

Historical Rank

Database

#4863

World Rank

#5051

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Daniel Kroening's Degrees

PhD Computer Science University of Oxford
Masters Computer Science University of Oxford
Bachelors Computer Science University of Oxford

Similar Degrees You Can Earn

Why Is Daniel Kroening Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Daniel Kroening is a German computer scientist, Professor in computer science at the University of Oxford, and Chief Science Officer at the company he co-founded, Diffblue Ltd. He is a fellow of Magdalen College.

(See a Problem?)

Daniel Kroening's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

A Tool for Checking ANSI-C Programs (2004) (1438)
Decision Procedures - An Algorithmic Point of View (2008) (431)
A Survey of Automated Techniques for Formal Software Verification (2008) (382)
SATABS: SAT-Based Predicate Abstraction for ANSI-C (2005) (309)
Behavioral consistency of C and Verilog programs using bounded model checking (2003) (303)
A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability (2018) (264)
Concolic Testing for Deep Neural Networks (2018) (257)
Predicate Abstraction of ANSI-C Programs Using SAT (2004) (210)
CBMC - C Bounded Model Checker - (Competition Contribution) (2014) (167)
Partial Orders for Efficient Bounded Model Checking of Concurrent Software (2013) (162)
Testing Deep Neural Networks (2018) (154)
Efficient Computation of Recurrence Diameters (2002) (149)
Deciding Bit-Vector Arithmetic with Abstraction (2007) (138)
Completeness and Complexity of Bounded Model Checking (2004) (136)
Formal verification of SystemC by automatic hardware/software partitioning (2005) (125)
Dynamic Cutoff Detection in Parameterized Concurrent Programs (2010) (118)
Model checking concurrent linux device drivers (2007) (116)
Software Verification for Weak Memory via Program Transformation (2012) (112)
Interpolant Strength (2010) (110)
Software Verification Using k-Induction (2011) (107)
Hardware verification using ANSI-C programs as a reference (2003) (97)
Don’t Sit on the Fence (2013) (90)
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees (2019) (90)
Word level predicate abstraction and refinement for verifying RTL Verilog (2005) (86)
An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic (2010) (85)
Mixed abstractions for floating-point arithmetic (2009) (85)
Ranking function synthesis for bit-vector relations (2010) (83)
Termination Analysis with Compositional Transition Invariants (2010) (80)
Mutation-Based Test Case Generation for Simulink Models (2009) (78)
Understanding Counterexamples with explain (2004) (74)
Race analysis for SystemC using model checking (2010) (66)
Test-case generation for embedded simulink via formal concept analysis (2011) (65)
Making the Most of BMC Counterexamples (2005) (63)
Deciding floating-point logic with abstract conflict driven clause learning (2014) (63)
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance (2019) (62)
MSc Computer Science Dissertation Automatic Generation of Control Flow Hijacking Exploits for Software Vulnerabilities (2009) (62)
Cogent: Accurate Theorem Proving for Program Verification (2005) (61)
Counterexample Guided Abstraction Refinement Via Program Execution (2004) (60)
Decision Procedures (2016) (60)
Deciding floating-point logic with systematic abstraction (2012) (59)
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs (2014) (57)
Symbolic Model Checking for Asynchronous Boolean Programs (2005) (56)
Symbolic Counter Abstraction for Concurrent Software (2009) (55)
A First Step Towards a Unified Proof Checker for QBF (2007) (55)
Verifying multi-threaded software with impact (2013) (54)
Scoot: A Tool for the Analysis of SystemC Models (2008) (54)
Computational challenges in bounded model checking (2005) (53)
Unfolding-based Partial Order Reduction (2015) (52)
Safety Verification and Refutation by k-Invariants and k-Induction (2015) (52)
Loop Summarization Using Abstract Transformers (2008) (51)
Automated pipeline design (2001) (50)
Numeric Bounds Analysis with Conflict-Driven Learning (2012) (50)
Logically-Constrained Reinforcement Learning (2018) (50)
Loop Summarization and Termination Analysis (2011) (49)
Interpolation-Based Software Verification with Wolverine (2011) (49)
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (2011) (48)
SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper) (2016) (46)
Cautious Reinforcement Learning with Logical Constraints (2020) (46)
Abstraction-Based Satisfiability Solving of Presburger Arithmetic (2004) (46)
Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP (2003) (44)
Using SAT based image computation for reachability analysis (2003) (44)
CBMC: The C Bounded Model Checker (2023) (43)
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode (2018) (43)
Abstract conflict driven learning (2013) (43)
Certified Reinforcement Learning with Logic Guidance (2019) (42)
Safety and Trustworthiness of Deep Neural Networks: A Survey (2018) (42)
Structural Test Coverage Criteria for Deep Neural Networks (2019) (39)
Verification of SpecC using predicate abstraction (2004) (39)
A Widening Approach to Multithreaded Program Verification (2014) (39)
Component-based Design and Verification in X-MAN (2012) (38)
Linear Completeness Thresholds for Bounded Model Checking (2011) (38)
Counterexample Guided Inductive Synthesis Modulo Theories (2018) (37)
Efficient Coverability Analysis by Proof Minimization (2012) (37)
Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors (2010) (36)
2LS for Program Analysis - (Competition Contribution) (2016) (35)
Formal verification of pipelined microprocessors (2001) (35)
Lifting Propositional Interpolants to the Word-Level (2007) (34)
Automatic Heap Layout Manipulation for Exploitation (2018) (34)
Logically-Constrained Neural Fitted Q-Iteration (2018) (34)
Under-approximating loops in C programs for fast counterexample detection (2013) (34)
Automatic analysis of DMA races using model checking and k-induction (2011) (33)
Formal co-validation of low-level hardware/software interfaces (2013) (32)
Modular Deep Reinforcement Learning with Temporal Logic Specifications (2019) (31)
DeepConcolic: Testing and Debugging Deep Neural Networks (2019) (31)
Hardware Verification Using Software Analyzers (2015) (31)
An abstraction-based decision procedure for bit-vector arithmetic (2009) (31)
A Theory of Finite Sets, Lists, and Maps for the SMT-LIB Standard (2009) (30)
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL (2013) (30)
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants (2017) (30)
Verifying C++ with STL containers via predicate abstraction (2007) (30)
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (2010) (29)
Making Software Verification Tools Really Work (2011) (29)
Counterexample-guided abstraction refinement for symmetric concurrent programs (2012) (29)
Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers (2008) (28)
Learning the Language of Error (2015) (28)
Incremental bounded model checking for embedded software (2017) (28)
Deep Reinforcement Learning with Temporal Logics (2020) (28)
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm (2018) (28)
Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog (2008) (28)
Counterexamples with Loops for Predicate Abstraction (2006) (27)
Formal Verification of a Basic Circuits Library (2001) (26)
Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme (2015) (26)
Successful Use of Incremental BMC in the Automotive Industry (2015) (26)
Gollum: Modular and Greybox Exploit Generation for Heap Overflows in Interpreters (2019) (26)
Structural Test Coverage Criteria for Deep Neural Networks (2019) (25)
Satisfiability Solvers Are Static Analysers (2012) (25)
A SAT-based algorithm for reparameterization in symbolic simulation (2004) (25)
Model checking boot code from AWS data centers (2018) (24)
Formal verification at higher levels of abstraction (2007) (24)
Counterexample-Guided Precondition Inference (2013) (24)
Checking consistency of C and Verilog using predicate abstraction and induction (2004) (23)
Sound static deadlock analysis for C/Pthreads (2016) (23)
Logically-Correct Reinforcement Learning (2018) (22)
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants (2016) (21)
Synthesising Interprocedural Bit-Precise Termination Proofs (2015) (21)
Formal techniques for effective co-verification of hardware/software co-designs (2017) (21)
Synthesising Interprocedural Bit-Precise Termination Proofs (T) (2015) (21)
Loop summarization using state and transition invariants (2013) (20)
Computing Over-Approximations with Bounded Model Checking (2005) (20)
Soundness of Data Flow Analyses for Weak Memory Models (2011) (20)
Interpolating Quantifier-Free Presburger Arithmetic (2010) (20)
Accelerated test execution using GPUs (2014) (20)
Effective verification of low-level software with nested interrupts (2015) (20)
Model Checking with Abstraction for Web Services (2007) (20)
Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs (2014) (20)
Decision Procedures for Equality Logic and Uninterpreted Functions (2008) (19)
Using Program Synthesis for Program Analysis (2015) (19)
Program synthesis: challenges and opportunities (2017) (19)
Approximation Refinement for Interpolation-Based Model Checking (2008) (19)
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning (2021) (19)
Specifying and verifying systems with multiple clocks (2003) (19)
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (2015) (19)
Lost in abstraction: Monotonicity in multi-threaded programs (2014) (18)
Verification of Boolean programs with unbounded thread creation (2007) (18)
Predicate abstraction and refinement techniques for verifying Verilog (2004) (18)
Coverage in interpolation-based model checking (2010) (17)
Verification and falsification of programs with loops using predicate abstraction (2010) (17)
Modular Demand-Driven Analysis of Semantic Difference for Program Versions (2017) (17)
VCEGAR: Verilog CounterExample Guided Abstraction Refinement (2007) (17)
Chaining Test Cases for Reactive System Testing (2013) (17)
Faster Linearizability Checking via P-Compositionality (2015) (17)
ANSI-C Bounded Model Checker User Manual (2003) (17)
Boom: Taking Boolean Program Model Checking One Step Further (2010) (17)
SAT-Based Summarization for Boolean Programs (2007) (17)
Problem Solving for the 21st Century: Efficient Solvers for Satisfiability Modulo Theories (2014) (16)
Over-Approximating Boolean Programs with Unbounded Thread Creation (2006) (16)
Context-aware counter abstraction (2010) (16)
Loopfrog: A Static Analyzer for ANSI-C Programs (2009) (16)
DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning (2019) (16)
Verification of tree-based hierarchical read-copy update in the Linux kernel (2016) (15)
An efficient SAT encoding of circuit codes (2008) (15)
Approximating Predicate Images for Bit-Vector Logic (2006) (15)
Automatic Generation of Propagation Complete SAT Encodings (2016) (15)
Proving the Correctness of a Complete Microprocessor (2000) (15)
Property-Driven Fence Insertion Using Reorder Bounded Model Checking (2014) (14)
JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution) (2019) (14)
An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions (2009) (14)
Towards Verifiable and Safe Model-Free Reinforcement Learning (2019) (14)
Explaining Image Classifiers Using Statistical Fault Localization (2020) (14)
Correct Hardware by Synthesis from PVS (13)
Efficient verification of multi-property designs (The benefit of wrong assumptions) (2017) (13)
Application Specific Higher Order Logic Theorem Proving (2002) (13)
Under-approximating loops in C programs for fast counterexample detection (2015) (13)
Brugada Syndrome with Marked Conduction Disease: Dual Implications of a SCN5A Mutation (2008) (13)
Accurate Theorem Proving for Program Verification (2004) (13)
An Abstract Interpretation of DPLL(T) (2013) (13)
Periodic Orbits and Equilibria in Glass Models for Gene Regulatory Networks (2010) (13)
Danger Invariants (2015) (12)
Strengthening Induction-Based Race Checking with Lightweight Static Analysis (2011) (12)
SCRATCH: a tool for automatic analysis of dma races (2011) (12)
v2c - A Verilog to C Translator (2016) (12)
On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency (2015) (12)
Proving the Correctness of Processors with Delayed Branch Using Delayed PC (2000) (11)
Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems (2004) (11)
Incremental Bounded Model Checking for Embedded Software (extended version) (2014) (11)
Bit-Precise Procedure-Modular Termination Analysis (2017) (11)
Proving the Correctness of Pipelined Micro-Architectures (2000) (11)
The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation (2020) (10)
Verifying digital systems with MATLAB (2017) (10)
Race analysis for systemc using model checking (2008) (10)
Strengthening properties using abstraction refinement (2009) (10)
Hardware and Software, Verification and Testing (2005) (10)
Shielding Atari Games with Bounded Prescience (2021) (10)
satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution) (2012) (10)
Verification of SpecC and Verilog using Predicate Abstraction (2004) (10)
Proving Safety with Trace Automata and Bounded Model Checking (2014) (10)
Automating Software Analysis at Large Scale (2014) (10)
Learning Concise Models from Long Execution Traces (2020) (9)
ExpliSAT: Guiding SAT-Based Software Verification with Explicit States (2006) (9)
Loopfrog - loop summarization for static analysis (2016) (9)
Image Computation and Predicate Refinement for RTL Verilog using Word Level Proofs (2007) (9)
Adaptive Generation of Unrestricted Adversarial Inputs (2019) (9)
Abstract Interpretation with Unfoldings (2017) (9)
Generating Realistic Unrestricted Adversarial Inputs using Dual-Objective GAN Training (2019) (9)
Accelerating invariant generation (2015) (8)
Evaluating Robustness to Context-Sensitive Feature Perturbations of Different Granularities (2020) (8)
Exposing previously undetectable faults in deep neural networks (2021) (8)
Fault tolerance tradeoffs in moving from decentralized to centralized embedded systems (2004) (8)
The Impact of Hardware Scheduling Mechanismus on the Performance and Cost of Processor Designs (1999) (8)
Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays (2012) (8)
Partial Orders for Efficient BMC of Concurrent Software (2013) (7)
Computer aided verification : 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings (2015) (7)
Towards a Classification of Hamiltonian Cycles in the 6-Cube (2008) (7)
Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP) (2018) (7)
DSSynth: An automated digital controller synthesis tool for physical plants (2017) (7)
Generating test case chains for reactive systems (2016) (7)
Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications (2018) (7)
An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic Attractors (2007) (7)
Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models (2015) (7)
Satisfiability checking and symbolic computation (2016) (6)
Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps (2016) (6)
A framework for Satisfiability Modulo Theories (2009) (6)
Model checking, 2nd Edition (2018) (6)
Fixed points for multi-cycle path detection (2009) (6)
Deciding a Combination of Theories (2008) (6)
Automated formal synthesis of provably safe digital controllers for continuous plants (2019) (6)
Restructuring Resolution Refutations for Interpolation (2008) (6)
Equality Logic and Uninterpreted Functions (2008) (6)
Evaluating Manual Intervention to Address the Challenges of Bug Finding with KLEE (2018) (5)
Wolverine: Battling Bugs with Interpolants - (Competition Contribution) (2012) (5)
A Complete Bounded Model Checking Algorithm for Pushdown Systems (2007) (5)
Equivalence Checking Using Trace Partitioning (2015) (5)
Unbounded safety verification for hardware using software analyzers (2016) (5)
Functional Requirements-Based Automated Testing for Avionics (2017) (5)
Computing Mutation Coverage in Interpolation-Based Model Checking (2012) (5)
Explanations for Occluded Images (2021) (5)
Program Synthesis for Program Analysis (2018) (5)
Proving Reachability Using FShell - (Competition Contribution) (2012) (4)
Learning the Language of Software Errors (2020) (4)
Compositional Explanations for Image Classifiers (2021) (4)
Kayak: Safe Semantic Refactoring to Java Streams (2017) (4)
Second-Order SAT Solving using Program Synthesis (2014) (4)
Automated Verification of Concurrent Software (2013) (4)
Validation of Evolving Software (2015) (4)
Effective Verification for Low-Level Software with Competing Interrupts (2017) (4)
Decision Procedures for Propositional Logic (2008) (4)
CounterExample Guided Neural Synthesis (2020) (4)
Neural termination analysis (2021) (4)
Using model checking tools to triage the severity of security bugs in the Xen hypervisor (2020) (4)
A Rigorous Correctness Proof of a Tomasulo Scheduler Supporting Precise Interrupts (1999) (4)
Sound Numerical Computations in Abstract Acceleration (2017) (4)
Model and Proof Generation for Heap-Manipulating Programs (2014) (4)
Ranking Policy Decisions (2020) (3)
Identification of a Retained Intravascular Wire by Three‐Dimensional Transesophageal Echocardiography (2009) (3)
2LS for Program Analysis (2023) (3)
Craig Interpolation for Quantifier-Free Presburger Arithmetic (2008) (3)
SAT-Based Predicate Abstraction of Programs (2005) (3)
From AgentSpeak to C for Safety Considerations in Unmanned Aerial Vehicles (2015) (3)
SAT-Based Model Checking (2018) (3)
Independence Abstractions and Models of Concurrency (2017) (3)
Tightening Test Coverage Metrics: A Case Study in Equivalence Checking Using k-Induction (2010) (3)
Assisted Coverage Closure (2015) (3)
Hardware/Software Co-verification Using Path-based Symbolic Execution (2020) (3)
Explaining Deep Neural Networks Using Spectrum-Based Fault Localization (2019) (3)
Equivalence Checking of a Floating-Point Unit Against a High-Level C Model (2016) (3)
Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration (2020) (2)
Accurate theorem proving for program analysis (2004) (2)
Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version) (2016) (2)
Abstraction of Syntax (2013) (2)
Second-Order Propositional Satisfiability (2014) (2)
Preface: Special Issue on Interpolation (2016) (2)
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning (2022) (2)
Experiments with SAT-Based Symbolic Simulation Using Reparameterization in the Abstraction Refinement Framework (2004) (2)
THE IMPACT OF WRITE BACK ON CACHE PERFORMANCE (2000) (2)
$$\mathsf {SC}^\mathsf{2} $$: Satisfiability Checking Meets Symbolic Computation (2016) (2)
Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs (2014) (2)
Verifying synchronous reactive systems using lazy abstraction (2015) (2)
Synthesising Interprocedural Bit-Precise Termination Proofs (extended version) (2015) (2)
Speeding Up Simulation of SystemC Using Model Checking (2009) (2)
Verification Using k-Induction ? (2011) (2)
Satisfiability Checking meets Symbolic Computation (Project Paper) (2016) (1)
SC 2 : Satisfiability Checking meets (2016) (1)
SC2: Satisfiability Checking Meets Symbolic Computation (Project Paper) (2016) (1)
Finding Lean Induced Cycles in Binary Hypercubes (2009) (1)
AgentSpeakTranslator: Prototype Version for TAROS 2015 (2015) (1)
Ranking function synthesis for bit-vector relations (2013) (1)
Precise verification of C programs (2014) (1)
Semantic Adversarial Perturbations using Learnt Representations (2020) (1)
modified tum_ardrone: Prototype Version for TAROS 2015 (2015) (1)
Tutorial: Software Model Checking (2004) (1)
Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351) (2014) (1)
Lifting CDCL to Template-Based Abstract Domains for Program Verification (2017) (1)
Software Verification (2021) (1)
Computational challenges in boundedmodel checking ∗ (2005) (1)
Static Analysis to Enhance the Power of Model Checking for Concurrent Software (2007) (1)
How to perform cryoablation for atrioventricular nodal reentrant tachycardia. (2007) (1)
Camera-laser projector stereo system based anti-collision system for robotic wheelchair users with cognitive impairment (2014) (1)
Tools and Algorithms for the Construction and Analysis of Systems (1995) (1)
Towards Automated Bounded Model Checking of API Implementations (2016) (1)
Computer Aided Verification (2015) (1)
Active Learning of Abstract System Models from Traces using Model Checking (2021) (1)
Algebraic Techniques in Software Verification : Challenges and Opportunities (2016) (1)
Sound Static Deadlock Analysis for C/Pthreads (Extended Version) (2016) (1)
Measuring Change Impact on Program Behaviour (2015) (0)
Preface: Special Issue on Interpolation (2016) (0)
Formalizing and Checking Thread Reﬁnement for Data-Race-Free Execution Models (cid:63) (2016) (0)
Assisted Coverage Closure (cid:63) (2017) (0)
Sound Numerical Computations in Abstract Acceleration (cid:63) (2017) (0)
CREST: Hardware Formal Verification with ANSI-C Reference Specifications (2019) (0)
Program analysis with interpolants (2010) (0)
Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352) (2014) (0)
The Virtues of Conflict: Analyzing Modern Concurrency (2016) (0)
FMCAD 2009 Conference Organization (2009) (0)
Heap Layout Optimisation for Exploitation (Technical Report) (2017) (0)
Verifying Concurrent Programs (2012) (0)
Model checking boot code from AWS data centers (2020) (0)
Proving the Corre tness of Pro essors with Delayed Bran husing Delayed PC ' sExtended Abstra (1999) (0)
Embedded software verification: Challenges and solutions (2008) (0)
Hardware and Software: Verification and Testing (2010) (0)
Intelligent Computer Mathematics (2016) (0)
Efﬁcient Veriﬁcation of Multi-Property Designs (The Beneﬁt of Wrong Assumptions) (2017) (0)
Decision Procedures and Abstract Interpretation (2014) (0)
Generating test case chains for reactive systems (2014) (0)
Challenges of Existing Technology (2015) (0)
Tutorial T7: Formal Techniques for Hardware/Software Co-Verification (2013) (0)
2009 List of Reviewers (2009) (0)
Safe , Automated and Formal Synthesis of Digital Controllers for Continuous Plants (2018) (0)
Logical abstract interpretation (2013) (0)
L O ] 3 1 A ug 2 01 5 Using Program Synthesis for Program Analysis (2018) (0)
Using SAT Procedures for Reachability Analysis (2003) (0)
JBMC: A Bounded Model Checking Tool for Java Bytecode (2023) (0)
Counterexample-guided abstraction refinement for symmetric concurrent programs (2012) (0)
Talks at BCTCS 2012 Mike Edmunds , University of Cardi ff The Antikythera mechanism and the early history of mechanical computing (2012) (0)
Computer Aided Verification (2015) (0)
SC-square: when Satisfiability Checking and Symbolic Computation join forces (2017) (0)
Decision Procedures for the Grand Challenge (2005) (0)
Proceedings - International Conference on Software Engineering: Preface (2011) (0)
Proceedings of the 6th international conference on Hardware and software: verification and testing (2010) (0)
L O ] 2 1 O ct 2 01 4 Second-Order SAT Solving using Program Synthesis (2014) (0)
Formal Synthesis of Provably Safe Digital Controllers Continuous Plants. (2019) (0)
Complementarities Among the Technologies Presented in the Book (2015) (0)
Introduction (2015) (0)
Analysing DMA Races in Multicore Software (2010) (0)
Danger Invariants (cid:63) (2019) (0)
The virtues of conflict: analysing modern concurrency (2016) (0)
Exemplary Achievements SC 2 challenges : when Satisfiability Checking and Symbolic Computation join forces (2017) (0)
Preface to the special issue “SI: Satisfiability Modulo Theories” (2012) (0)
SPECIAL S ECTION O N T OOLS A ND A LGORITHMS F OR THE C ONSTRUCTION A ND A NALYSIS O F S YSTEMS (2005) (0)
Under consideration for publication in Formal Aspects of Computing Incremental Bounded Model Checking for Embedded Software 1 (2016) (0)
P L ] 2 0 D ec 2 01 7 Kayak : Safe Semantic Refactoring to Java Streams (2018) (0)
Preface to the special issue “SI: Satisfiability Modulo Theories” (2013) (0)
S C ] 2 3 Ju l 2 01 6 Satisfiability Checking and Symbolic Computation (2016) (0)
The Completeness Threshold for BoundedModel Che king ? ? ? (2008) (0)
Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration (2020) (0)
S C ] 2 7 Ju l 2 01 6 SC 2 : Satisfiability Checking meets Symbolic Computation ( Project Paper ) (2016) (0)
From Propositional to Quantifier-Free Theories (2016) (0)
Abstra tion-based Satis ability Solving ofPresburger Arithmeti ? (2004) (0)
Loop summarization using state and transition invariants (2012) (0)
Strengthening Properties u sing Abstraction Refinement (2009) (0)
Applications in Software Engineering and Computational Biology (2016) (0)
First International Workshop on Property Verification for Software Components and Services (2007) (0)
Modular Demand-Driven Analysis of Semantic Diﬀerence for Program Versions (cid:63) (2017) (0)
Synthesising Termination and Non-Termination Proofs for Bit-Vector Programs (cid:63) (2017) (0)
Assisted Coverage (2018) (0)
for low-level software with competing interrupts (2018) (0)
Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded System Architectures (2004) (0)
Deciding floating-point logic with abstract conflict driven clause learning (2013) (0)
ICECCS 2014 Program Committee (2014) (0)
v 2 c – A Verilog to C Translator ? (2016) (0)
Introduction and Basic Concepts (2008) (0)
Automated formal synthesis of provably safe digital controllers for continuous plants (2019) (0)
A simple case of bifascicular block, or is there more than meets the eye? (2007) (0)
Logically-Constrained Neural Fitted Q-iteration Extended Abstract (2019) (0)
A 61‐Year‐Old Patient with Activity‐Related Wide Complex Tachycardia (2011) (0)
Lean Induced Cycles or Robust Cyclic Attractors (2008) (0)
A visual studio plug-in for CProver (2013) (0)
Verified software: theories, tools and experiments (2010) (0)
AbPress: Flexing Partial-Order Reduction and Abstraction (2014) (0)
Incremental bounded model checking for embedded software (2017) (0)
Investigating Distributional Robustness: Semantic Perturbations Using Generative Models (2020) (0)
Verification Using k-Induction Extended version including appendix with proofs (2011) (0)
Verification of Concurrent Software (2016) (0)

This paper list is powered by the following services:

Other Resources About Daniel Kroening

en.wikipedia.org

What Schools Are Affiliated With Daniel Kroening?

Daniel Kroening is affiliated with the following schools: