• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2008

MBS 2008 - Workshop on Model-Based Systems, 18th European Conference on Artificial Intelligence (ECAI)

Peischl, B. (ed.), Snooke, N. (ed.), Steinbauer, G. (ed.) & Witteveen, C. (ed.), 2008, .

Research output: Book/ReportAnthologyResearch

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

"On the Fly" Input Output Conformance Verification

Weiglhofer, M. & Wotawa, F., 2008, Proceedings of the IASTED International Conference on Software Engineering. Anaheim, Calgary, Zurich: Acta Press, p. 286-291

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

On the number of pseudo-triangulations of certain point sets

Aichholzer, O., Orden, D., Santos, F. & Speckmann, B., 2008, In : Journal of combinatorial theory / A. 115(2), p. 254-278

Research output: Contribution to journalArticleResearchpeer-review

On the number of pseudo-triangulations of certain point sets.

Aichholzer, O., Orden, D., Santos, F. & Speckmann, B., 2008, In : Combinatorica. 115, 2, p. 254-278

Research output: Contribution to journalArticleResearchpeer-review

Optimizing Extreme Programming

Hussain, Z., Lechner, M., Milchrahm, H., Shahzad, S., Slany, W., Umgeher, M. & Vlk, T., 2008, ICCCE 2008 International Conference on Computer and Communication Engineering. Piscataway, NJ: Institute of Electrical and Electronics Engineers, p. 1052-1056

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

Persuasion in Knowledge-based Recommendation

Felfernig, A., Teppan, E., Leitner, G., Melcher, R., Gula, B. & Maier, M., 2008, Persuasive Technology. Berlin / Heidelberg: Springer, Vol. 5033. p. 71-82 (Lecture Notes in Computer Science).

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

Probing an Agile Usability Process

Lechner, M., Hussain, Z., Milchrahm, H., Shahzad, S., Slany, W., Wolkerstorfer, P., Tscheligi, M. & Sefelin, R., 2008, CHI2008. ., p. xxx-xxx

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

Qr-model based testing

Brandl, H., Fraser, G. & Wotawa, F., 2008, AST '08: Proceedings of the 3rd international workshop on Automation of software test. New York, NY, USA: Association of Computing Machinery, p. 17-20

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

Random vs. Scenario-Based vs. Fault-Based Testing: An Industrial Evaluation of Formal Black-Box Testing Methods

Weiglhofer, M. & Wotawa, F., 2008, Proceedings of the 3rd International Conference on Evaluation of Novel Approaches to Software Engineering. ., p. 115-122

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

Recent Challenges in the Middle-Size League

Galler, S., 2008, 3rd Austrian RoboCup Workshop. ., p. 1-5

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

Requirements Engineering and Efficient Verification of PSL Properties

Pill, I. H., 2008

Research output: ThesisDoctoral ThesisResearch

RoboCup Standard Platform League - Team Zadeat - An Intercontinental Research Effort

Ferrein, A., Steinbauer, G., McPhillips, G. & Potgieter, A., 2008, (Accepted/In press) RoboCup International Symposium. .

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

Scheduling Breaks in Shift Plans for Call Centers

Beer, A., Gaertner, J., Musliu, N., Schafhauser, W. & Slany, W., 2008, Proceedings of the 7th International Conference on the Practice and Theory of Automated Timetabling. ., p. 1-17

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

Seed Polytopes for Incremental Approximation

Aichholzer, O., Aurenhammer, F., Hackl, T., Kornberger, B., Plantinga, S., Rote, G., Sturm, A. & Vegter, G., 2008, Collection of Abstracts of the 24th European Workshop on Computational Geometry 2008. ., p. 13-16

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

Test Case Generation from QR Models

Brandl, H. & Wotawa, F., 2008, New Frontiers in Applied Artificial Intelligence, 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008, Wroclaw, Poland, June 18-20, 2008, Proceedings. Nguyen, N. T. (ed.). Springer, Vol. 5027. p. 235-244 (Lecture Notes in Computer Science).

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

Testing Concurrent Objects with Application-Specific Schedulers

Schlatte, R., Aichernig, B., de Boer, F. S., Griesmayer, A. & Broch Johnsen, E., 2008, Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 2008, Proceedings. Springer, p. 319-333

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

Towards Automated Online Diagnosis of Robot Navigation Software

Kleiner, A., Steinbauer, G. & Wotawa, F., 2008, Simulation, Modeling and Programming for Autonomous Robots. Carpin, S., Noda, I., Pagello, E., Reggiani, M. & Stryk, O. V. (eds.). Springer, Vol. 5325. p. 159-170 (Lecture Notes in Computer Science).

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

Towards Recommending Configurable Offerings

Tiihonen, J. & Felfernig, A., 2008, Proceedings of the ECAI 2008 Workshop on Configuration. ., p. 29-34

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

Triangulations without pointed spanning trees.

Aichholzer, O., Huemer, C. & Krasser, H., 2008, In : Computational geometry. 40, 1, p. 79-83

Research output: Contribution to journalArticleResearchpeer-review

User Acceptance of Knowledge-based Recommenders, Machine Perception and Artificial Intelligence

Felfernig, A., Gula, B. & Teppan, E., 2008, Personalization Techniques and Recommender Systems. 1 ed. World Scientific Publishing, p. 249-276

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

User Interface Design for a Mobile Multimedia Application: An Iterative Approach

Hussain, Z., Lechner, M., Milchrahm, H., Shahzad, S., Slany, W., Umgeher, M., Vlk, T. & Wolkerstorfer, P., 2008, First International Conference on Advances in Computer-Human Interaction, 2008. ., p. 189-194

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

Using model-checkers to generate and analyze property relevant test-cases

Fraser, G. & Wotawa, F., 2008, In : Software quality journal. 16, 2, p. 161-183

Research output: Contribution to journalArticleResearchpeer-review

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

XP Team Psychology - An Inside View

Lechner, M., 2008, (Accepted/In press) PPIG 2008, The 20th Annual Psychology of Programming Interest Group Conference. .

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

2007

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

Aichholzer, O. & Krasser, H., 2007, In : Computational geometry. 36, 1, p. 2-15

Research output: Contribution to journalArticleResearchpeer-review

AI-planning in a mobile autonomous robot with degraded software capabilities

Weber, J. & Wotawa, F., 2007, International Workshop on Moving Planning and Scheduling Systems into the Real World. ., p. ?-?

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

An Introduction to Model-based Systems

Wotawa, F., Picardi, C. & Salles, P., 2007, In : AI Communications. 20, 1, p. 1-6

Research output: Contribution to journalArticleResearchpeer-review

Anzu: A Tool for Property Synthesis

Jobstmann, B., Galler, S., Weiglhofer, M. & Bloem, R. P., 2007, Proceedings of the 19th International Conference of Computer Aided Verification 2007. ., p. 258-262

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

Approximating boundary-triangulated objects with balls

Aichholzer, O., Aurenhammer, F., Hackl, T., Kornberger, B., Peternell, M. & Pottmann, H., 1 Mar 2007.

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

Approximating Boundary-Triangulated Objects with Balls

Kornberger, B., Hackl, T., Aurenhammer, F., Aichholzer, O., Pottmann, H. & Peternell, M., 2007, Collection of Abstracts of the 23rd European Workshop on Computational Geometry. Graz: Verlag der Technischen Universität Graz, Vol. 23. p. 130-133

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

Open Access
File

A quadratic distance bound on sliding between crossing-free spanning trees

Aichholzer, O. & Reinhardt, K., 2007, In : Computational geometry. 37, 3, p. 155-161

Research output: Contribution to journalArticleResearchpeer-review

A short Survey of Recommendation Technologies in Travel and Tourism

Felfernig, A., Gordea, S., Jannach, D., Teppan, E. & Zanker, M., 2007, In : ÖGAI-Journal. 25, 7, p. 17-22

Research output: Contribution to journalArticleResearch

Automated Debugging and Repair of Utility Constraints in Recommender Knowledge Bases

Felfernig, A., Friedrich, G. & Teppan, E., 2007, Proceedings of the 18th International Workshop on Principles of Diagnosis. ., p. 99-105

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

Automated Software Testing with Model Checkers

Fraser, G., 2007

Research output: ThesisDoctoral ThesisResearch

Collaboration of Intelligent, Autonomous Systems: Situation Aware Behavior Change

Krenn, W. K. & Wotawa, F., 2007, Advances in Intelligent and Distributed Computing. Badica, C. & Paprzycki, M. (eds.). Springer, Vol. 78. p. 283-288 (Studies in Computational Intelligence).

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

Combining Quantitative and Qualitative Models with Active Observations for better Diagnoses of Autonomous Mobile Robots

Steinbauer, G. & Wotawa, F., 2007, (Accepted/In press) Proceedings of the 5th Workshop on Intelligent Solutions in Embedded Systems. .

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

Computational and structural advantages of circular boundary representation

Aichholzer, O., Aurenhammer, F., Hackl, T., Jüttler, B., Oberneder, M. & Sir, Z., 2007, International Workshop on Algorithms and Data Structures. ., Vol. 4619. p. 374-385 (Lecture Notes in Computer Science).

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

Computational and structural advantages of circular boundary representation

Aichholzer, O., Aurenhammer, F., Juettler, B., Oberneder, M., Sir, Z. & Hackl, T., 1 Aug 2007.

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

Configuring Collaboration of Software Modules at Runtime

Krenn, W. K. & Wotawa, F., 2007, AAAI Workshop on Configuration. AAAI Press, p. 19-24

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

Connecting colored point sets

Aichholzer, O., Aurenhammer, F., Hackl, T. & Huemer, C., 2007, In : Discrete applied mathematics. 155, 3, p. 271-278

Research output: Contribution to journalArticleResearchpeer-review

Creating Test-Cases Incrementally with Model-Checkers

Fraser, G. & Wotawa, F., 2007, Proceedings of the 37th Annual Congress of the Gesellschaft fuer Informatik. ., p. 415-420

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

Decompositions, partitions, and coverings with convex polygons and pseudo-triangles.

Aichholzer, O., Huemer, C., Kappes, S., Speckmann, B. & Toth, C., 2007, In : Graphs and combinatorics. 23, 5, p. 481-507

Research output: Contribution to journalArticleResearchpeer-review

Diagnosing dependent failures - an extension of consistency-based diagnosis

Weber, J. & Wotawa, F., 2007, 18th International Workshop on Principles of Diagnosis (DX-07). ., p. ?-?

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

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

Executing Abstract Test Cases

Peischl, B., Weiglhofer, M. & Wotawa, F., 2007, Proceedings of the 37th Annual Congress of the Gesellschaft fuer Informatik. ., p. 421-426

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

Fault Detection in Multi-Threaded C++ Server Applications

Mühlenfeld, A. & Wotawa, F., 2007, PPoPP '07: Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. New York, NY, USA: ., p. 142-143

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

Fault Detection in Multi-Threaded C++ Server Applications

Mühlenfeld, A. & Wotawa, F., 2007, In : Electronic Notes in Theoretical Computer Science . 174, 9, p. 5-22

Research output: Contribution to journalArticleResearch

Fault Detection in Multi-Threaded C++ Server Applications

Mühlenfeld, A. & Wotawa, F., 2007.

Research output: Contribution to conferencePosterResearch