Literature

Found 17 results
Export:[Tagged][XML][BibTex]
Sort by:[Year][Title][Type][Author]
Filters: author is Kroening  [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
D'Silva, V., Kroening, D., Purandare, M., Weissenbacher, G. , "Interpolant Strength", VMCAI 2010, vol. 5944, Madrid, Springer, pp. 129-145, 17/01/2010. Abstract
 Export: Tagged XML BibTex
Brillout, A., Kroening, D., Rümmer, P., Wahl, T. , "An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic", IJCAR, vol. to appear, Edinburgh, Springer, 16/07/2010. Abstract
 Export: Tagged XML BibTex
Kroening, D., Sharygina, N., Tsitovich, A., Wintersteiger, C. , "Termination Analysis with Compositional Relations", 22nd International Conference on Computer Aided Verification, vol. 6174, Edinburgh, Springer, pp. 89-103, 15/07/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
Blanc, N., Kroening, D. , "Race Analysis for SystemC using Model Checking", ACM Transactions on Design Automation of Electronic Systems, vol. 15, issue 3: ACM, pp. 1-31, 05/2010. Abstract
 Export: Tagged XML BibTex
Kroening, D., Weissenbacher, G. , "Verification and Falsification of Programs with Loops using Predicate Abstraction", Formal Aspects of Computing, vol. 22, issue 2: Springer, pp. 105-124, 2010  . Abstract
 Export: Tagged XML BibTex
2009
Kroening, D., Strichman, O. , "A Framework for Decision Procedures in Program Verification", Formal Aspects of Computing, vol. 21, issue 5: Springer, pp. 10, 10/2009. Abstract
 Export: Tagged XML BibTex
Bryant, R., Kroening, D., Ouaknine, J., Seshia, S., Strichman, O., Brady, B. , "Deciding Bit-Vector Arithmetic with Abstraction", Software Tools for Technology Transfer (STTT), vol. 11, issue 2: Springer, pp. 95--104, 2009  . Abstract
 Export: Tagged XML BibTex
Kroening, D., Sharygina, N., Tonetta, S., Tsitovich, A., Wintersteiger, C. , "Loopfrog: A Static Analyzer for ANSI-C Programs", ASE: IEEE, pp. 668-670, 2009  . Abstract
 Export: Tagged XML BibTex
Brillout, A., Kroening, D., Wahl, T. , "Mixed Abstractions for Floating-Point Arithmetic", FMCAD: IEEE, pp. 69-76, 2009  . Abstract
 Export: Tagged XML BibTex
Purandare, P., Wahl, T., Kroening, D. , "Strengthening Properties using Abstraction Refinement ", DATE, Nice, ACM, pp. 1692-1697, 2009  . Abstract
 Export: Tagged XML BibTex
Basler, G., Mazzucchi, M., Wahl, T., Kroening, D. , "Symbolic Counter Abstraction for Concurrent Software", CAV, Lyon, Springer, 2009  . Abstract
 Export: Tagged XML BibTex
Kroening, D., Weissenbacher, G. , "Verification and Falsification of Programs with Loops using Predicate Abstraction", Formal Aspects of Computing, 2009  . Abstract
 Export: Tagged XML BibTex
2008
Blanc, N., Kroening, D. , "Race Analysis for SystemC using Model Checking", ICCAD, San Jose, IEEE, 10/11/2008. Abstract
 Export: Tagged XML BibTex
D'Silva, V., Kroening, D., Weissenbacher, G. , "A Survey of Automated Techniques for Formal Software Verification", A Survey of Automated Techniques for Formal Software Verification: IEEE, 2008  . Abstract
 Export: Tagged XML BibTex