Literature

Found 3 results
Export:[Tagged][XML][BibTex]
Sort by:[Year][Title][Type][Author]
Filters: author is Ruemmer  [Clear All Filters]
2011
He, N., Ruemmer, P., Kroening, D. , "Test-Case Generation for Embedded Simulink via Formal Concept Analysis", Design Automation Conference, 2011  . Abstract
 Export: Tagged XML BibTex
2010
Donaldson, A., Kroening, D., Ruemmer., P. , "Automatic Analysis of Scratch-pad Memory Code for Heterogeneous Multicore Processors ", TACAS , vol. 6015, Pahos, Cyprus, Springer, pp. 280-295, 20/03/2010. Abstract
 Export: Tagged XML BibTex
Cook, B., Kroening, D., Ruemmer, P., Wintersteiger, C. , "Ranking Function Synthesis for Bit-Vector Relations ", TACAS, vol. 6015, Paphos, Cyprus, Springer, pp. 236-250, 10/03/2010. Abstract
 Export: Tagged XML BibTex