Roderick Bloem

No bio available. Add one in Open Library.

Books by Roderick Bloem (50 max)

+ shelf+ list

Decidability of Parameterized Verification

2015

Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov

+ shelf+ list

Handbook of Model Checking

2017

Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem

+ shelf+ list

Computer Aided Verification 26th International Conference, CAV 2014, Held As Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

2014

Armin Biere, Roderick Bloem

+ shelf+ list

Trusted Systems 5th International Conference Intrust 2013 Graz Austria December 45 2013 Proceedings

2013

Roderick Bloem

+ shelf+ list

Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings

2013

Roderick Bloem, Peter Lipp

+ shelf+ list

Hardware and Software : Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, ...

2016

Roderick Bloem, Eli Arbel

+ shelf+ list

Software Verification 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers

2022

Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina