No photo of Thomas Wies

View Scopus Profile

Thomas Wies

Professor of Computer Science

    20052024

    Research activity per year

    Filter
    Conference contribution

    Search results

    • 2024

      Deciding Subtyping for Asynchronous Multiparty Sessions

      Li, E., Stutz, F. & Wies, T., 2024, Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Weirich, S. (ed.). Springer Science and Business Media Deutschland GmbH, p. 176-205 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14576 LNCS).

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

      Open Access

    • Verifying Lock-Free Search Structure Templates

      Patel, N., Shasha, D. & Wies, T., Sep 2024, 38th European Conference on Object-Oriented Programming, ECOOP 2024. Aldrich, J. & Salvaneschi, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 24. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 313).

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

    • 2023

      Beyond The Text: Analysis of Privacy Statements through Syntactic and Semantic Role Labeling

      Shvartzshnaider, Y., Wies, T., Balashankar, A. & Subramanian, L., 2023, NLLP 2023 - Natural Legal Language Processing Workshop 2023, Proceedings of the Workshop. Preotiuc-Pietro, D., Goanta, C., Chalkidis, I., Barrett, L., Spanakis, G. & Aletras, N. (eds.). Association for Computational Linguistics (ACL), p. 85-98 14 p. (NLLP 2023 - Natural Legal Language Processing Workshop 2023, Proceedings of the Workshop).

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

    • Complete Multiparty Session Type Projection with Automata

      Li, E., Stutz, F., Wies, T. & Zufferey, D., 2023, Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings. Enea, C. & Lal, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 350-373 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13966 LNCS).

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

      Open Access

    • Less is more: Refinement proofs for probabilistic proofs

      Jiang, K., Chait-Roth, D., Destefano, Z., Walfish, M. & Wies, T., 2023, Proceedings - 44th IEEE Symposium on Security and Privacy, SP 2023. Institute of Electrical and Electronics Engineers Inc., p. 1112-1129 18 p. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2023-May).

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

    • Make Flows Small Again: Revisiting the Flow Framework

      Meyer, R., Wies, T. & Wolff, S., 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 628-646 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13993 LNCS).

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

      Open Access

    • nekton: A Linearizability Proof Checker

      Meyer, R., Opaterny, A., Wies, T. & Wolff, S., 2023, Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings. Enea, C. & Lal, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 170-183 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13964 LNCS).

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

      Open Access
    • 2021

      Inverse-Weighted Survival Games

      Han, X., Goldstein, M., Puli, A., Wies, T., Perotte, A. J. & Ranganath, R., 2021, Advances in Neural Information Processing Systems 34 - 35th Conference on Neural Information Processing Systems, NeurIPS 2021. Ranzato, M., Beygelzimer, A., Dauphin, Y., Liang, P. S. & Wortman Vaughan, J. (eds.). Neural information processing systems foundation, p. 2160-2172 13 p. (Advances in Neural Information Processing Systems; vol. 3).

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

    • 2020

      Local Reasoning for Global Graph Properties

      Krishna, S., Summers, A. J. & Wies, T., 2020, Programming Languages and Systems- 29th European Symposium on Programming, ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Müller, P. (ed.). Springer, p. 308-335 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12075 LNCS).

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

      Open Access

    • TarTar: A Timed Automata Repair Tool

      Kölbl, M., Leue, S. & Wies, T., 2020, Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. Lahiri, S. K. & Wang, C. (eds.). Springer, p. 529-540 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12224 LNCS).

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

      Open Access

    • Verifying concurrent search structure templates

      Krishna, S., Patel, N., Shasha, D. & Wies, T., Jun 11 2020, PLDI 2020 - Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Donaldson, A. F. & Torlak, E. (eds.). Association for Computing Machinery, p. 181-196 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

    • 2019

      Charting a Course Through Uncertain Environments: SEA Uses Past Problems to Avoid Future Failures

      Moore, P., Cappos, J., Frankl, P. & Wies, T., Oct 2019, Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering, ISSRE 2019. Wolter, K., Schieferdecker, I., Gallina, B., Cukier, M., Natella, R., Ivaki, N. & Laranjeiro, N. (eds.). IEEE Computer Society, p. 1-12 12 p. 8987577. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2019-October).

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

    • Clock Bound Repair for Timed Systems

      Kölbl, M., Leue, S. & Wies, T., 2019, Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Dillig, I. & Tasiran, S. (eds.). Springer Verlag, p. 79-96 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11561 LNCS).

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

      Open Access

    • Vaccine: Using contextual integrity for data leakage detection

      Shvartzshnaider, Y., Wies, T., Pavlinovic, Z., Lakshminarayanan, Mittal, P., Balashankar, A. & Nissenbaum, H., May 13 2019, The Web Conference 2019 - Proceedings of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, Inc, p. 1702-1712 11 p. (The Web Conference 2019 - Proceedings of the World Wide Web Conference, WWW 2019).

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

    • 2018

      RECIPE: Applying Open Domain Question Answering to Privacy Policies

      Shvartzshnaider, Y., Balashankar, A., Wies, T. & Subramanian, L., 2018, ACL 2018 - Machine Reading for Question Answering, Proceedings of the Workshop. Association for Computational Linguistics (ACL), p. 71-77 7 p. (Proceedings of the Annual Meeting of the Association for Computational Linguistics).

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

    • 2017

      Full accounting for verifiable outsourcing

      Wahby, R. S., Ji, Y., Blumberg, A. J., Shelat, A., Thaler, J., Walfish, M. & Wies, T., Oct 30 2017, CCS 2017 - Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 2071-2086 16 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

      Open Access

    • Partitioned memory models for program analysis

      Wang, W., Barrett, C. & Wies, T., 2017, Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Proceedings. Bouajjani, A. & Monniaux, D. (eds.). Springer Verlag, p. 539-558 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10145 LNCS).

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

    • 2016

      Classifying bugs with interpolants

      Podelski, A., Schäf, M. & Wies, T., 2016, Tests and Proofs - 10th International Conference, TAP 2016 Held as Part of STAF 2016, Proceedings. Aichernig, B. K. & Furia, C. A. (eds.). Springer Verlag, p. 151-168 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9762).

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

    • Error invariants for concurrent traces

      Holzer, A., Schwartz-Narbonne, D., Befrouei, M. T., Weissenbacher, G. & Wies, T., 2016, FM 2016: Formal Methods - 21st International Symposium, Proceedings. Heitmeyer, C., Philippou, A., Gnesi, S. & Fitzgerald, J. (eds.). Springer Verlag, p. 370-387 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9995 LNCS).

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

    • Learning Privacy Expectations by Crowdsourcing Contextual Informational Norms

      Shvartzshnaider, Y., Tong, S., Wies, T., Kift, P., Nissenbaum, H., Subramanian, L. & Mittal, P., Nov 3 2016, Proceedings of the 4th AAAI Conference on Human Computation and Crowdsourcing, HCOMP 2016. Ghosh, A. & Lease, M. (eds.). AAAI press, p. 209-218 10 p. (Proceedings of the 4th AAAI Conference on Human Computation and Crowdsourcing, HCOMP 2016).

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

    • 2015

      Conflict-directed graph coverage

      Schwartz-Narbonne, D., Schäf, M., Jovanović, D., Rümmer, P. & Wies, T., 2015, NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Springer Verlag, p. 327-342 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9058).

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

    • Context-directed graph coverage

      Schwartz-Narbonne, D., Schaf, M., Jovanovic, D., Rummer, P. & Wies, T., Apr 2015, 7th NASA Formal Methods Symposium: NFM '15. Pasadena, CA

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

    • Deciding local theory extensions via E-matching

      Bansal, K., Reynolds, A., King, T., Barrett, C. & Wies, T., 2015, Computer Aided Verification - 27th International Conference, CAV 2015, Proceedings. Păsăreanu, C. S. & Kroening, D. (eds.). Springer Verlag, p. 87-105 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9207).

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

    • Finding Minimum Type Error Sources

      Pavlinovic, Z., King, T. & Wies, T., 2015, Software Engineering and Management 2015: Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW. Assmann, U., Demuth, B., Spitta, T., Puschel, G. & Kaiser, R. (eds.). Gesellschaft fur Informatik (GI), p. 43-44 2 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P-239).

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

    • Practical SMT-based type error localization

      Pavlinovic, Z., King, T. & Wies, T., Aug 2015, 20th ACM SIGPLAN International Conference on Functional Programming: ICFP '15. Vancouver, British Columbia, Canada

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

    • VERMEER: A Tool for Tracing and Explaining Faulty C Programs

      Schwartz-Narbonne, D., Oh, C., Schaf, M. & Wies, T., Aug 12 2015, Proceedings - 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, ICSE 2015. IEEE Computer Society, p. 737-740 4 p. 7203056. (Proceedings - International Conference on Software Engineering; vol. 2).

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

    • 2014

      Automating separation logic with trees and data

      Piskac, R., Wies, T. & Zufferey, D., 2014, Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. Springer Verlag, p. 711-728 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8559 LNCS).

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

    • Cascade 2.0

      Wang, W., Barrett, C. & Wies, T., 2014, Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, Proceedings. Springer Verlag, p. 142-160 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8318 LNCS).

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

    • Concolic fault localization

      Oh, C., Schaf, M., Schwartz-Narbonne, D. & Wies, T., Dec 4 2014, Proceedings - 2014 14th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2014. Institute of Electrical and Electronics Engineers Inc., p. 135-144 10 p. 6975647. (Proceedings - 2014 14th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2014).

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

    • Dynamic package interfaces

      Esmaeilsabzali, S., Majumdar, R., Wies, T. & Zufferey, D., 2014, Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proceedings. Springer Verlag, p. 261-275 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8411 LNCS).

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

    • Finding minimum type error sources

      Pavlinovic, Z., King, T. & Wies, T., Oct 15 2014, Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA. Association for Computing Machinery, p. 525-542 18 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

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

      Open Access

    • GRASShopper: Complete heap verification with mixed specifications

      Piskac, R., Wies, T. & Zufferey, D., 2014, Tools and Algorithms for the Construction and Analysis of Systems - 20th Int. Conf., TACAS 2014, Held as Part of the European Joint Conf. on Theory and Practice of Software, ETAPS 2014, Proc.. Springer Verlag, p. 124-139 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8413 LNCS).

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

    • 2013

      Automating separation logic using SMT

      Piskac, R., Wies, T. & Zufferey, D., 2013, Computer Aided Verification - 25th International Conference, CAV 2013, Proceedings. p. 773-789 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8044 LNCS).

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

    • Complete instantiation-based interpolation

      Totla, N. & Wies, T., 2013, POPL 2013 - Proceedings of 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 537-548 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

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

    • 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
    Your message has successfully been sent.
    Your message was not sent due to an error.