Franz Wotawa

Franz Wotawa is an Associate Professor at the Institute of Information Systems Engineering, Faculty of Informatics, TU Wien. His primary research areas include model-based and qualitative reasoning, software engineering, configuration, verification and validation, intelligent agents, and theorem proving. He is affiliated with the Databases and Artificial Intelligence research group (E192-02) and can be contacted at franz.wotawa@tuwien.ac.at.

Wotawa's research spans model-based reasoning for diagnosis and testing in service-oriented architectures, software verification techniques, and intelligent agent applications. His work bridges theoretical theorem proving with practical SOA validation challenges, emphasizing configuration management and qualitative analysis methods within distributed systems.

His 2013 publications reveal a strong focus on risk-aware SOA testing methodologies, integrating criticality metrics with business impact analysis to optimize testing frameworks. These works demonstrate consistent exploration of grey-box testing approaches and reliability assessment in complex service compositions.

Wotawa has supervised the following Master's theses:

• Hybrid approach for model-based random testing (J. P. Wallner, 2010)
• Model transformation from UML state machines to input/output symbolic transition systems (C. Thurnher, 2008)
• Entwurf und Implementierung eines wertebasierten Diagnose-Modells für VHDL-Programme (F. Bruckner, 2003)
• Constraint satisfaction problems: hybrid decomposition and evaluation (M. Hutle, 2002)
• Framework für generische Suche in einem komplexen Objektmodell am Beispiel von See Your Client (B. Schmidt, 2002)
• System analysis and monitoring (H.-P. Petek, 2001)

He has led significant research projects:

• D-Flat (2013-2017): Dynamic programming via tree decompositions
• START (2014-2022): Argumentation semantics analysis
• Audit 4 SOAs (2011-2014): Criticality-based SOA testing
• INDENICA (2010-2013): SOA testing frameworks