• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2006

Pre-triangulations and liftable complexes

Aichholzer, O., Aurenhammer, F. & Hackl, T., 2006, Proceedings of the Twenty-Second Annual Symposium on Computational Geometry (SCG '06). New York, NY: Association of Computing Machinery, p. 282-291

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

Property relevant software testing with model-checkers

Fraser, G. & Wotawa, F., 2006, International Workshop on Advances in Model-based Testing. ., p. ?-?

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

Property synthesis

Jobstmann, B., 2006, Design Automation Conference. SIGDA Ph.D. Forum at the Design Automation Conference (DAC 2006), p. ?-?

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

Rat: A tool for formal analysis of requirements

Pill, I. H., Bloem, R. P., Cimatti, A., Roveri, M., Semprini, S. & Tchaltsev, A., 2006, European Conference on Artificial Intelligence. ., p. ?-?

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

Repair of boolean programs with an application to C

Griesmayer, A., Bloem, R. P. & Byron, C., 2006, Computer Aided Verification. Springer, Vol. 4144. p. 358-371 (LNCS).

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

Retaining Consistency in Temporal Knowledge Bases

Wotawa, F. & Angerer, B., 2006, IEA/ AIE. Ali, M. & Dapoigny, R. (eds.). Springer, p. 600-609

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

RoboCup - Spielwiese für AI

Steinbauer, G., Gspandl, S. & Hofmann, A., 2006, In : ÖGAI-Journal. 2, p. 23-26

Research output: Contribution to journalArticleResearch

Runtime Fault Detection and Localization in Component-oriented Software Systems

Wotawa, F., Peischl, B. & Weber, J., 2006, International Workshop on Principles of Diagnosis. ., p. 203-210

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

Runtime Fault Detection and Localization in Component-oriented Software Systems

Wotawa, F., Peischl, B. & Weber, J., 2006, MONET Workshop on Model-Based Systems. ., p. ?-?

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

Symbolic implementation of alternating automata

Pill, I. H., Bloem, R. P., Cimatti, A., Roveri, M. & Semprini, S., 2006, Implementation and application of automata. Berlin [u.a.]: Springer, p. 208-218

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

The htmlButler Approach: Through Shared Ontologies and Large Scale Cooperation to Enhanced Wrapper Usability

Slany, W., Neuhold, K. & Schindler, C., 2006, International Conference on Knowledge Management. ., p. 35-38

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

Towards lightweight fault localization in procedural programs debugging techniques

Wotawa, F., Peischl, B. & Soomro, S., 2006, International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. Springer, p. ?-?

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

Transforming spanning trees and pseudo-triangulations

Aichholzer, O., Aurenhammer, F., Huemer, C. & Krasser, H., 2006, .

Research output: Book/ReportOther reportResearch

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

Using and Improving Requirement Properties for Mutation Based Test-Case Generation

Fraser, G. & Wotawa, F., 2006, In : WI-MAW-Rundbrief. 12, 2, p. 5-23

Research output: Contribution to journalArticleResearch

Using model-checkers for mutation-based test-case generation, coverage analysis and specification analysis

Fraser, G. & Wotawa, F., 2006, International Conference on Software Engineering Advances. ., p. ?-?

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

Verification of platform-independent and platform-specific semantics of dependable embedded systems

Fraser, G., Kandl, S. & Kirner, R., 2006, International Workshop on Dependable Embedded Systems. ., p. ?-?

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

When model-based testing fails

Aichernig, B. & George, C., 2006, In : Electronic Notes in Theoretical Computer Science . 164, 4, p. 115-128

Research output: Contribution to journalArticleResearch

XP + UE -> XU Praktische Erfahrungen mit eXtreme Usability

Slany, W. & Holzinger, A., 2006, In : Informatik-Spektrum. 29, 2, p. 91-97

Research output: Contribution to journalArticleResearchpeer-review

2005

Abstract model refinement for model-based program debugging

Wotawa, F., Köb, D. & Chen, R., 2005, International Workshop on Principles of Diagnosis. ., p. 7-12

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

Abstract order type extension and new results on the rectilinear crossing number

Aichholzer, O. & Krasser, H., 2005, Proceedings of the Twenty-First Annual Symposium on Computational Geometry (SCG '05). New York, NY: Association of Computing Machinery, p. 91-98

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

Abstract order type extension and new results on the rectilinear crossing number

Aichholzer, O. & Krasser, H., 2005, European Workshop on Computational Geometry. ., p. 61-64

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

A Causal Analysis Method for Concurrent Hybrid Automata

Hofbaur, M. & Wotawa, F., 2005, .

Research output: Book/ReportOther reportResearch

A coalgebraic semantic framework for component-based development in UML

Meng, S., Aichernig, B., Barbosa, L. S. & Naixiao, Z., 2005, In : Electronic Notes in Theoretical Computer Science . 122, p. 229-245

Research output: Contribution to journalArticleResearch

A comparison of fault explanation and localization

Wotawa, F. & Köb, D., 2005, International Workshop on Principles of Diagnosis. ., p. 157-162

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

A Diagnosis-Based Causal Analysis Method for Concurrent Hybrid Automata

Hofbaur, M. & Wotawa, F., 2005, Proceedings of the 16th International Workshop on Principles of Diagnosis (DX05). ., p. 81-87

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

AI Technologien zur Unterstützung von Open Innovation E-Government

Felfernig, A. & Wundara, M., 2005, Wissensmanagement in der öffentlichen Verwaltung: Konzepte, Lösungen und Potentiale. 1 ed. Wien: Österreichische Computergesellschaft, p. 135-145

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

AI Technologies supporting effective development processes for knowledge-based recommender applications

Felfernig, A. & Gordea, S., 2005, Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005). Springer, p. 372-379

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

AI Technologies supporting Open Innovation in e-Government

Felfernig, A., 2005, Proceedings of the Joint Workshop on Decision Support Systems, Experimental Economics and e-Participation. ., p. 184-184

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

Autonome mobile Roboter - Anwendung von AI zur intelligenten Kontrolle

Fraser, G., Steinbauer, G. & Wotawa, F., 2005, In : e&i - Elektrotechnik und Informationstechnik. 7-8, p. 243-246

Research output: Contribution to journalArticleResearchpeer-review

Bounding the number of plane graphs

Aichholzer, O., Hackl, T., Huemer, C., Hurtado, F., Krasser, H. & Vogtenhuber, B., 2005, Fall Workshop on Computational Geometry. ., p. 31-32

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

Challenges in runtime detecting and locating faults in autonomous mobile robots

Steinbauer, G. & Wotawa, F., 2005, IJCAI-05 Workshop on Model-Based Systems. ., p. 73-77

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

Coalgebraic component specification and verification in RSL

Meng, S., Aichernig, B. & Naixiao, Z., 2005, International Conference on Parallel and Distributed Computing, Applications and Technologies. IEEE Computer Society, p. 424-426

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

Combining algebraic and model-based test case generation

Dan, L. & Aichernig, B., 2005, Theoretical aspects of computing - ICTAC 2004. Liu, Z. (ed.). Berlin [u.a.]: Springer, Vol. 3407. p. 250-264 (Lecture Notes in Computer Science).

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

Debugging User Interface Descriptions of Knowledge-based Recommenders

Felfernig, A. & Shchekotykhin, K., 2005, Proceedings of the IJCAI 2005 Workshop on Configuration. ., p. 13-18

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

Detecting and locating faults in the control software of automomous mobile robots

Steinbauer, G. & Wotawa, F., 2005, International Workshop on Principles of Diagnosis. ., Vol. 16. p. 13-18

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

Detecting and locating faults in the control software of autonomous mobile robots.

Steinbauer, G. & Wotawa, F., 2005, International Joint Conference on Artificial Intelligence. Denver, USA: Professional Book Center, p. 1742-1743

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

Diagnosis is Repair

Staber, S. S., Jobstmann, B. & Bloem, R. P., 2005, 16th International Workshop on Principles of Diagnosis. ., p. 169-174

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

Distributed Computing for Problems from Computational Geometry

Kornberger, B., 2005

Research output: ThesisDiploma ThesisResearch

Effektive Vertriebsunterstützung durch wissensbasierte Beratungssysteme

Felfernig, A., Friedrich, G., Jannach, D., Russ, C. & Zanker, M., 2005, In : e&i - Elektrotechnik und Informationstechnik. 122, 7/8, p. 238-242

Research output: Contribution to journalArticleResearchpeer-review

Enhancing Wrapper Usability through Ontology Sharing and Large Scale Cooperation

Schindler, C., Arya, P., Rath, A. & Slany, W., 2005, Workshop on Representation and Analysis of Web Space (RAWS-05). ., p. XX-XX

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

Error traces in model-based debugging of hardware description languages

Wotawa, F. & Peischl, B., 2005, International Workshop on Automated Debugging. Association of Computing Machinery, p. 43-48

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

Exploring object relations for automated fault localization

Wotawa, F., Köb, D. & Chen, R., 2005, International Workshop on Principles of Diagnosis. ., p. 49-54

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

Fault localization based on abstract dependencies

Wotawa, F. & Soomro, S., 2005, International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. Springer, p. 357-359

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

Finding and Fixing Faults

Staber, S. S., Jobstmann, B. & Bloem, R. P., 2005, Correct Hardware Design and Verification Methods. Berlin [u.a.]: Springer, Vol. 3725. p. 35-49 (Lecture notes in computer science).

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

Formal verification of control software: A case study

Griesmayer, A., Bloem, R. P., Hautzendorfer, M. & Wotawa, F., 2005, Innovations in Applied Artificial Intelligence. Ali, M. (ed.). Berlin [u.a.]: Springer, Vol. 3533. p. 783-788 (Lecture notes in computer science : Lecture notes in artificial intelligence).

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

Open Access
File

From extreme programming and usability engineering to extreme usability in software engineering education (XP+UE->XU)

Slany, W., Holzinger, A., Errath, M., Searle, G. & Thurnher, B., 2005, Annual International Computer Software and Applications Conference. Institute of Electrical and Electronics Engineers, p. 169-172

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

From the real-world to its qualitative representation -- Practical lessons learned

Steinbauer, G., Wotawa, F. & Weber, J., 2005, International Workshop on Qualitative Reasoning. Graz: ., p. 186-191

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

Games on Triangulations

Aichholzer, O., Bremner, D., Demaine, E., Hurtado, F., Kranakis, E., Krasser, H., Ramaswami, S., Sethia, S. & Urrutia, J., 2005, In : Theoretical computer science. 343, 1-2, p. 42-71

Research output: Contribution to journalArticleResearchpeer-review

Guest Editorial - Special Issue on Binding Environmental Sciences and Artificial Intelligence

Wotawa, F., Sanchez-Marre, M. & Oprea, M., 2005, In : AI Communications. 18, 4, p. 243-245

Research output: Contribution to journalArticleResearchpeer-review