The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Daniel Kroening Daniel Kröning ( http://dblp.L3S.de/Authors/Daniel_Kroening )

URL (Homepage):  http://www.kroening.com/  Author page on DBLP  Author page in RDF  Community of Daniel Kroening in ASPL-2

Publication years (Num. hits)
1999-2004 (24) 2005-2006 (15) 2007-2008 (25) 2009-2010 (30) 2011 (16) 2012-2013 (29) 2014 (22) 2015 (38) 2016 (27) 2017 (23) 2018 (22) 2019 (9)
Publication types (Num. hits)
article(94) book(3) incollection(8) inproceedings(170) phdthesis(1) proceedings(4)
Venues (Conferences, Journals, ...)
CoRR(51) TACAS(18) CAV(13) Formal Methods in System Desig...(10) VMCAI(10) ASE(8) DATE(8) DAC(7) FMCAD(7) SAS(6) STTT(6) ACM Trans. Program. Lang. Syst...(5) ESOP(5) FM(5) Haifa Verification Conference(5) ATVA(4) More (+10 of total 88)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 33 occurrences of 23 keywords

Results
Found 281 publication records. Showing 280 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening Certified Reinforcement Learning with Logic Guidance. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Isaac Dunn, Tom Melham, Daniel Kroening Generating Realistic Unrestricted Adversarial Inputs using Dual-Objective GAN Training. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Andreas Tiemeyer, Tom Melham, Daniel Kroening, John O'Leary CREST: Hardware Formal Verification with ANSI-C Reference Specifications. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening Explaining Deep Neural Networks Using Spectrum-Based Fault Localization. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution). Search on Bibsonomy TACAS (3) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore DeepConcolic: testing and debugging deep neural networks. Search on Bibsonomy ICSE (Companion Volume) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore Structural test coverage criteria for deep neural networks. Search on Bibsonomy ICSE (Companion Volume) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wenjie 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. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening Logically-Constrained Neural Fitted Q-iteration. Search on Bibsonomy AAMAS The full citation details ... 2019 DBLP  BibTeX  RDF
1Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP). Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lihao Liang, Tom Melham, Daniel Kroening, Peter Schrammel, Michael Tautschnig Effective Verification for Low-Level Software with Competing Interrupts. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening Logically-Constrained Neural Fitted Q-Iteration. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Sean Heelan, Tom Melham, Daniel Kroening Automatic Heap Layout Manipulation for Exploitation. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1John Galea, Sean Heelan, Daniel Neville, Daniel Kroening Evaluating Manual Intervention to Address the Challenges of Bug Finding with KLEE. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP). Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening Concolic Testing for Deep Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening Logically-Correct Reinforcement Learning. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Youcheng Sun, Xiaowei Huang, Daniel Kroening Testing Deep Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis Program Synthesis for Program Analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hong-Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter Bit-Precise Procedure-Modular Termination Analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lucas C. Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtík JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Byron Cook, Kareem Khazem, Daniel Kroening, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle Model Checking Boot Code from AWS Data Centers. Search on Bibsonomy CAV (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen Counterexample Guided Inductive Synthesis Modulo Theories. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Eugene Goldberg, Matthias Güdemann, Daniel Kroening, Rajdeep Mukherjee Efficient verification of multi-property designs (The benefit of wrong assumptions). Search on Bibsonomy DATE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lihao Liang, Paul E. McKenney, Daniel Kroening, Tom Melham Verification of tree-based hierarchical read-copy update in the Linux kernel. Search on Bibsonomy DATE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sean Heelan, Tom Melham, Daniel Kroening Automatic Heap Layout Manipulation for Exploitation. Search on Bibsonomy USENIX Security Symposium The full citation details ... 2018 DBLP  BibTeX  RDF
1Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening Concolic testing for deep neural networks. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Landsberg, Youcheng Sun, Daniel Kroening Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Armin Biere, Daniel Kröning SAT-Based Model Checking. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Eugene Goldberg, Matthias Güdemann, Daniel Kroening, Rajdeep Mukherjee Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Cristina David, Pascal Kesseli, Daniel Kroening Kayak: Safe Semantic Refactoring to Java Streams. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Youcheng 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. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho Verifying Digital Systems with MATLAB. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham Lifting CDCL to Template-based Abstract Domains for Program Verification. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Alessandro 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. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Marcelo Sousa, César Rodríguez, Vijay D'Silva, Daniel Kroening Abstract Interpretation with Unfoldings. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller Incremental bounded model checking for embedded software. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vojtech Forejt, Saurabh Joshi 0001, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexander Kaiser 0001, Daniel Kroening, Thomas Wahl Lost in abstraction: Monotonicity in multi-threaded programs. Search on Bibsonomy Inf. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening Sound Numerical Computations in Abstract Acceleration. Search on Bibsonomy NSV@CAV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessandro 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. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marcelo Sousa, César Rodríguez, Vijay D'Silva, Daniel Kroening Abstract Interpretation with Unfoldings. Search on Bibsonomy CAV (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessandro 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. Search on Bibsonomy HSCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham Lifting CDCL to Template-Based Abstract Domains for Program Verification. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Anna Trostanetski, Orna Grumberg, Daniel Kroening Modular Demand-Driven Analysis of Semantic Difference for Program Versions. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho Verifying digital systems with MATLAB. Search on Bibsonomy ISSTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessandro 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. Search on Bibsonomy ASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vijay D'Silva, Daniel Kroening, Marcelo Sousa Independence Abstractions and Models of Concurrency. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Youcheng 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. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rajdeep Mukherjee, Mitra Purandare, Raphael Polig, Daniel Kroening Formal Techniques for Effective Co-verification of Hardware/Software Co-designs. Search on Bibsonomy DAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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 0001 Satisfiability checking and symbolic computation. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peter Schrammel, Tom Melham, Daniel Kroening Generating test case chains for reactive systems. Search on Bibsonomy STTT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rajdeep Mukherjee, Saurabh Joshi 0001, Andreas Griesmayer, Daniel Kroening, Tom Melham Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Alessandro 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. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Daniel Kroening, Daniel Poetzl, Peter Schrammel, Björn Wachter Sound Static Deadlock Analysis for C/Pthreads (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Lihao Liang, Paul E. McKenney, Daniel Kroening, Tom Melham Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Ganesh Narayanaswamy, Saurabh Joshi 0001, Daniel Kroening The Virtues of Conflict: Analyzing Modern Concurrency. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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 0001 Satisfiability Checking and Symbolic Computation. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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 0001 Satisfiability Checking meets Symbolic Computation (Project Paper). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Daniel Kroening, Andrey Rybalchenko Preface: Special Issue on Interpolation. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel Kroening Verification of Concurrent Software. Search on Bibsonomy Dependable Software Systems Engineering The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel Kroening, Ofer Strichman Decision Procedures - An Algorithmic Point of View, Second Edition Search on Bibsonomy 2016   DOI  RDF
1Chang Hwan Peter Kim, Daniel Kroening, Marta Z. Kwiatkowska Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps. Search on Bibsonomy MASCOTS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rajdeep Mukherjee, Peter Schrammel, Daniel Kroening, Tom Melham Unbounded safety verification for hardware using software analyzers. Search on Bibsonomy DATE The full citation details ... 2016 DBLP  BibTeX  RDF
1Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis Danger Invariants. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rajdeep Mukherjee, Saurabh Joshi 0001, Andreas Griesmayer, Daniel Kroening, Tom Melham Equivalence Checking of a Floating-Point Unit Against a High-Level C Model. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel Neville, Andrew Malton, Martin Brain, Daniel Kroening Towards Automated Bounded Model Checking of API Implementations. Search on Bibsonomy CSTVA@ISSTA The full citation details ... 2016 DBLP  BibTeX  RDF
1Peter Schrammel, Daniel Kroening 2LS for Program Analysis - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel Poetzl, Daniel Kroening Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rajdeep Mukherjee, Michael Tautschnig, Daniel Kroening v2c - A Verilog to C Translator. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Landsberg, Hana Chockler, Daniel Kroening Probabilistic Fault Localisation. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig Assisted Coverage Closure. Search on Bibsonomy NFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Brain, Daniel Kroening, Ryan McCleeary Algebraic Techniques in Software Verification : Challenges and Opportunities. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1Daniel Kroening, Daniel Poetzl, Peter Schrammel, Björn Wachter Sound static deadlock analysis for C/Pthreads. Search on Bibsonomy ASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Brain, Liana Hadarean, Daniel Kroening, Ruben Martins Automatic Generation of Propagation Complete SAT Encodings. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ganesh Narayanaswamy, Saurabh Joshi 0001, Daniel Kroening The virtues of conflict: analysing modern concurrency. Search on Bibsonomy PPOPP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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 0001 SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel Kroening, Matt Lewis, Georg Weissenbacher Under-approximating loops in C programs for fast counterexample detection. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cristina David, Daniel Kroening, Matt Lewis Using Program Synthesis for Program Analysis. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Daniel Poetzl, Daniel Kroening Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Hong-Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter Synthesising Interprocedural Bit-Precise Termination Proofs (extended version). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Martin Brain, Saurabh Joshi 0001, Daniel Kroening, Peter Schrammel Safety Verification and Refutation by k-invariants and k-induction (extended version). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Alex Horn, Daniel Kroening On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Alex Horn, Daniel Kroening Faster linearizability checking via $P$-compositionality. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1César Rodríguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening Unfolding-based Partial Order Reduction. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (extended version). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Cristina David, Daniel Kroening, Matt Lewis Danger Invariants. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig Assisted Coverage Closure. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina Complementarities Among the Technologies Presented in the Book. Search on Bibsonomy Validation of Evolving Software The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ajitha Rajan, Daniel Kroening Measuring Change Impact on Program Behaviour. Search on Bibsonomy Validation of Evolving Software The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina Challenges of Existing Technology. Search on Bibsonomy Validation of Evolving Software The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina Introduction. Search on Bibsonomy Validation of Evolving Software The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina (eds.) Validation of Evolving Software Search on Bibsonomy 2015 DBLP  DOI  BibTeX  RDF
1Cristina David, Daniel Kroening, Matt Lewis Using Program Synthesis for Program Analysis. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Daniel Kroening, Corina S. Pasareanu (eds.) Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Daniel Kroening, Corina S. Pasareanu (eds.) Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II Search on Bibsonomy CAV (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 280 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license