Daniel Kroening

Daniel Kroening (born 6 November 1975) 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. Provided by Wikipedia
Showing 1 - 7 results of 7 for search 'Kroening, Daniel', query time: 0.18s Refine Results
  1. 1
    Decision Procedures An Algorithmic Point of View /
    by Kroening, Daniel, Strichman, Ofer
    Published 2016
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Decision Procedures An Algorithmic Point of View /
    by Kroening, Daniel, Strichman, Ofer
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /
    Published 2015
    Other Authors: “…Kroening, Daniel…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /
    Published 2015
    Other Authors: “…Kroening, Daniel…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers /
    Published 2014
    Other Authors: “…Kroening, Daniel…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Validation of Evolving Software
    Published 2015
    Other Authors: “…Kroening, Daniel…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers /
    Published 2011
    Other Authors: “…Kroening, Daniel…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search