• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

Conference contribution

UML in Action: A Two-Layered Interpretation for Testing

Aichernig, B., Brandl, H., Jöbstl, E. & Krenn, W., 2011, Third IEEE International workshop UML and Formal Methods (UML & FM 2010). Association of Computing Machinery, Vol. 36. p. 1-8 (ACM Software Engineering Notes).

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

Uncertainty management by relaxation of conflicting constraints in production scheduling

Slany, W., Dorn, J. & Stary, C., 1992, Working Notes from the 1992 AAAI Spring Symposium. American Association of Artificial Intelligence, p. 62-66

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

Uncertainty management in production scheduling applied to high-grade steelmaking

Slany, W., Stary, C. & Dorn, J., 1992, Beiträge zum 6. Workshop "Planen und Konfigurieren". Erlangen [u.a.]: FORWISS, Vol. FR-1992-001. p. 51-60 (Report / Bayerisches Forschungszentrum für Wissensbasierte Systeme).

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

Unifying input output conformance

Weiglhofer, M. & Aichernig, B., 2010, Proceedings of UTP 2008, the 2nd International Symposium on Unifying Theories of Programming, 8th-10th September, Trinity College Dublin, Ireland. ., p. 181-201 (LNCS).

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

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

Hussain, Z., Lechner, M., Milchrahm, H., Shahzad, S., Slany, W., Umgeher, M. & Wolkerstorfer, P., 2007, Frontiers in Mobile and Web Computing. ., p. 115-120

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

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

User Interfaces for Counteracting Decision Manipulation in Group Recommender Systems

Tran, T. N. T., Felfernig, A., Le, V. M., Atas, M., Stettinger, M. & Samer, R., 2019, Adjunct Publication of the 27th Conference on User Modeling, Adaptation and Personalization. Larnaca, Cyprus: ACM/IEEE, p. 93-98 6 p. (UMAP'19 Adjunct).

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

Using abstract dependencies for debugging

Wotawa, F. & Soomro, S., 2005, International Workshop on Qualitative Reasoning. ., p. 23-28

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

Using a Feature Model Configurator for Release Planning

Raatikainen, M., Tiihonen, J., Männistö, T., Felfernig, A., Stettinger, M. & Samer, R., 2018, Proceedings of the 22Nd International Systems and Software Product Line Conference - Volume 2. New York, NY, USA: ACM SIGGRAPH, p. 29-33 5 p. (SPLC '18).

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

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 Answer Set Programming for Feature Model Representation and Configuration

Myllärniemi, V., Raatikainen, M., Tiihonen, J. & Felfernig, A., 2014, Workshop on Configuration. ., p. 1-8

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

Using Common Sense Invariants in Belief Management for Autonomous Agents

Mühlbacher, C. & Steinbauer, G., 2014, (Accepted/In press) AAAI Spring Symposium Series. .

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

Using Common Sense Invariants in Belief Management for Autonomous Agents

Mühlbacher, C. & Steinbauer, G., 2014, Modern Advances in Applied Intelligence. ., p. 49-59 (Lecture notes in computer science; vol. 8481).

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

Using Constraints for Equivalent Mutant Detection

Nica, S. A. & Wotawa, F., 2012, (Accepted/In press) Workshop on Formal Methods in the Development of Software. .

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

Using Dependency Relations to Improve Test Case Generation from UML Statecharts

Chimisliu, V. C. & Wotawa, F., 2013, Proceedings of the Fifth IEEE International Workshop on Software Test Automation (STA). ., p. 71-76

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

Using Distinguishing Tests to Reduce the Number of Fault Candidates

Nica, M., Nica, S. A. & Wotawa, F., 2010, (Accepted/In press) Proceedings of the 21st International Workshop on the Principles of Diagnosis. .

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

Using group recommendation heuristics for the prioritization of requirements

Ninaus, G., 2012, RecSys '12 Proceedings of the sixth ACM conference on Recommender systems. New York: Association of Computing Machinery, p. 329-332

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

Using Knowledge-based Advisor Technology for Improved Customer Satisfaction in the Shoe Industry

Felfernig, A., Stoefler, D., Russ, C. & Zanker, M., 2004, International Conference on Economic, Technical and organisational aspects of Product Configuration Systems. ., p. 20-22

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

Using LTL Rewriting to Improve the Performance of Model-Checker Based Test-Case Generation

Fraser, G. & Wotawa, F., 2007, Proceedings of the 3rd international workshop on Advances in model-based testing. New York, NY, USA: Association of Computing Machinery, p. 64-74

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

Using model-based reasoning for enhanced chatbot communication

Tazl, O. A. & Wotawa, F., 1 Jan 2019, Advances and Trends in Artificial Intelligence. From Theory to Practice - 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Proceedings. Wotawa, F., Pill, I., Koitz-Hristov, R., Friedrich, G. & Ali, M. (eds.). Springer Verlag, p. 791-798 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11606 LNAI).

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

Hotels
Inconsistency
Recommendations
Reasoning
Model-based

Using Model-based Reasoning for Generating Explanations from Environmental Models

Wotawa, F., 2004, EU-LAT Workshop on e-Environment. ., Vol. 11. p. 341-354

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

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

Using modelica programs for deriving propositional horn clause abduction problems

Peischl, B., Pill, I. & Wotawa, F., 2016, Advances in Artificial Intelligence - 39th Annual German Conference on AI, KI 2016, Proceedings. Springer-Verlag Italia, Vol. 9904 LNAI. p. 185-191 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9904 LNAI).

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

Modelica
Horn clause
Abduction
Fault
Deviation

Using Multiple Models for Debugging VHDL Designs

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-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

Using Particle Filter and Machine Learning for Accuracy Estimation of Robot Localization

Eder, M. J., Reip, M. & Steinbauer, G., 15 Jun 2019, Advances and Trends in Artificial Intelligence. From Theory to Practice: IEA/AIE 2019. Wotawa, F., Friedrich, G., Pill, I., Koitz-Hristov, R. & Ali, M. (eds.). Springer, Cham, p. 700-713 14 p. (Lecture Notes in Computer Science; vol. 11606).

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

Learning systems
Robots
Mobile robots
Classifiers

Using Qualitative and Model-Based Reasoning for Sensor Validation of Autonomous Mobile Robots

Kleiner, A., Steinbauer, G. & Wotawa, F., 2009, (Accepted/In press) International Workshop on Principles of Diagnosis. .

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

Using Spectrum-based Fault Localization for Test Case Grouping

Weiglhofer, M., Fraser, G. & Wotawa, F., 2009, Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering. ., p. 630-634

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

Using UML as domain specific modelling language for the construction and maintenance of simulation models in the area of circuit board production

Felfernig, A. & Erkollar, A., 1999, Proceedings of Informs 1999. ., p. 4-9

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

Utility-Based Repair of Inconsistent Requirements

Felfernig, A., Mairitsch, M., Mandl, M., Schubert, M. & Teppan, E., 2009, Proceedings of the The Twenty Second International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems. ., p. 162-171

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

Utilizing Diagnostic Results to Adapt the AI-Planning in a Mobile Autonomous Robot to Degraded Software Capabilities

Weber, J. & Wotawa, F., 2009, IJCAI-09 Workshop on Self-* and Autonomous Systems (SAS09). ., p. ?-?

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

Vague data management in production process scheduling applied to high-grade steelmaking

Slany, W., Stary, C. & Dorn, J., 1992, Artificial intelligence planning systems. ., p. 214-221

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

Vision for the future of education systems based on qualitative reasoning

Wotawa, F., Bredeweg, B., Neumann, M., Nuttle, T., Price, C., Russell, I. & Thomas, J., 2005, International Workshop on Qualitative Reasoning. ., p. 38-46

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

Web-based Commerce of Complex Products and Services with Multiple Suppliers

Ardissono, L., Felfernig, A., Friedrich, G., Goy, A., Jannach, D., Schäfer, R. & Zanker, M., 2001, Proceedings of Workshop: Planen und Konfigurieren (PuK). ., p. 1-8

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

Web-based configuration of Virtual Private Networks with Multiple Suppliers

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2002, Proceedings of the 7th Internation Conference on Artificial Intelligence in Design. ., p. 41-62

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

WE-DECIDE: A Decision Support Environment for Groups of Users

Stettinger, M., Ninaus, G., Jeran, M., Reinfrank, F-C. & Reiterer, S., 2013, Recent Trends in Applied Artificial Intelligence. Springer, p. 382-391

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

Weighted Combinatorial Sequence Testing for the TLS Protocol

Garn, B., Simos, D. E., Duan, F., Lei, Y., Bozic, J. & Wotawa, F., 2019, IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW'19). Institute of Electrical and Electronics Engineers

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

What makes a tree a straight skeleton?

Aichholzer, O., Cheng, H., Devadoss, S., Hackl, T., Huber, S., Li, B. & Risteski, A., 2012, Collection of Abstracts of the 28th European Workshop on Computational Geometry 2012. ., p. 137-140

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

What makes a tree a straight skeleton?

Aichholzer, O., Cheng, H., Devadoss, S., Hackl, T., Huber, S., Li, B. & Risteski, A., 2012, Proc. 24th Annual Canadian Conference on Computational Geometry CCCG 2012. ., p. 267-272

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

What Stakeholders Need to Know About Requirements

Maalej, W., Kurtanovic, Z. & Felfernig, A., 2014, 4th IEEE International Workshop on Empirical Requirements Engineering. ., p. 1-8

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

When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving

Jöbstl, E., Weiglhofer, M., Aichernig, B. & Wotawa, F., 2010, 2010 Third International Conference on Software Testing, Verification and Validation (ICST 2010). Institute of Electrical and Electronics Engineers, p. 479-488

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

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

Why Personal Information Management (PIM) Technologies Are Not Widespread

Voit, K., Andrews, K. & Slany, W., 2009, Personal information intersections: What happens when PIM spaces overlap?. ., p. 60-64

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

Open Access
File

Workshop on human decision making in recommender systems: Decisions@RecSys'11

Felfernig, A., Chen, L. & Mandl, M., 2011, Proceedings of the ACM Conference on Recommender Systems 2011. ., p. 389-390

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

Workshop on human decision making in recommender systems: Decisions@RecSys'12

Chen, L., deGemmis, M., Felfernig, A., Lops, P., Ricci, F., Semeraro, G. & Willemsen, M., 2012, Proceedings of the ACM Conference on Recommender Systems 2012. ., p. 347-348

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

Workshop on human decision making in recommender systems: Decisions@RecSys'13

Chen, L., deGemmis, M., Felfernig, A., Lops, P., Ricci, F., Semeraro, G. & Willemsen, M., 2013, Proceedings of the ACM Conference on Recommender Systems 2013. ., p. 479-480

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

XSS Pattern for Attack Modeling in Testing

Bozic, J. & Wotawa, F., 2013, International Workshop on Automation of Software Test. ., p. 71-74

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

“Computer Science for all”: Concepts to engage teenagers and non-CS students in technology

Spieler, B., Grandl, M., Ebner, M. & Slany, W., 1 Sep 2019, (Accepted/In press) Conference Proceeding ECGBL 2019. Odense, 9 p.

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

Open Access