Franz Wotawa

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

1994 …2024
If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 7 Similar Profiles
Testing Engineering & Materials Science
Spreadsheets Engineering & Materials Science
Fault detection Engineering & Materials Science
Adaptive systems Engineering & Materials Science
Planning Engineering & Materials Science
Learning systems Engineering & Materials Science
Software engineering Engineering & Materials Science
Modelica Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1994 2018

Adapting unit tests by generating combinatorial test data

Felbinger, H., Wotawa, F. & Nica, M. 16 Jul 2018 Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018. Institute of Electrical and Electronics Engineers, p. 352-355 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fault detection
Concretes
Testing

Adaptive System for Autonomous Driving

Wotawa, F. & Zimmermann, M. 9 Aug 2018 Proceedings - 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2018. Institute of Electrical and Electronics Engineers, p. 519-525 7 p. 8432021

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Adaptive systems
Availability
Sensors

A formal TLS handshake model in LNT

Bozic, J., Marsso, L., Mateescu, R. & Wotawa, F. 23 Mar 2018 In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 268, p. 1-40 40 p.

Research output: Contribution to journalConference article

Testing
Specifications
Software engineering
Network protocols
Formal specification

Applying algorithm selection to abductive diagnostic reasoning

Koitz-Hristov, R. & Wotawa, F. 1 May 2018 In : Applied Intelligence. p. 1–19 19 p.

Research output: Contribution to journalArticle

Failure analysis
Learning systems
Classifiers
Economics
Costs

Automated generation of (F)LTL oracles for testing and debugging

Pill, I. & Wotawa, F. 2018 In : The Journal of Systems and Software . 139, p. 124-141

Research output: Contribution to journalArticle

Activities 2002 2018

Software configuration diagnosis – A Survey of existing methods and open challenges

Wotawa, F. (Speaker)
28 Sep 2018

Activity: Science to scienceTalk at workshop, seminar or course

Using LNT Formal Descriptions for Model-Based Diagnosis

Wotawa, F. (Speaker)
27 Aug 2018

Activity: Science to scienceTalk at workshop, seminar or course

On the Superiority of Conflict-Driven Search in MUS Enumeration

Wotawa, F. (Speaker)
29 Aug 2018

Activity: Science to sciencePoster presentation

From Ontologies to Input Models for Combinatorial Testing

Wotawa, F. (Speaker)
1 Oct 2018

Activity: Science to scienceTalk at conference or symposium

Prizes

Best Paper Award

Gerald Steinbauer (Recipient) & Franz Wotawa (Recipient), 18 Oct 2008

Prize: Prizes / Medals / Awards

Lifetime Achievement Award

Franz Wotawa (Recipient), 2016

Prize: Prizes / Medals / Awards

Projects 1997 2024