• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2007

Generating test-cases from qualitative knowledge - Preliminary report

Wotawa, F., 2007, (Accepted/In press) Proceedings of the 21st annual workshop on qualitative reasoning. .

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

Gradient-based Diagnosis

Krenn, W. K. & Wotawa, F., 2007, International Workshop on Principles of Diagnosis. ., p. 314-321

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

Gray Code Enumeration of Plane Straight Line Graphs

Aichholzer, O., Aurenhammer, F., Huemer, C. & Vogtenhuber, B., 2007, In : Graphs and combinatorics. 23, 5, p. 467-479

Research output: Contribution to journalArticleResearchpeer-review

Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers

Fraser, G., Aichernig, B. & Wotawa, F., 2007, In : Electronic Notes in Theoretical Computer Science . 190, 2, p. 33-46

Research output: Contribution to journalArticleResearch

Improved upper bounds of sets attaining the rectilinear crossing number

Aichholzer, O., Ackerman, E. & Keszegh, B., 2007, 19th Annual Canadian Conference on Computational Geometry CCCG 2007. ., p. 29-32

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

Improving Model-Checkers for Software Testing

Fraser, G. & Wotawa, F., 2007, Quality Software, 2007. QSIC '07. Seventh International Conference on. IEEE Computer Society, p. 25-31

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

Improving Robustness of Mobile Robots Using Model-based Reasoning

Hofbaur, M., Köb, J., Steinbauer, G. & Wotawa, F., 2007, In : Journal of Intelligent and Robotic Systems. 48, 1, p. 37-54

Research output: Contribution to journalArticleResearchpeer-review

Intelligent, Fault Tolerant Control for Autonomous Systems

Krenn, W. K. & Wotawa, F., 2007, Workshop on Intelligent Solutions in Embedded Systems. ., p. 194-205

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

Interactive presentation: Automatic hardware synthesis from specifications: a case study

Bloem, R. P., Galler, S., Jobstmann, B., Piterman, N., Pnueli, A. & Weiglhofer, M., 2007, Proceedings of the conference on Design, automation and test in Europe. ., p. 1188-1193

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

Introduction to the IEEE Intelligent Systems Special Issue: Recommender Systems

Felfernig, A., Friedrich, G. & Schmidt-Thieme, L., 2007, In : IEEE Intelligent Systems. 22, 3, p. 18-21

Research output: Contribution to journalArticleResearchpeer-review

KickOffTUG - Team Description Paper 2007

Gspandl, S., Monichi, D., Reip, M., Steinbauer, G., Wolfram, M. & Zehentner, C., 2007, (Accepted/In press) Proceedings of the RoboCup International Symposium. .

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

Knowledge-based Recommender Technologies for Marketing and Sales

Felfernig, A., Gula, B. & Teppan, E., 2007, In : International journal of pattern recognition and artificial intelligence. 21, 2, p. 333-354

Research output: Contribution to journalArticleResearchpeer-review

Knowledge-based Recommender Technologies supporting the Interactive Selling of Financial Services

Felfernig, A., 2007, Mass Customization Information Systems in Business. 1 ed. IDEA Group, p. 122-135

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Knowledge Engineering for Complex Products and Services

Felfernig, A., 2007

Research output: ThesisHabilitationResearch

Knowledge Extraction from C-Code

Wotawa, F. & Krenn, W. K., 2007, Workshop on Intelligent Solutions in Embedded Systems. ., p. 49-61

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

Maintaining Temporal Consistency in a Multimedia Knowledge Base

Angerer, B., Griesmayer, A. & Wotawa, F., 2007, International Joint Conference on Artificial Intelligence. ., p. ?-?

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

Maximizing maximal angles for plane straight line graphs

Aichholzer, O., Hackl, T., Hoffmann, M., Huemer, C., Santos, F., Speckmann, B. & Vogtenhuber, B., 2007, Collection of Abstracts of the 23rd European Workshop on Computational Geometry 2007. Graz: Verlag der Technischen Universität Graz, Vol. 23. p. 98-101

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

Maximizing maximal angles for plane straight line graphs

Aichholzer, O., Hackl, T., Hoffmann, M., Huemer, C., Por, A., Santos, F., Speckmann, B. & Vogtenhuber, B., 2007, Lecture Notes in Computer Science, Proc. 10th International Workshop on Algorithms and Data Structures (WADS). ., Vol. 4619. p. 458-469 (Lecture Notes in Computer Science).

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

Maximizing maximal angles for plane straight line graphs

Vogtenhuber, B. & Aichholzer, O., 16 Jul 2007.

Research output: Contribution to conference(Old data) Lecture or PresentationResearch

Medial Axis in the Plane

Aigner, W., 2007

Research output: ThesisDiploma ThesisResearch

Model-Based Fault Diagnosis and Reconfiguration of Robot Drives

Brandstötter, M., Hofbaur, M., Steinbauer, G. & Wotawa, F., 2007, (Accepted/In press) International Conference on Intelligent Robots and Systems. .

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

Model-Based Reasoning for Fault-Tolerant Robot Hardware and Software

Hofbaur, M., Steinbauer, G. & Wotawa, F., 2007, (Accepted/In press) Proceedings of the 16thInternational Workshop on Robotics in Alpe-Adria-Danube Region. .

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

Mostly Harmless & AllemaniACs - Mixed Innovations

Beck, D., Buchleitner, M., Ferrein, A., Niemüller, T. & Steinbauer, G., 2007, (Accepted/In press) Proceedings of the RoboCup International Symposium. .

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

Movement prediction from real-world images using a liquid state machine

Burgsteiner, H. M., Kröll, M., Leopold, A. & Steinbauer, G., 2007, In : Applied Intelligence. 26, 2, p. 99-109

Research output: Contribution to journalArticleResearchpeer-review

Mutant Minimization for Model-Checker Based Test-Case Generation

Fraser, G. & Wotawa, F., 2007, Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007. ., p. 161-168

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

New lower bounds for the number of ( leq k)-edges and the rectilinear crossing number of kn

Aichholzer, O., García, J., Orden, D. & Ramos, P. A., 2007, In : Discrete & computational geometry. 38, p. 1-14

Research output: Contribution to journalArticleResearchpeer-review

New results on lower bounds for the number of

Aichholzer, O., Garcia, J., Orden, D. & Ramos, P. A., 2007, In : Discrete Mathematics. 29, C, p. 189-193

Research output: Contribution to journalArticleResearchpeer-review

Nondeterministic Testing with Linear Model-Checker Counterexamples

Fraser, G. & Wotawa, F., 2007, Quality Software, 2007. QSIC '07. Seventh International Conference on. IEEE Computer Society, p. 107-116

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

On (pointed) minimum weight pseudo-triangulations

Aurenhammer, F., Speckmann, B., Aichholzer, O. & Hackl, T., 1 Aug 2007.

Research output: Contribution to conference(Old data) Lecture or PresentationResearch

On (pointed) minimum weight pseudo-triangulations

Aichholzer, O., Aurenhammer, F., Hackl, T. & Speckmann, B., 2007, Canadian Conference on Computational Geometry. ., p. 209-212

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

On Plan e Straight-Line Graphs

Vogtenhuber, B., 2007

Research output: ThesisDiploma ThesisResearch

On some winning strategies for the Iterated Prisoner's Dilemma, or, Mr. Nice Guy and the Cosa Nostra

Slany, W. & Kienreich, W., 2007, The Iterated Prisoners Dilemma Competition: 20 Years On. 1 ed. World Scientific, Vol. 4. p. 171-204 (Advances in natural computation).

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

On the computational complexity of the forcing chromatic number

Slany, W., Harary, F. & Verbitsky, O., 2007, In : SIAM journal on computing. 37, 1, p. 1-19

Research output: Contribution to journalArticleResearchpeer-review

On the number of plane geometric graphs

Aichholzer, O., Hackl, T., Huemer, C., Hurtado, F., Krasser, H. & Vogtenhuber, B., 2007, In : Graphs and combinatorics. 23, 1, p. 67-84

Research output: Contribution to journalArticleResearchpeer-review

Performance and Scalability Metric for Virtual RDF Graphs

Hausenblas, M., Slany, W. & Ayers, D., 2007, Proceedings of the 4th European Semantic Web Conference (ESWC'07) / 3rd Workshop on Scripting for the Semantic Web (SFSW 07). ., p. 1-10

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

Persuasive Recommendation: Exploring Serial Position Effects in Knowledge-based Recommender Systems

Felfernig, A., Friedrich, G., Gula, B., Hitz, M., Kruggel, T., Leitner, G., Melcher, R., Riepan, D., Strauss, S., Teppan, E. & Vitouch, O., 2007, Persuasive Technology. Berlin [u.a.]: Springer, Vol. 4744. p. 283-294 (Springer Lecture Notes in Computer Science).

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

Pointed Drawings of Planar Graphs

Vogtenhuber, B., Aichholzer, O., Rote, G. & Schulz, A., 2007, Proceedings of the 19th Annual Canadian Conference on Computational Geometry. ., p. 237-240

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

Pre-triangulations and liftable complexes

Aichholzer, O., Aurenhammer, F. & Hackl, T., 2007, In : Discrete & computational geometry. 38, p. 701-725

Research output: Contribution to journalArticleResearchpeer-review

Protocol Conformance Testing a SIP Registrar: An Industrial Application of Formal Methods

Aichernig, B., Peischl, B., Weiglhofer, M. & Wotawa, F., 2007, Proceedings of the 5th International Conference on Software Engineering and Formal Methods. Institute of Electrical and Electronics Engineers, p. 215-224

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

Protocol Conformance Testing of a SIP Registrar: An Industrial Application of Formal Methods

Peischl, B., 2007, Proceedings of the 5th International Conference on Software Engineering and Formal Methods. ., p. 115-125

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

RAT: A Tool for the Formal Analysis of Requirements

Bloem, R. P., Cavada, R., Pill, I. H., Roveri, M. & Tchaltsev, A., 2007, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings. Berlin / Heidelberg: Springer, Vol. 4590. p. 263-267 (Lecture Notes in Computer Science).

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

Reducing Development and Maintenance Efforts for Web-based Recommender Applications

Felfernig, A., 2007, In : International journal of web engineering and technology. 3, 3, p. 329-351

Research output: Contribution to journalArticleResearchpeer-review

Redundancy Based Test-Suite Reduction

Fraser, G. & Wotawa, F., 2007, Proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering (FASE 2007). Springer Verlag, Vol. 4422. p. 291-305 (Lecture Notes in Computer Science).

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

Refinement and test case generation in UTP

Aichernig, B. & He, J., 2007, In : Electronic Notes in Theoretical Computer Science . 187, 1, p. 125-143

Research output: Contribution to journalArticleResearch

Reihenfolgeeffekte bei Produktattributen - Eine Pilotstudie zur Untersuchung von Reihenfolgeeffekten im Kontext von Recommender Systemen

Felfernig, A., 2007, Beiträge zur 49. Tagung experimentell arbeitender Psychologen. Lengerich [u.a.]: Pabst Science Publ., p. 320-320

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

Relating Counterexamples to Test Cases in CTL Model Checking Specifications

Wijesekera, D., Sun, L., Ammann, P. & Fraser, G., 2007, Proceedings of the 3rd international workshop on Advances in model-based testing. New York, NY, USA: Association of Computing Machinery, p. 75-84

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

Research Issues in knowledge-based Configuration

Jannach, D., Felfernig, A., Kreutler, G., Zanker, M. & Friedrich, G., 2007, Mass Customization Information Systems in Business. 1 ed. IDEA Group, p. 111-121

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Robust Intelligent Control of Mobile Robots

Fraser, G., Steinbauer, G., Weber, J. & Wotawa, F., 2007, Architectural Design of Multi-Agent Systems: Technologies and Techniques. 1 ed. Hershey, Pa.: Information Science Reference, p. 335-355

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Runtime Race Detection for Multi-Threaded C++ Server Applications

Mühlenfeld, A. & Wotawa, F., 2007, (Accepted/In press) Proceedings of the 25th IASTED International Multi-Conference Software Engineering. Calgary, Canada: Acta Press

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

Searching for Classes of Visual Content in Electronic Lectures

Ziewer, P., Ebner, M., Safran, C. & Slany, W., 2007, Proceedings of the Ninth IEEE *Symposium on Multimedia*. ., p. 377-382

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