MPG.eBooks - Author Search Results

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

Cover Image

1

Decision Procedures : An Algorithmic Point of View

by Kroening, Daniel, Strichman, Ofer
Published 2016

Springer Berlin Heidelberg

Cover Image

2

Decision Procedures : An Algorithmic Point of View

by Kroening, Daniel, Strichman, Ofer
Published 2008

Springer Berlin Heidelberg

Cover Image

3

Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Published 2014

Springer International Publishing

Other Authors: “...Kroening, Daniel...”

Cover Image

4

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Published 2015

Springer International Publishing

Other Authors: “...Kroening, Daniel...”

Cover Image

5

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Published 2015

Springer International Publishing

Other Authors: “...Kroening, Daniel...”

Cover Image

6

Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Published 2011

Springer Berlin Heidelberg

Other Authors: “...Kroening, Daniel...”

Cover Image

7

Validation of Evolving Software

Published 2015

Springer International Publishing

Other Authors: “...Kroening, Daniel...”