Franz Wotawa

Publikationen

Publikationen pro Jahr 1994 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024

• 374 Beitrag in einem Konferenzband
• 100 Artikel
• 30 Beitrag in Buch/Bericht
• 19 Paper
• 53 Mehr
  • 10 Buch (Herausgeberwerk)
  • 10 Vorwort/Nachwort
  • 9 Poster
  • 8 Konferenzartikel
  • 3 Sonstiger Bericht
  • 3 Editorial
  • 2 (Altdaten) Vortrag oder Präsentation
  • 1 Buch (Autorenwerk)
  • 1 Short communication
  • 1 Review eines Fachbereichs (Review article)
  • 1 Patent
  • 1 Diplomarbeit
  • 1 Dissertation
  • 1 Habilitation
  • 1 Working paper

Publikationen pro Jahr

Publikationen pro Jahr

Suchergebnisse

• 2024

  9 in 10 cameras agree: Pedestrians in front possibly endangered

  Prikler, L. M. & Wotawa, F., 15 Apr. 2024, Proceedings - 2024 IEEE/ACM International Conference on Automation of Software Test, AST 2024. Association of Computing Machinery, S. 219-223 5 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Neural Network 100%
  • Quality Management 100%
  • Integrate Data 100%
  • Cyber Physical Systems 100%
  • Statistical Approach 100%

• Aerodynamic Efficiency Inspection of Micro-Structured Functional Surfaces

  Brosch, N., Eugui, P., Ginner, L., Feichtinger, C., Leitl, P. A., Flanschger, A. & Wotawa, F., 2024, AIAA SciTech Forum and Exposition, 2024. American Institute of Aeronautics and Astronautics Inc. (AIAA), AIAA 2024-1112

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• Knowledge-Based Monitoring for Checking Law and Regulation Compliance

  Jahaj, L., Klampfl, L. & Wotawa, F., 2024, Advances and Trends in Artificial Intelligence. Theory and Applications: 37th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2024, Proceedings. Fujita, H., Cimler, R., Hernandez-Matamoros, A. & Ali, M. (Hrsg.). Singapur: Springer Science and Business Media Deutschland GmbH, S. 491-502 12 S. (Lecture Notes in Computer Science ; Band 14748).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Monitoring System 100%
  • Compliance Check 100%
  • Design Phase 50%
  • Applicability 50%
  • Mobile Robot 50%
• 2023

  A Model-based diagnosis integrated architecture for dependable autonomous robots

  Jahaj, L., Munoz Gutierrez, S., Rosmarin, T. W., Wotawa, F. & Steinbauer-Wagner, G., 13 Sept. 2023, (Angenommen/In Druck) 34th International Workshop on Principles of Diagnosis (DX’23). 13 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Fault Management 100%

• Analysing Residual Risks when Introducing Monitoring and Diagnosis into Systems

  Hirsch, T. & Wotawa, F., 2023, Proceedings - 2023 10th International Conference on Dependable Systems and Their Applications, DSA 2023. Institute of Electrical and Electronics Engineers, S. 698-709 12 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Case Study 100%
  • Safety Critical Systems 100%

• Applying CT-FLA for AEB Function Testing: A Virtual Driving Case Study

  Kampel, L., Wagner, M., Simos, D. E., Nica, M., Dodig, D., Kaufmann, D. & Wotawa, F., 2023, Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023. Institute of Electrical and Electronics Engineers, S. 237-245 9 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Case Study 100%
  • Fault Localization 100%
  • Testing Function 100%
  • localization algorithm 25%
  • Autonomous Vehicles 25%

• A Systematic Mapping Study of Digital Twins for Diagnosis in Transportation

  Prikler, L. M. & Wotawa, F., 2023, Proceedings - 2023 10th International Conference on Dependable Systems and Their Applications, DSA 2023. IEEE Xplore, S. 431-442 12 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Digital Twin 100%
  • Systematic Mapping Study 100%
  • Transportation Infrastructure 100%
  • Monitoring System 14%
  • Diagnostic Reasoning 14%

• Bottleneck Analysis via Grammar-based Performance Fuzzing^*

  Koroglu, Y. & Wotawa, F., 2023, Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023. Institute of Electrical and Electronics Engineers, S. 180-185 6 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Performance Bottleneck 100%
  • Fuzzing 100%
  • Classification 50%
  • Software Systems 50%
  • Quality Attribute 50%

• Continuous Domain Input Abstraction and Fault Detection Capability in Combinatorial Testing

  Koroglu, Y. & Wotawa, F., 2023, Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASEW 2023. Institute of Electrical and Electronics Engineers, S. 167-170 4 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Fault detection 100%
  • Continuous Domain 100%
  • Mobile Application 33%
  • Autonomous Driving 33%

• Generating concrete test cases from vehicle data using models obtained from clustering

  Chetouane, N. & Wotawa, F., 2023, Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023. Institute of Electrical and Electronics Engineers, S. 70-77 8 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Nodes 100%
  • Functional Property 100%
  • Application Domain 100%
  • Critical Situation 100%
  • Test Sequence 100%

• Identifying Critical Scenarios in Autonomous Driving During Operation

  Klampfl, L. & Wotawa, F., 2023, Artificial Intelligence. ECAI 2023 International Workshops: XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part I. Cham: Springer, S. 156-172 ( Communications in Computer and Information Science; Band 1947).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Autonomous Driving 100%
  • Object Detection 50%
  • Search Space 50%
  • System Behavior 50%
  • Hybrid Approach 50%

• LargeTESModelingToolkit: A Modelica Library for Large-scale Thermal Energy Storage Modeling and Simulation

  Reisenbichler, M., Wotawa, F., O'Donovan, K., Tugores, C. R. & Hengel, F., 2023, Proceedings of the 15th International Modelica Conference. Linköping University Electronic Press, S. 337-346 (Linköping Electronic Conference Proceedings ; Band 204).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Modeling and Simulation 100%
  • Heat Storage 100%
  • Energy Storage Modeling 100%
  • Case Study 50%
  • Question Relevant 50%

• On the Evaluation of Photometric Stereo Applications Testing Using Image Modifications

  Wotawa, F., Jehaj, L. & Brosch, N., 2023, Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Proceedings. Bonfanti, S., Gargantini, A. & Salvaneschi, P. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 40-51 12 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14131 LNCS).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Computer Vision 100%
  • Photometric Stereo 100%
  • Quality Management 50%
  • Tracking Object 50%
  • Computer Vision Applications 50%

• Optimizing Named Entity Recognition for Improving Logical Formulae Abstraction from Technical Requirements Documents

  Perko, A., Zhao, H. & Wotawa, F., 2023, Proceedings - 2023 10th International Conference on Dependable Systems and Their Applications, DSA 2023. Institute of Electrical and Electronics Engineers, S. 211-222 12 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Named Entity Recognition 100%
  • Textual Requirement 66%
  • Baseline Model 33%
  • Industrial Requirement 33%

• Residual Risk Management Strategies at System Level presented for ACC/LKA Behavioural Competencies

  Solmaz, S., Stettinger, G. & Wotawa, F., 2023, IAVVC 2023 - IEEE International Automated Vehicle Validation Conference, Proceedings. Institute of Electrical and Electronics Engineers

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Residual Risk 100%
  • Risk Management Strategy 100%
  • Design Domain 50%
  • Acceptable Limit 33%
  • Marine Safety 16%

• Smart Monitoring for Safety-Assurance in Autonomous Driving

  Stettinger, G. & Wotawa, F., 2023, Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE. Band 2023-July. S. 542-547 6 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Monitoring System 100%
  • Application Area 50%
  • Design Requirement 50%
  • Design Domain 50%
  • Conceptual Structure 33%

• Towards a Review on Simulated ADAS/AD Testing

  Koroglu, Y. & Wotawa, F., 2023, Proceedings - 2023 IEEE/ACM International Conference on Automation of Software Test, AST 2023. Institute of Electrical and Electronics Engineers, S. 112-122 11 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Autonomous Driving 100%
  • Advanced Driver Assistance Systems 100%
  • Common Practice 16%
  • Multiple Scenario 16%

• Using Data Abstraction for Clustering in the Context of Test Case Generation

  Chetouane, N. & Wotawa, F., 2023, Proceedings - 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security, QRS 2023. Institute of Electrical and Electronics Engineers, S. 260-271 12 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• Which Components to Blame? Integrating Diagnosis into Monitoring of Technical Systems

  Wotawa, F., 2023, Advances and Trends in Artificial Intelligence. Theory and Applications: 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2023, Proceedings, Part II. Fujita, H., Wang, Y., Xiao, Y. & Moonis, A. (Hrsg.). Cham: Springer Science and Business Media Deutschland GmbH, S. 33-44 12 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13926 LNAI).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Monitoring System 100%
  • Case Study 50%
  • Automotive Domain 50%

• Wireless Threats Against V2X Communication

  Boström, A. & Wotawa, F., 2023, Proceedings - 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security, QRS 2023. Institute of Electrical and Electronics Engineers, S. 529-540 12 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Communication Interface 100%
  • Security Measure 100%
  • Potential Consequence 100%
  • Involved Stakeholder 100%
  • Cybersecurity 100%
• 2022

  A Framework for Integrating Automated Diagnosis into Simulation

  Kaufmann, D. & Wotawa, F., Juni 2022, Industrial Artificial Intelligence Technologies and Applications. Vermesan, O., Wotawa, F., Diaz Nava, M. & Debaillie, B. (Hrsg.). River Publishers, S. 113-127 15 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Undesired Effect 100%

• A Passive Testing Approach using a Semi-Supervised Intrusion Detection Model for SCADA Network Traffic

  Mühlburger, H. & Wotawa, F., 2022, Proceedings - 4th IEEE International Conference on Artificial Intelligence Testing, AITest 2022. Institute of Electrical and Electronics Engineers, S. 42-47 6 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Semisupervised Model 100%
  • Sequence Model 100%

• Boosting Spectrum-Based Fault Localization for Spreadsheets with Product Metrics in a Learning Approach

  Mukhtar, A., Hofer, B. G., Jannach, D., Wotawa, F. & Schekotihin, K., 19 Sept. 2022, ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering: iWOAR 2022 - 7th International Workshop on Sensor-Based Activity Recognition and Artificial Intelligence. Association of Computing Machinery, 5 S. 175. (ACM International Conference Proceeding Series).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  Datei

  • Metrics 100%
  • Learning Approach 100%
  • Fault Localization 100%
  • Product Metric 100%
  • Learning System 100%

• Challenges of testing self-adaptive systems

  Prikler, L. M. & Wotawa, F., 12 Sept. 2022, 26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings. Felfernig, A., Fuentes, L., Cleland-Huang, J., Assuncao, W. K. G., Assuncao, W. K. G., Quinton, C., Guo, J., Schmid, K., Huchard, M., Ayala, I., Rojas, J. M., Le, V-M. & Horcas, J. M. (Hrsg.). Band B. S. 224-228 5 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Self-Adaptive System 100%
  • Adaptive System 100%
  • Quality Management 33%
  • Internal Structure 33%
  • Desired Behavior 33%

• DDMin versus QuickXplain - An Experimental Comparison of two Algorithms for Minimizing Collections

  Tazl, O. A., Tafeit, C., Wotawa, F. & Felfernig, A., 2022, SEKE 2022 - Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School, S. 481-486 6 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Artificial Intelligence 100%
  • Software Engineering 100%
  • Suitable Algorithm 100%
  • Minimal Conflict 100%

• Extracting Temporal Models from Data Episodes

  Chetouane, N. & Wotawa, F., 2022, Proceedings - 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security, QRS 2022. Institute of Electrical and Electronics Engineers, Band 2022-December. S. 721-731 11 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Experimental Result 100%
  • Case Generation 100%
  • Open Access 100%
  • model based testing 100%
  • Automated Test 100%

• Monitoring Hierarchical Systems for Safety Assurance

  Wotawa, F. & Lewitschnig, H., 2022, Intelligent Distributed Computing XIV. Camacho, D., Rosaci, D., Sarné, G. M. L. & Versaci, M. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 331-340 10 S. (Studies in Computational Intelligence; Band 1026).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Safety Requirement 100%
  • runtime verification 100%
  • Automotives 50%
  • Critical System 50%
  • Functional Requirement 50%

• Numerical and experimental study of riblet defects and their impact on performance

  Leitl, P. A., Feichtinger, C., Ortiz de Viñaspre, I., Flanschger, A., Wotawa, F., Naugthon, J. W. & Mier, F. A., 2022, AIAA SciTech Forum 2022. American Institute of Aeronautics and Astronautics Inc. (AIAA), AIAA 2022-0916

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Surface (Surface Science) 100%
  • Turbulent Flow 100%
  • Random Defect 14%

• Testing Photometric Stereo Applications

  Jahaj, L. & Wotawa, F., 2022, Proceedings - 2022 9th International Conference on Dependable Systems and Their Applications, DSA 2022. Institute of Electrical and Electronics Engineers, S. 163-171 9 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Photometric Stereo 100%
  • Quality Management 33%
  • Autonomous Driving 33%
  • Software Inspection 33%

• The Java2CSP Debugging Tool Utilizing Constraint Solving and Model-Based Diagnosis Principles

  Wotawa, F. & Dumitru, V. A., 2022, Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence - 35th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2022, Proceedings. Fujita, H., Fournier-Viger, P., Ali, M. & Wang, Y. (Hrsg.). Cham: Springer, S. 543-554 12 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13343 LNAI).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Web Browser 100%
  • Java Programming Language 50%

• Towards More Efficient Modeling and Simulation of Large-scale Thermal Energy Storages in Future Local and District Energy Systems

  Reisenbichler, M., O'Donovan, K., Tugores, C. R., van Helden, W. & Wotawa, F., 2022, BS 2021 - Proceedings of Building Simulation 2021: 17th Conference of IBPSA. Saelens, D., Laverge, J., Boydens, W. & Helsen, L. (Hrsg.). International Building Performance Simulation Association, S. 2155-2162 8 S. (Building Simulation Conference Proceedings).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Heat Storage 100%
  • Groundwater 100%
  • Systems Simulation 50%
  • Pit Thermal Energy Storage 20%
  • Tank Thermal Energy Storage 20%
• 2021

  A framework for the automation of testing computer vision systems

  Wotawa, F., Klampfl, L. & Jahaj, L., Mai 2021, Proceedings - 2021 IEEE/ACM International Conference on Automation of Software Test, AST 2021. Institute of Electrical and Electronics Engineers, S. 121-124 4 S. 9462996. (Proceedings - 2021 IEEE/ACM International Conference on Automation of Software Test, AST 2021).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Computer Vision 100%
  • Vision Systems 100%
  • Quality Management 66%
  • Image Classification 33%
  • Industrial Applications 33%

• Analysing Experimental Results Obtained when Applying Search-based Testing to Verify Automated Driving Functions

  Kluck, F., Wotawa, F., Neubauer, G., Tao, J. & Nica, M., 2021, Proceedings - 2021 8th International Conference on Dependable Systems and Their Applications, DSA 2021. Institute of Electrical and Electronics Engineers, S. 213-219 7 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Experimental Result 100%
  • Autonomous Driving 100%
  • Exhaustive Search 50%

• Automated Diagnosis of Cyber-Physical Systems

  Wotawa, F., Tazl, O. & Kaufmann, D., 2021, Advances and Trends in Artificial Intelligence. From Theory to Practice - 34th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2021, Proceedings. Fujita, H., Selamat, A., Lin, J. C-W. & Ali, M. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 441-452 12 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12799 LNAI).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Cyber Physical Systems 100%
  • Autonomous System 66%
  • Industrial Applications 33%
  • Presented Approach 33%
  • Physical System 33%

• Extracting information from driving data using k-means clustering

  Chetouane, N., Klampfl, L. & Wotawa, F., 2021, Proceedings - SEKE 2021: 33rd International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School, S. 610-615 6 S. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; Band 2021-July).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • k-means Clustering 100%
  • Extracting Information 100%
  • Actuator 100%
  • Decision-Making 100%
  • time interval τ 100%

• GABezier at the SBST 2021 Tool Competition

  Klück, F., Klampfl, L. & Wotawa, F., Mai 2021, Proceedings - 2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing, SBST 2021. Institute of Electrical and Electronics Engineers, S. 38-39 2 S. 9476237. (Proceedings - 2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing, SBST 2021).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Automatic Generation 100%
  • Cyber Physical Systems 100%

• Integrating multiple observation sets into consistency-based diagnosis

  Wotawa, F., 2021, Proceedings of the 32nd International Workshop on Principle of Diagnosis.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• Java2CSP—A Model-Based Diagnosis Tool Not Only for Software Debugging

  Wotawa, F. & Dumitru, V. A., 2021, Intelligent Decision Technologies - Proceedings of the 13th KES-IDT 2021 Conference. Czarnowski, I., Howlett, R. J. & Jain, L. C. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 519-529 11 S. (Smart Innovation, Systems and Technologies; Band 238).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Computer Hardware 100%
  • Constraint Solver 100%
  • Failing Test Case 100%
  • software debugging 100%
  • State Variable 100%

• Metamorphic Testing of Logic Theorem Prover

  Tazl, O. & Wotawa, F., 2021, Proceedings of the 33rd IFIP International Conference on Testing Software and Systems. Springer

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• On the Automation of Audio Plugin Testing

  Wotawa, F. & Valentan, S., 2021, Proceedings of the 21st IEEE International Conference on Software Quality, Reliability, and Security. IEEE Xplore

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• On the Effects of Data Sampling for Deep Learning on Highly Imbalanced Data from SCADA Power Grid Substation Networks for Intrusion Detection

  Mühlburger, H. & Wotawa, F., 2021, Proceedings of the 21st IEEE International Conference on Software Quality, Reliability, and Security. IEEE Xplore

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• On the Use of Available Testing Methods for Verification & Validation of AI-based Software and Systems

  Wotawa, F., 2021, Proceedings of the AAAI Workshop on Artificial Intelligence Safety (SafeAI 2021). AAAI Press

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
• 2020

  CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems

  Muškardin, E., Pill, I. & Wotawa, F., 1 Jan. 2020, Foundations of Intelligent Systems - 25th International Symposium, ISMIS 2020, Proceedings. Helic, D., Stettinger, M., Felfernig, A., Leitner, G. & Ras, Z. W. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 267-276 10 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12117 LNAI).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Cyber Component 100%
  • Individual Solution 100%

• Collective event detection using bio-inspired minimalistic communication in a swarm of underwater robots

  Varughese, J. C., Hornischer, H., Thenius, R., Wotawa, F. & Schmickl, T., 1 Jan. 2020, ALIFE 2019: Proceedings of the Artificial Life Conference 2019. MIT Press, S. 634-641 8 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • underwater robot 100%
  • Swarm Robotics 100%
  • Distributed Nature 50%
  • Self-Organization 50%

• Efficient model-based diagnosis of sequential circuits

  Feldman, A., Pill, I., Wotawa, F., Matei, I. & de Kleer, J., 2020, AAAI 2020 - 34th AAAI Conference on Artificial Intelligence. AAAI Press, S. 2814-2821 8 S. (AAAI 2020 - 34th AAAI Conference on Artificial Intelligence).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Sequential Circuit 100%
  • Minimal Diagnosis 50%

• Explaining Object Motion Using Answer Set Programming

  Wotawa, F. & Klampfl, L., 17 Sept. 2020, Foundations of Intelligent Systems : 25th International Symposium, ISMIS 2020, Proceedings. Helic, D., Stettinger, M., Felfernig, A., Leitner, G. & Ras, Z. W. (Hrsg.). Cham: Springer, Cham, S. 298-307 10 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12117 LNAI).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Answer Set Programming 100%
  • Object Recognition 50%
  • Mobile Robot 50%
  • Research Direction 50%
  • Detection Performance 50%

• Interrogating Virtual Agents: In Quest of Security Vulnerabilities

  Bozic, J. & Wotawa, F., 1 Jan. 2020, Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Proceedings. Casola, V., De Benedictis, A. & Rak, M. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 20-34 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12543 LNCS).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • virtual agent 100%
  • Service to User 14%

• Machine learning for water supply supervision

  Schranz, T., Schweiger, G., Pabst, S. & Wotawa, F., 1 Jan. 2020, Trends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices - 33rd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2020, Proceedings. Fujita, H., Sasaki, J., Fournier-Viger, P. & Ali, M. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 238-249 12 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12144 LNAI).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Physical Model 100%
  • System Behavior 100%
  • System Component 100%
  • Data Model 100%
  • Artificial Intelligence 100%

• Mutation Testing for Artificial Neural Networks: An Empirical Evaluation

  Klampfl, L., Chetouane, N. & Wotawa, F., 11 Dez. 2020, Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020. Institute of Electrical and Electronics Engineers, S. 356-365 10 S. 9282748

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Neural Network 100%
  • Machine Learning 14%
  • Learning System 14%
  • Artificial Intelligence 14%
  • Source Codes 14%

• On the use of answer set programming for model-based diagnosis

  Wotawa, F., 1 Jan. 2020, Trends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices - 33rd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2020, Proceedings. Fujita, H., Sasaki, J., Fournier-Viger, P. & Ali, M. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 518-529 12 S. (Lecture Notes in Computer Science ; Band 12144 ).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Boolean Circuit 100%
  • Answer Set Program 100%