• 8010

    Inffeldgasse 16b Graz

    Austria

Organization profile

Profile Information

The Institute for Software Technology (IST) is concerned with the theoretical, practical and applied aspects of software engineering. Research lies in the field of intelligent systems, formal verification and systematic testing of software, artificial intelligence, requirements engineering, recommender systems, optimization of industrial problems, game theory, agile software development processes, computer languages, computer science education, management of software development projects (including knowledge management), software development for and on smartphones and tablets, combinatorics and complexity theory, algorithms and computational geometry, and intelligent autonomous robots. Research Groups: Applied Software Engineering (Univ.-Prof. Dipl.-Ing. Dr.techn. Alexander Felfernig): Research topics are intelligent methods, techniques and algorithms to improve the development, maintenance and usability of complex software systems. Examples include the development and use of recommender technologies in software engineering and knowledge engineering, the use of diagnostic tools to support knowledge acquisition and maintenance processes, the use of human computation methods for the development of knowledge bases, the examination of the role of decision-psychological theories in the development of software systems and the application of research results in industry (for example, configuration and recommender systems for financial services). Software Technology (Univ.-Prof. Dipl.-Ing. Dr.techn. Wolfgang Slany): Research topics are intelligent methods, techniques and algorithms to improve the development, maintenance and usability of complex software systems, optimization of industrial problems, game theory, visual computer languages, computer science education, software development for and on smartphones and tablets, combinatorics and complexity theory, intelligent robots for children, and the application of research results in industry, e.g., optimization of shift work or creating mobile tutorial systems. Software Development and Artificial Intelligence (Univ.-Prof. Dipl.-Ing. Dr.techn. Franz Wotawa): Research topics include the automation of testing and fault location in programs based on formal models and the diagnosis and configuration of systems. Besides the development of theoretical principles the research group is working on practical implementations together with industrial companies. This also involves to a large extent the empirical analysis of software repositories and static and dynamic program analysis. In the field of robotics, there is a close collaboration with Dr. Steinbauer, especially in the field of adaptive and self-healing systems. Algorithms and Computational Geometry (Assoc.Prof. Dipl.-Ing. Dr.techn. Oswin Aichholzer): Research topics are efficient algorithms in the field of combinatorial and computational geometry. Particular emphasis is placed on the implementation of often complex algorithmic solutions into practically applicable programs. This combination of theoretical insights and applied software development has proven to provide novel solutions in many areas. Applications can be found in both, basic research on complex combinatorial and geometric problems as well as in specific industrial tasks. Formal Development Methods in Computer Science (Ao.Univ.-Prof. Dipl.-Ing. Dr.techn. Bernhard Aichernig): Research topics include specification, production and verification methods based on formal logic and mathematical methods. The ultimate goal is to develop provably correct software for highly critical systems. In practice, we combine proof with testing techniques. One research focus is the automatic generation of test cases from abstract models with precise semantics (formal testing, model-based testing). This includes the investigation of appropriate modeling languages, the development of test case generators, and the evaluation of testing procedures. Application domains are, e.g., automotive engineering, railways, and aviation. Autonomous Intelligent Systems (Ass.Prof. Dipl.-Ing. Dr.techn. Gerald Steinbauer): Research topics include knowledge representation and robust decision-making processes for autonomously acting robots and agents. In particular autonomous systems operating in dynamic non-deterministic "real world" environments are considered. To function reliably in such areas, the systems must be equipped with appropriate diagnosis and inference mechanisms. Furthermore, we are working on the implementation of these mechanisms in real application scenarios such as search and rescue robots and service robots. We are also working on the use of educational robotics in academic youth development.

Fingerprint Dive into the research topics where Institute of Software Technology (7160) is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

  • Network Recent external collaboration on country level. Dive into details by clicking on the dots.

    Profiles

    No photo of Bernhard Aichernig
    19952020
    No photo of Oswin Aichholzer

    Oswin Aichholzer

    Person

    19922019
    No photo of Müslüm Atas

    Müslüm Atas

    Person

    20142020

    Research Output

    Comparing two systematic approaches for testing automated driving functions

    Felbinger, H., Klück, F. S., Li, Y., Nica, M., Tao, J., Wotawa, F. & Zimmermann, M. J., 2020, 2019 IEEE International Conference on Connected Vehicles and Expo (ICCVE). IEEE Publications, 6 p.

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

  • Co-simulation Workflow for the Dynamic Modelling and Simulation of Large-scale District Energy Systems

    Nageler, P. J., Schweiger, G., Schranzhofer, H., Heimrath, R., Mach, T., Fochler, L-M., Hochenauer, C., Fluch, J., Leusbrock, I. & Fink, C., 2020, Proceedings of Building Simulation 2019: 16th Conference of IBPSA. International Building Performance Simulation Association, p. 3698-3705 8 p. BS2019_211048

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

  • Extending Automated FLTL Test Oracles With Diagnostic Support

    Pill, I. & Wotawa, F., 2020, 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). Institute of Electrical and Electronics Engineers, p. 354-361 8 p.

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

  • Activities

    AAAI-20 Thirty-Fourth AAAI Conference on Artificial Intelligence (Event)

    Ingo Pill (Member)
    2020

    Activity: MembershipMembership in Programm Committee

    ECAI 2020 - 24th European Conference on Artificial Intelligence (Event)

    Ingo Pill (Member)
    2020

    Activity: MembershipMembership in Programm Committee

    Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring

    Marco De Bortoli (Speaker)
    2019

    Activity: Talk or presentationTalk at conference or symposiumScience to science

    Prizes

    1. Platz FOPI Innovation Award 2015

    Bernadette Spieler (Recipient), 7 Sep 2015

    Prize: Prizes / Medals / Awards

    2.Platz HEALTH Research Award 2015 Kathegorie "eHealth"

    Bernadette Spieler (Recipient), 13 Mar 2015

    Prize: Prizes / Medals / Awards

  • AAAI-15 Outstanding Program Committee Member

    Ingo Hans Pill (Recipient), 2015

    Prize: Prizes / Medals / Awards

  • Press / Media

    Vieles, was man an Bildern über KI im Kopf hat, ist aus Hollywood

    Martin Gebser

    17/06/19

    1 item of media coverage

    Press/Media: Press / Media

    Coding for anyone

    Martin Ebner & Wolfgang Slany

    29/03/18

    1 media contribution

    Press/Media: Press / Media

    Recommendation-based eLearning for Refugees

    Alexander Felfernig

    24/11/16

    1 media contribution

    Press/Media: Press / Media

    Projects