Graph explorer

Roderick Bloem

Roderick Bloem contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview previewRoderick Bloem
13 nodes12 links
Roderick Bloem13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipARoderick BloemResearcherWIt's Time to Play S...preprint / 2020WSynthesizing Robust Sys...preprint / 2012WSAT-Based Synthesis Met...preprint / 2013WBetter Quality in Synth...preprint / 2013WHow to Handle Assumptio...preprint / 2014WParameterized Synthesis...preprint / 2014WAssume-Guarantee Synthe...preprint / 2014WShield Synthesis: Runti...preprint / 2015WConformance Testing of ...preprint / 2022WCorrect-by-Construction...preprint / 2022WAdaptive Testing for Sp...preprint / 2021WAutomatic Error Localiz...preprint / 2014
PersonSignal 1012 links

Roderick Bloem

Researcher

Open