☰

Roderick P. Bloem, Ph.D. - Publications

Affiliations: 
2001 University of Colorado, Boulder, Boulder, CO, United States 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

11 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2019 Bloem R, Fey G, Greif F, Könighofer R, Pill I, Riener H, Röck F. Synthesizing adaptive test strategies from temporal logic specifications. Formal Methods in System Design. 55: 103-135. PMID 31866704 DOI: 10.1007/s10703-019-00338-9  0.339
2016 Jacobs S, Bloem R, Brenguier R, Ehlers R, Hell T, Könighofer R, Pérez GA, Raskin JF, Ryzhyk L, Sankur O, Seidl M, Tentrup L, Walker A. The first reactive synthesis competition (SYNTCOMP 2014) International Journal On Software Tools For Technology Transfer. 1-24. DOI: 10.1007/S10009-016-0416-3  0.353
2014 Bloem R, Chatterjee K, Greimel K, Henzinger TA, Hofferek G, Jobstmann B, Könighofer B, Könighofer R. Synthesizing robust systems Acta Informatica. 51: 193-220. DOI: 10.1007/S00236-013-0191-5  0.361
2013 Könighofer R, Hofferek G, Bloem RP. Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies International Journal On Software Tools For Technology Transfer. 15: 563-583. DOI: 10.1007/S10009-011-0221-Y  0.388
2012 Jobstmann B, Staber S, Griesmayer A, Bloem R. Finding and fixing faults Journal of Computer and System Sciences. 78: 441-460. DOI: 10.1016/J.Jcss.2011.05.005  0.448
2010 Griesmayer A, Staber S, Bloem R. Fault localization using a model checker Software Testing, Verification & Reliability. 20: 149-173. DOI: 10.1002/Stvr.V20:2  0.432
2008 Fey G, Staber S, Bloem R, Drechsler R. Automatic Fault Localization for Property Checking Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 27: 1138-1149. DOI: 10.1109/Tcad.2008.923234  0.434
2007 Bloem R, Cimatti A, Pill I, Roveri M. Symbolic Implementation Of Alternating Automata International Journal of Foundations of Computer Science. 18: 727-743. DOI: 10.1142/S0129054107004942  0.372
2007 Bloem R, Galler S, Jobstmann B, Piterman N, Pnueli A, Weiglhofer M. Specify, Compile, Run: Hardware from PSL Electronic Notes in Theoretical Computer Science. 190: 3-16. DOI: 10.1016/J.Entcs.2007.09.004  0.339
2007 Griesmayer A, Staber S, Bloem R. Automated Fault Localization for C Programs Electronic Notes in Theoretical Computer Science. 174: 95-111. DOI: 10.1016/J.Entcs.2006.12.032  0.39
2005 Staber S, Jobstmann B, Bloem R. Finding and fixing faults Lecture Notes in Computer Science. 35-49. DOI: 10.1007/11560548_6  0.45
Show low-probability matches.