Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDDaniel Kroening
Daniel Kröning
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j46]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)- [i66]Mirco Giacobbe, Mohammadhosein Hasanbeig, Daniel Kroening, Hjalmar Wijk:
Shielding Atari Games with Bounded Prescience. CoRR abs/2101.08153 (2021) - [i65]Mirco Giacobbe, Daniel Kroening, Julian Parsert:
Neural Termination Analysis. CoRR abs/2102.03824 (2021) - [i64]Hana Chockler, Daniel Kroening, Youcheng Sun:
Compositional Explanations for Image Classifiers. CoRR abs/2103.03622 (2021) - 2020
- [j45]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) - [j44]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) - [j43]Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman:
Learning the Language of Software Errors. J. Artif. Intell. Res. 67: 881-903 (2020) - [c179]Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening:
Cautious Reinforcement Learning with Logical Constraints. AAMAS 2020: 483-491 - [c178]John Galea, Daniel Kroening:
The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation. AsiaCCS 2020: 622-636 - [c177]Natasha Yogananda Jeppu, Thomas F. Melham, Daniel Kroening, John O'Leary:
Learning Concise Models from Long Execution Traces. DAC 2020: 1-6 - [c176]Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening:
Explaining Image Classifiers Using Statistical Fault Localization. ECCV (28) 2020: 391-406 - [c175]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 - [c174]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
- [j42]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) - [c173]Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate:
Towards Verifiable and Safe Model-Free Reinforcement Learning. OVERLAY@AI*IA 2019: 1 - [c172]Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening:
Logically-Constrained Neural Fitted Q-iteration. AAMAS 2019: 2012-2014 - [c171]Sean Heelan, Tom Melham, Daniel Kroening:
Gollum: Modular and Greybox Exploit Generation for Heap Overflows in Interpreters. CCS 2019: 1689-1706 - [c170]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 - [c169]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 - [c168]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 - [c167]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 - [c166]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
- [j41]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) - [j40]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) - [j39]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) - [j38]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) - [c165]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 - [c164]Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen:
Counterexample Guided Inductive Synthesis Modulo Theories. CAV (1) 2018: 270-288 - [c163]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 - [c162]Eugene Goldberg, Matthias Güdemann, Daniel Kroening, Rajdeep Mukherjee:
Efficient verification of multi-property designs (The benefit of wrong assumptions). DATE 2018: 43-48 - [c161]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 - [c160]David Landsberg, Youcheng Sun, Daniel Kroening:
Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications. FASE 2018: 246-263 - [c159]Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening:
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems. HSCC 2018: 253-258 - [c158]Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening:
Concolic testing for deep neural networks. ASE 2018: 109-119 - [c157]Sean Heelan, Tom Melham, Daniel Kroening:
Automatic Heap Layout Manipulation for Exploitation. USENIX Security Symposium 2018: 763-779 - [p8]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
- [j37]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) - [j36]Alexander Kaiser, Daniel Kroening, Thomas Wahl:
Lost in abstraction: Monotonicity in multi-threaded programs. Inf. Comput. 252: 30-47 (2017) - [j35]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) - [j34]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) - [c156]Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham:
Lifting CDCL to Template-Based Abstract Domains for Program Verification. ATVA 2017: 307-326 - [c155]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 - [c154]Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening:
Sound Numerical Computations in Abstract Acceleration. NSV@CAV 2017: 38-60 - [c153]Marcelo Sousa, César Rodríguez, Vijay D'Silva, Daniel Kroening:
Abstract Interpretation with Unfoldings. CAV (2) 2017: 197-216 - [c152]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 - [c151]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 - [c150]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 - [c149]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 - [c148]Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho:
Verifying digital systems with MATLAB. ISSTA 2017: 388-391 - [c147]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 - [c146]Anna Trostanetski, Orna Grumberg, Daniel Kroening:
Modular Demand-Driven Analysis of Semantic Difference for Program Versions. SAS 2017: 405-427 - [c145]Vijay 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 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 - [j33]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) - [j32]Daniel Kroening, Andrey Rybalchenko:
Preface: Special Issue on Interpolation. J. Autom. Reason. 57(1): 1-2 (2016) - [j31]Peter Schrammel, Tom Melham, Daniel Kroening:
Generating test case chains for reactive systems. Int. J. Softw. Tools Technol. Transf. 18(3): 319-334 (2016) - [c144]Rajdeep Mukherjee, Peter Schrammel, Daniel Kroening, Tom Melham:
Unbounded safety verification for hardware using software analyzers. DATE 2016: 1152-1155 - [c143]Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis:
Danger Invariants. FM 2016: 182-198 - [c142]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 - [c141]David Landsberg, Hana Chockler, Daniel Kroening:
Probabilistic Fault Localisation. Haifa Verification Conference 2016: 65-81 - [c140]Daniel Neville, Andrew Malton, Martin Brain, Daniel Kroening:
Towards Automated Bounded Model Checking of API Implementations. CSTVA@ISSTA 2016: 31-42 - [c139]Daniel Kroening, Daniel Poetzl, Peter Schrammel, Björn Wachter:
Sound static deadlock analysis for C/Pthreads. ASE 2016: 379-390 - [c138]Chang Hwan Peter Kim, Daniel Kroening, Marta Z. Kwiatkowska:
Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps. MASCOTS 2016: 115-124 - [c137]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:
SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). CICM 2016: 28-43 - [c136]Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig:
Assisted Coverage Closure. NFM 2016: 49-64 - [c135]Ganesh Narayanaswamy, Saurabh Joshi, Daniel Kroening:
The virtues of conflict: analysing modern concurrency. PPOPP 2016: 25:1-25:12 - [c134]Martin Brain, Daniel Kroening, Ryan McCleeary:
Algebraic Techniques in Software Verification : Challenges and Opportunities. SC²@SYNASC 2016: 8-12 - [c133]Daniel Poetzl, Daniel Kroening:
Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models. TACAS 2016: 515-530 - [c132]Rajdeep Mukherjee, Michael Tautschnig, Daniel Kroening:
v2c - A Verilog to C Translator. TACAS 2016: 580-586 - [c131]Peter Schrammel, Daniel Kroening:
2LS for Program Analysis - (Competition Contribution). TACAS 2016: 905-907 - [c130]Martin Brain, Liana Hadarean, Daniel Kroening, Ruben Martins:
Automatic Generation of Propagation Complete SAT Encodings. VMCAI 2016: 536-556 - [p7]Daniel Kroening:
Verification of Concurrent Software. Dependable Software Systems Engineering 2016: 159-178 - [i34]Ganesh Narayanaswamy, Saurabh Joshi, Daniel Kroening:
The Virtues of Conflict: Analyzing Modern Concurrency. CoRR abs/1602.08321 (2016) - [i33]Daniel Kroening, Daniel Poetzl, Peter Schrammel, Björn Wachter:
Sound Static Deadlock Analysis for C/Pthreads (Extended Version). CoRR abs/1607.06927 (2016) - [i32]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. CoRR abs/1607.06945 (2016) - [i31]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 meets Symbolic Computation (Project Paper). CoRR abs/1607.08028 (2016) - [i30]Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham:
Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version). CoRR abs/1609.00169 (2016) - [i29]Lihao Liang, Paul E. McKenney, Daniel Kroening, Tom Melham:
Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel. CoRR abs/1610.03052 (2016) - [i28]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. CoRR abs/1610.04761 (2016) - 2015
- [j30]Daniel Kroening, Matt Lewis, Georg Weissenbacher:
Under-approximating loops in C programs for fast counterexample detection. Formal Methods Syst. Des. 47(1): 75-92 (2015) - [c129]Martin Chapman, Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman, Michael Tautschnig:
Learning the Language of Error. ATVA 2015: 114-130 - [c128]César Rodríguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening:
Unfolding-based Partial Order Reduction. CONCUR 2015: 456-469 - [c127]Daniel Kroening, Lihao Liang, Tom Melham, Peter Schrammel, Michael Tautschnig:
Effective verification of low-level software with nested interrupts. DATE 2015: 229-234 - [c126]Kumar Madhukar, Mandayam K. Srivas, Björn Wachter, Daniel Kroening, Ravindra Metta:
Verifying synchronous reactive systems using lazy abstraction. DATE 2015: 1571-1574 - [c125]Cristina David, Daniel Kroening, Matt Lewis:
Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs. ESOP 2015: 183-204 - [c124]Cristina David, Daniel Kroening, Matt Lewis:
Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs. ESOP 2015: 661-684 - [c123]David Landsberg, Hana Chockler, Daniel Kroening, Matt Lewis:
Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme. FASE 2015: 115-129 - [c122]Saurabh Joshi, Daniel Kroening:
Property-Driven Fence Insertion Using Reorder Bounded Model Checking. FM 2015: 291-307 - [c121]Daniel Kroening, Matt Lewis, Georg Weissenbacher:
Proving Safety with Trace Automata and Bounded Model Checking. FM 2015: 325-341 - [c120]Kumar Madhukar, Björn Wachter, Daniel Kroening, Matt Lewis, Mandayam K. Srivas:
Accelerating Invariant Generation. FMCAD 2015: 105-111 - [c119]Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller:
Successful Use of Incremental BMC in the Automotive Industry. FMICS 2015: 62-77 - [c118]Alex Horn, Daniel Kroening:
On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency. FORTE 2015: 19-34 - [c117]Alex Horn, Daniel Kroening:
Faster Linearizability Checking via P-Compositionality. FORTE 2015: 50-65 - [c116]Rajdeep Mukherjee, Daniel Kroening, Tom Melham:
Hardware Verification Using Software Analyzers. ISVLSI 2015: 7-12 - [c115]