Forschungsoutput pro Jahr
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/Konferenzband › Beitrag in einem Konferenzband › Forschung › Begutachtung
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. 8432021Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Forschung › Begutachtung
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 article › Forschung › Begutachtung
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 Fachzeitschrift › Artikel › Forschung › Begutachtung
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-141Publikation: Beitrag in einer Fachzeitschrift › Artikel › Forschung › Begutachtung
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äsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
On the Superiority of Conflict-Driven Search in MUS Enumeration
Franz Wotawa (Redner/in)29 Aug 2018
Aktivität: Vortrag oder Präsentation › Posterpräsentation › Science 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äsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
From Ontologies to Input Models for Combinatorial Testing
Franz Wotawa (Redner/in)1 Okt 2018
Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science 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äsentation › Vortrag bei Workshop, Seminar oder Kurs › Science 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
GameOpSys - Gamification für die Optimierung des Energieverbrauchs von Gebäuden und übergeordnete Systeme
1/01/19 → 31/12/20
Projekt: Foschungsprojekt
ALERT - Detektion von Anomalien in Power Grid Kontrollnetzwerken
1/07/18 → 30/06/21
Projekt: Foschungsprojekt
CD-Labor für Methoden zur Qualitätssicherung von autonomen Cyber-Physikalischen Systemen
1/10/17 → 30/09/24
Projekt: Foschungsprojekt
SecWIT - Sicherheit für Web-Technologien durch Kombinatorisches Interaktions-Testen
1/07/17 → 30/06/20
Projekt: Foschungsprojekt
AutoDrive - Erweiterte elektronische Komponenten, Systeme und Architekturen, die sich ausfallssicher und die trotz erkannter Fehler sicher weiter funktionieren können, für vollautomatisiertes Fahren, um zukünftige Mobilität sicherer, erschwinglicher und von End-Usern besser akzeptiert zu machen.
1/05/17 → 30/04/20
Projekt: Foschungsprojekt