Find Research Outputs

Search concepts
Selected filters
2014

Empirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for Teenagers

Koitz, R. & Slany, W., 2014, PLATEAU '14: Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools. New York, NY, USA: Association of Computing Machinery, p. 21-30

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2009

Software change classification using hunk metrics

Ferzund, J., Ahsan, S. N. & Wotawa, F., 2009, Proceedings of the International Conference on Software Maintenance. Institute of Electrical and Electronics Engineers, p. 471-474

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2004

Improving fault localization of programs by using labeled dependencies

Wotawa, F., Chen, R. & Köb, D., 2004, KI 2004 : Advances in artificial intelligence. Biundo, S., Frühwirth, T. & Palm, G. (eds.). Berlin: Springer, Vol. 3238. p. 366-380 (Lecture notes in computer science : Lecture notes in artificial intelligence).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2014

Comparing Models for Spreadsheet Fault Localization

Hofer, B. G. & Wotawa, F., 2014.

Research output: Contribution to conferencePosterResearch

2015

From Theory to Practice: Model-Based Diagnosis in Industrial Applications

Koitz, R. & Wotawa, F., 2015, Proceedings of the Annual Conference of the PHM Society (PHM). ., p. 197-205

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

1999

New Directions in Debugging Hardware Designs

Wotawa, F., 1999, International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2007

Diagnosing dependent failures in the hardware and software of mobile autonomous robots

Weber, J. & Wotawa, F., 2007, IEA/AIE 2007: The 20th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2009

Asynchronous Input-Output Conformance Testing

Weiglhofer, M. & Wotawa, F., 2009, Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference. ., p. 154-159

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

1999

Towards a framework for mobile diagnosis agents

Wotawa, F. & Piccardi, C., 1999, International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2008

Using Observer Automata to Select Test Cases for Test Purposes

Fraser, G., Weiglhofer, M. & Wotawa, F., 2008, Proceedings of the 20th International Conference on Software Engineering and Knowledge Engineering. ., p. 709-714

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2006

Using AI Techniques for Fault Localization in Component-oriented Software Systems

Weber, J. & Wotawa, F., 2006, MICAI 2006. Gelbukh, A. & Reyes-Garcia, C. A. (eds.). Berlin: Springer, Vol. 4293. p. 1139-1149 (Lecture notes in computer science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2015

Diagnosis of Technical Systems

Koitz, R. & Wotawa, F., 2015, Proceedings of the International Joint Conference on Artificial Intelligence 2015. ., p. 4375-4376

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2018

Wind Turbine Fault Localization: A Practical Application of Model-Based Diagnosis

Koitz, R., Wotawa, F., Lüftenegger, J., Gray, C. S. & Langmayr, F., 2018, Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems. Sayed-Mouchaweh, M. (ed.). Cham: Springer International Publishing AG , p. 17-43 27 p.

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

1999

Debugging Functional Programs

Wotawa, F. & Stumptner, M., 1999, International Joint Conference on Artificial Intelligence. ., p. 1074-1079

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2000

JADE - AI Support for Debugging Java Programs

Wotawa, F., Mateis, C., Stumptner, M. & Wieland, D., 2000, International Conference on Tools with Artificial Intelligence. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2012

Spectrum Enhanced Dynamic Slicing for better Fault Localization

Hofer, B. G. & Wotawa, F., 2012, ECAI 2012 - 20th European Conference on Artificial Intelligence.. Raedt, L. D. (ed.). IOS Press, Vol. 242. p. 420-425 (ECAI).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2014

Why does my spreadsheet compute wrong values?

Hofer, B. G. & Wotawa, F., 2014, International Symposium on Software Reliability Engineering. ., p. 112-121

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2018

On the superiority of conflict-driven search in MUs enumeration

Koitz-Hristov, R. & Wotawa, F., 1 Jan 2018, In : CEUR Workshop Proceedings. 2289

Research output: Contribution to journalConference articleResearchpeer-review

2008

On the Compilation of Programs into their equivalent Constraint Representation

Wotawa, F. & Nica, M., 2008, In : Informatica. 32, p. 359-371

Research output: Contribution to journalArticleResearchpeer-review

2014

Generation of Relevant Spreadsheet Repair Candidates

Hofer, B. G., Wotawa, F., Abreu, R. & Perez, A., 2014.

Research output: Contribution to conferencePosterResearch

2000

AI Support for Debugging Java Programs

Wotawa, F., Mateis, C., Stumptner, M. & Wieland, D., 2000, International Conference on Software Engineering. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2016

Message from the QRS 2016 General Chair

Wotawa, F., 12 Oct 2016, Proceedings of the IEEE International Conference on Quality, Reliability, and Security. Institute of Electrical and Electronics Engineers, p. xiii 1 p.

Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptResearch

2015

On the computational feasibility of abductive diagnosis for practical applications

Koitz, R. & Wotawa, F., 1 Sep 2015, In : IFAC-PapersOnLine. 28, 21, p. 410-415 6 p.

Research output: Contribution to journalArticleResearchpeer-review

2009

On the use of abduction as an alternative to decision trees in environmental decision support systems

Wotawa, F., 2009, Proceedings of the International Conference on Complex, Intelligent and Software Intensive Systems (CISIS). ., p. 1160-1165

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2013

Mutation-based spreadsheet debugging

Hofer, B. G. & Wotawa, F., 2013, Software Reliability Engineering Workshops (ISSREW), 2013 IEEE International Symposium on. ., p. 132-137

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2018

Evolutionary propositionalization of multi-relational data

Wotawa, F. & Kassarnig, V., 2018.

Research output: Contribution to conferencePaperResearchpeer-review

2006

Velocity Measurement by a Vision Sensor

Malki, S., Deepak, G., Mohanna, V., Ringhofer, M. & Spaanenburg, L., 2006, Proceedings of IEEE International Conference on Computational Intelligence for Measurement Systems and Applications. Piscataway, NJ: IEEE Service Center, p. 135-140

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2012

Volumetric Real-Time Particle-Based Representation of Large Unstructured Tetrahedral Polygon Meshes.

Voglreiter, P., Steinberger, M., Schmalstieg, D. & Kainz, B., 2012, LNCS 7599 Workshops proceedings, MeshMed. Heidelberg: Springer, Vol. 7599. p. 159-168 (MeshMed).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2017

Sparse matrix assembly on the GPU through multiplication patterns

Zayer, R., Steinberger, M. & Seidel, H. P., 1 Sep 2017, 2017 IEEE High Performance Extreme Computing Conference (HPEC). p. 1-8 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2009

Improving Coverage Based Test Purposes

Weiglhofer, M. & Wotawa, F., 2009, Proceedings of the 9th International Conference on Quality Software. ., p. 219-228

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2017

Improving Spectrum-Based Fault Localization for Spreadsheet Debugging

Getzner, E., Hofer, B. & Wotawa, F., 2017, IEEE International Conference on Software Quality, Reliability and Security (QRS). IEEE Publications, p. 102-113 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2008

A Database for the Analysis of Program Change Patterns

Ahsan, S. N., Ferzund, J. & Wotawa, F., 2008, International Conference on Networked Computing and Advanced Information Management. IEEE CS, p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2003

Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured Systems

Stumptner, M. & Wotawa, F., 2003, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI). San Francisco: Morgan Kaufmann Publishers, p. 388-393

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2014

Fast ANN for High-Quality Collaborative Filtering

Tsai, Y-T., Steinberger, M., Pajak, D. & Pulli, K., 2014, High-Performance Graphics 2014. ., p. 61-70 (High Perforamnce Graphics).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Projekt Lobster - Entwicklung von Positionierungstools zur Unterstützung von Ersthelfern

Hafner, P., Moder, T., Bernoulli, T. & Fösleitner, C., 2014, In : avn. Allgemeine Vermessungsnachrichten. 6, p. 387-398

Research output: Contribution to journalArticleResearch

2016

Walking Aid Identification Using Wearables

Moder, T., 13 Jul 2016.

Research output: Contribution to conference(Old data) Lecture or PresentationResearchpeer-review

2008

Investigating the dependency of an induction machine’s main inductance on the supply frequency

Seebacher, R., Krischan, K. & Dannerer, G., 2008, Proceedings of the 2008 International Conference on Electrical Machines. ., p. 1443-1-1443-6

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2010

Advanced Iteration for a Magnetic Equivalent Circuit and Modeling a 3-Phase Transformer

Ortner, M. G., Seebacher, R. & Krischan, K., 2010.

Research output: Contribution to conferencePosterResearch

2008

Modeling the induction machine’s main inductance as a function of the magnetizing and the torque building component of the stator current

Dannerer, G., Seebacher, R., Krischan, K. & Ingruber, R., 2008, Proceedings of the 2008 International Conference on Electrical Machines. ., p. 1441-1-1441-6

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2011

Mobile Surveillance by 3D-Outlier Analysis

Holzer, P. & Pinz, A., 2011, ACCV 2010 Workshops, Part I. ., p. 195-204

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

1999

Fuzzy clustering of a landsat TM scene

Beichel, R., Bolter, R. & Pinz, A., 1999, IGARSS '99 proceedings. Piscataway, NJ: Institute of Electrical and Electronics Engineers, p. 0-00

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

The discriminatory power of ordinal measures - towards a new coefficient

Scherer, S., Werth, W. & Pinz, A., 1999, Conference on Computer Vision and Pattern Recognition. ., p. 76-81

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2004

Weak Hypotheses and Boosting for Generic Object Detection and Recognition

Opelt, A., Fussenegger, M., Pinz, A. & Auer, P., 2004, European Conference on Computer Vision. ., p. 71-84

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2001

A novel approach to frame rate measurement for real-time computer vision applications

Brandner, M., Ribo, M. & Pinz, A., 2001, IEEE Instrumentation and Measurement Technology Conference. ., p. 1910-1915

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2006

Object localization/segmentation using generic shape priors

Fussenegger, M., Opelt, A. & Pinz, A., 2006, Proc. ICPR, Vol. I. ., p. 41-44

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

1995

Affine matching of intermediate symbolic representations

Pinz, A., Prantl, M. & Ganster, H., 1995, International Conference on Computer Analysis of Images and Patterns. ., Vol. 970. p. 359-367

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2000

New hierarchical approach to pattern matching for industrial applications

Brandner, M., Pinz, A. & Pölzleitner, W., 2000, Intelligent Robots and Computer Vision. Bellingham, Wash.: SPIE, Vol. 4197. p. 15.26-15.26 (SPIE proceedings series).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

1999

A vision driven automatic assembly unit

Bachler, G., Berger, M., Röhrer, R., Scherer, S. & Pinz, A., 1999, International Conference on Computer Analysis of Images and Patterns. ., p. 375-382

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2010

Comparing Low Cost Speed Control for Single Phase Induction Motors Concerning Line Reaction and Electromagnetic Compatibility

Krischan, K., Dannerer, G., König, O. & Seebacher, R., 2010, Symposium on Power Electronics, Electrical Drives, Automation & Motion. ., p. 1794-1799

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2016

Fachwerkträger mit I-Profilen und eingeschlitzten Knotenblechen – Tragverhalten und Drucktragfähigkeit der Füllstäbe auf Basis von Großversuchen

Kampleitner, A. & Unterweger, H., 22 Sep 2016, Tagungsunterlagen Stahlbautag.

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