No photo of Thomas Wies

View Scopus Profile

Thomas Wies

Professor of Computer Science

    20052024

    Research activity per year

    Search results

    • 2013

      Explaining inconsistent code

      Schäf, M., Schwartz-Narbonne, D. & Wies, T., 2013, 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings. p. 521-531 11 p. (2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings).

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

    • Flow-sensitive fault localization

      Christ, J., Ermis, E., Schäf, M. & Wies, T., 2013, Verification, Model Checking, and Abstract Interpretation - 14th International Conference, VMCAI 2013, Proceedings. Springer Verlag, p. 189-208 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7737 LNCS).

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

    • Structural counter abstraction

      Bansal, K., Koskinen, E., Wies, T. & Zufferey, D., 2013, Tools and Algorithms for the Construction and Analysis of Systems - 19th Int. Conf., TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Proc.. p. 62-77 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7795 LNCS).

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

    • 2012

      Deciding functional lists with sublist sets

      Wies, T., Muñiz, M. & Kuncak, V., 2012, Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Proceedings. p. 66-81 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7152 LNCS).

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

    • Error invariants

      Ermis, E., Schäf, M. & Wies, T., 2012, FM 2012: Formal Methods - 18th International Symposium, Proceedings. p. 187-201 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7436 LNCS).

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

    • Ideal abstractions for well-structured transition systems

      Zufferey, D., Wies, T. & Henzinger, T. A., 2012, Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Proceedings. p. 445-460 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7148 LNCS).

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

      Open Access
    • 2011

      An efficient decision procedure for imperative tree data structures

      Wies, T., Muñiz, M. & Kuncak, V., 2011, Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Proceedings. p. 476-491 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6803 LNAI).

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

    • Decision procedures for automating termination proofs

      Piskac, R. & Wies, T., 2011, Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Proceedings. p. 371-386 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6538 LNCS).

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

    • Scheduling large jobs by abstraction refinement

      Henzinger, T. A., Singh, V., Wies, T. & Zufferey, D., 2011, EuroSys'11 - Proceedings of the EuroSys 2011 Conference. p. 329-342 14 p. (EuroSys'11 - Proceedings of the EuroSys 2011 Conference).

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

      Open Access

    • Static scheduling in clouds

      Henzinger, T. A., Singh, A. V., Zufferey, D., Singh, V. & Wies, T., 2011.

      Research output: Contribution to conference › Paper › peer-review

    • 2010

      A marketplace for cloud resources

      Henzinger, T. A., Singh, A. V., Singh, V., Wies, T. & Zufferey, D., 2010, Embedded Systems Week 2010 - Proceedings of the 10th ACM International Conference on Compilers, Architecture and Synthesis for Embedded Systems, EMSOFT'10. p. 1-7 7 p. (Embedded Systems Week 2010 - Proceedings of the 10th ACM International Conference on Compilers, Architecture and Synthesis for Embedded Systems, EMSOFT'10).

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

    • Building a calculus of data structures

      Kuncak, V., Piskac, R., Suter, P. & Wies, T., 2010, Verification, Model Checking, and Abstract Interpretation - 11th International Conference, VMCAI 2010, Proceedings. p. 26-44 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5944 LNCS).

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

    • Counterexample-guided focus

      Podelski, A. & Wies, T., 2010, POPL'10 - Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 249-260 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

    • Counterexample-guided focus

      Podelski, A. & Wies, T., Jan 2010, In: ACM SIGPLAN Notices. 45, 1, p. 249-260 12 p.

      Research output: Contribution to journal › Article › peer-review

    • Doomed program points

      Hoenicke, J., Leino, K. R. M., Podelski, A., Schäf, M. & Wies, T., 2010, In: Formal Methods in System Design. 37, 2-3, p. 171-199 29 p.

      Research output: Contribution to journal › Article › peer-review

    • FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment

      Henzinger, T. A., Singh, A. V., Singh, V., Wies, T. & Zufferey, D., 2010, Proceedings - 2010 IEEE 3rd International Conference on Cloud Computing, CLOUD 2010. p. 83-90 8 p. 5558008. (Proceedings - 2010 IEEE 3rd International Conference on Cloud Computing, CLOUD 2010).

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

    • Forward analysis of depth-bounded processes

      Wies, T., Zufferey, D. & Henzinger, T. A., 2010, Foundations of Software Science and Computational Structures - 13th Int. Conference, FoSSaCS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Proc.. p. 94-108 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6014 LNCS).

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

    • 2009

      Abstraction refinement for quantified array assertions

      Seghir, M. N., Podelski, A. & Wies, T., 2009, Static Analysis - 16th International Symposium, SAS 2009, Proceedings. p. 3-18 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5673 LNCS).

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

    • Combining theories with shared set operations

      Wies, T., Piskac, R. & Kuncak, V., 2009, Frontiers of Combining Systems - 7th International Symposium, FroCoS 2009, Proceedings. p. 366-382 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5749 LNAI).

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

      Open Access

    • 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

    • Ph.D. thesis: Symbolic shape analysis

      Wies, T., Jan 2009, Freiburg, Germany: Freiburg University.

      Research output: Book/Report › Other report

    • 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.