TU Wien Informatics

20 Years
Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

Franz Wotawa

Ao.Univ.Prof. Dipl.-Ing. Dr.techn.

Research Areas

  • model-based and qualitativ reasoning, software engineering, configuration, verification and validation, intelligent agents, theorem proving

Role

Contact

  • ASP for Anytime Dynamic Programming on Tree Decompositions (Extended Abstract) / Bliem, B., Kaufmann, B., Schaub, T., & Woltran, S. (2016). ASP for Anytime Dynamic Programming on Tree Decompositions (Extended Abstract). In G. Friedrich, M. Helmert, & F. Wotawa (Eds.), KI 2016: Advances in Artificial Intelligence (pp. 257–263). LNCS/Springer. http://hdl.handle.net/20.500.12708/56694
    Projects: D-Flat (2013–2017) / START (2014–2022)
  • Investigating the relationship between argumentation semantics via signatures / Dunne, P. E., Linsbichler, T., Spanring, C., & Woltran, S. (2016). Investigating the relationship between argumentation semantics via signatures. In G. Friedrich, M. Helmert, & F. Wotawa (Eds.), Advances in Artificial Intelligence - 39th Annual German Conference on AI, Proceedings (pp. 271–277). Springer. http://hdl.handle.net/20.500.12708/56782
  • Providing Built-In Counters in a Declarative Dynamic Programming Environment / Abseher, M., Moldovan, M., & Woltran, S. (2016). Providing Built-In Counters in a Declarative Dynamic Programming Environment. In G. Friedrich, M. Helmert, & F. Wotawa (Eds.), KI 2016: Advances in Artificial Intelligence (pp. 3–16). LNCS/Springer. https://doi.org/10.1007/978-3-319-46073-4_1
    Projects: D-Flat (2013–2017) / START (2014–2022)
  • Fifty Shades of Grey in SOA Testing / Wotawa, F., Schulz, M., Pill, I., Jehan, S., Leitner, P., Hummer, W., Schulte, S., Hoenisch, P., & Dustdar, S. (2013). Fifty Shades of Grey in SOA Testing. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops. 9th Workshop on Advances in Model Based Testing (A-MOST 2013) co-located with ICST 2013, Luxembourg, EU. IEEE Computer Society. https://doi.org/10.1109/icstw.2013.26
    Project: Audit 4 SOAs (2011–2014)
  • The Dark Side of SOA Testing: Towards Testing Contemporary SOAs Based on Criticality Metrics / Leitner, P., Schulte, S., Dustdar, S., Pill, I., Schulz, M., & Wotawa, F. (2013). The Dark Side of SOA Testing: Towards Testing Contemporary SOAs Based on Criticality Metrics. In Proceedings of the 5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2013) (pp. 45–53). IEEE Computer Society. http://hdl.handle.net/20.500.12708/54629
    Projects: Audit 4 SOAs (2011–2014) / INDENICA (2010–2013)