No photo of Thomas Wies

View Scopus Profile

Thomas Wies

Professor of Computer Science

    20052024

    Research activity per year

    Filter
    Conference contribution

    Search results

    • 2009

      Intra-module Inference

      Lahiri, S. K., Qadeer, S., Galeotti, J. P., Voung, J. W. & Wies, T., 2009, Computer Aided Verification - 21st International Conference, CAV 2009, Proceedings. p. 493-508 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5643 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    • It's doomed; We can prove it

      Hoenicke, J., Leino, K. R. M., Podelski, A., Schäf, M. & Wies, T., 2009, FM 2009: Formal Methods - Second World Congress, Proceedings. p. 338-353 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5850 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    • 2008

      Heap assumptions on demand

      Podelski, A., Rybalchenko, A. & Wies, T., 2008, Computer Aided Verification - 20th International Conference, CAV 2008, Proceedings. p. 314-327 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5123 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    • 2007

      Shape analysis for composite data structures

      Berdine, J., Calcagno, C., Cook, B., Distefano, D., O'Hearn, P. W., Wies, T. & Yang, H., 2007, Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings. Springer Verlag, p. 178-192 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4590 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

      Open Access

    • Using first-order theorem provers in the jahob data structure verification system

      Bouillaguet, C., Kuncak, V., Wies, T., Zee, K. & Rinard, M., 2007, Verification, Model Checking, and Abstract Interpretation, - 8th International Conference, VMCAI 2007, Proceedings. Springer Verlag, p. 74-88 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4349 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    • 2006

      Field constraint analysis

      Wies, T., Kuncak, V., Lam, P., Podelski, A. & Rinard, M., 2006, Verification, Model Checking, and Abstract Interpretation - 7th International Conference, VMCAI 2006, Proceedings. p. 157-173 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3855 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    • 2005

      Boolean heaps

      Podelski, A. & Wies, T., 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 268-283 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3672 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Your message has successfully been sent.
    Your message was not sent due to an error.