Franz Wotawa

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

1994 …2024
Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Fingerprint Tauchen Sie ein in die Recherchenthemengebiete, in denen Franz Wotawa aktiv ist. Diese Themengebiet-Etiketten stammen von den Werken dieser Person. Gemeinsam bilden sie einen einzigartigen Fingerabdruck.

  • 4 Ähnliche Profile
Testing Ingenieurwesen & Materialwissenschaft
Spreadsheets Ingenieurwesen & Materialwissenschaft
Fault detection Ingenieurwesen & Materialwissenschaft
Adaptive systems Ingenieurwesen & Materialwissenschaft
Planning Ingenieurwesen & Materialwissenschaft
Modelica Mathematik
Horn clause Mathematik
Structural properties Ingenieurwesen & Materialwissenschaft

Netzwerk Kürzliche externe Kooperation auf Landesebene. Details anzeigen, indem Sie auf die Punkte klicken.

Forschungsoutput 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, S. 352-355 4 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 519-525 7 S. 8432021

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Adaptive systems
Availability
Sensors

A formal TLS handshake model in LNT

Bozic, J., Marsso, L., Mateescu, R. & Wotawa, F., 23 Mär 2018, in : Electronic Proceedings in Theoretical Computer Science, EPTCS. 268, S. 1-40 40 S.

Publikation: Beitrag in einer Fachzeitschrift!!Conference articleForschungBegutachtung

Testing
Specifications
Software engineering
Network protocols
Formal specification

Applying algorithm selection to abductive diagnostic reasoning

Koitz-Hristov, R. & Wotawa, F., 1 Mai 2018, in : Applied Intelligence. S. 1–19 19 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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, S. 124-141

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Aktivitäten 2002 2018

On the automation of testing a logic-based diagnosis system

Franz Wotawa (Redner/in)
9 Apr 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

On the Superiority of Conflict-Driven Search in MUS Enumeration

Franz Wotawa (Redner/in)
29 Aug 2018

Aktivität: Vortrag oder PräsentationPosterpräsentationScience to science

Combining Combinatorial Testing and Metamorphic Testing for Testing a Logic-based Non-Monotonic Reasoning System

Franz Wotawa (Redner/in)
13 Apr 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

From Ontologies to Input Models for Combinatorial Testing

Franz Wotawa (Redner/in)
1 Okt 2018

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

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

Franz Wotawa (Redner/in)
28 Sep 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Preise

Best Paper Award

Gerald Steinbauer (Empfänger/-in) & Franz Wotawa (Empfänger/-in), 18 Okt 2008

Auszeichnung: Preise / Medaillen / Ehrungen

Lifetime Achievement Award

Franz Wotawa (Empfänger/-in), 2016

Auszeichnung: Preise / Medaillen / Ehrungen

Projekte 1997 2024