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.

  • 4 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 contributionResearchpeer-review

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 contributionResearchpeer-review

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 articleResearchpeer-review

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 journalArticleResearchpeer-review

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 journalArticleResearchpeer-review

Activities 2002 2018

On the automation of testing a logic-based diagnosis system

Franz Wotawa (Speaker)
9 Apr 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation

Franz Wotawa (Speaker)
29 Aug 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Using LNT Formal Descriptions for Model-Based Diagnosis

Franz Wotawa (Speaker)
27 Aug 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

On the Superiority of Conflict-Driven Search in MUS Enumeration

Franz Wotawa (Speaker)
29 Aug 2018

Activity: Talk or presentationPoster presentationScience to science

From Ontologies to Input Models for Combinatorial Testing

Franz Wotawa (Speaker)
1 Oct 2018

Activity: Talk or presentationTalk at conference or symposiumScience to science

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