• 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.

Testing Engineering & Materials Science
Planning Engineering & Materials Science
Model checking Engineering & Materials Science
Specifications Engineering & Materials Science
Spreadsheets Engineering & Materials Science
Triangulation Engineering & Materials Science
Robots Engineering & Materials Science
Communication Engineering & Materials Science

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

Profiles

No photo of Bernhard Aichernig
19952022
No photo of Oswin Aichholzer

Oswin Aichholzer

Person

19922020
No photo of Müslüm Atas

Müslüm Atas

Person

20142019

Research Output 1986 2019

Analyzing and Managing Complex Software Ecosystems: A Framework to Understand Value in Information Systems

Vorraber, W., Müller, M., Voessner, S. & Slany, W., 1 May 2019, In : IEEE Software. 36, 3, p. 55-60 6 p., 8409423.

Research output: Contribution to journalArticleResearchpeer-review

Ecosystems
Information systems
Engines
Open source software

An Approach to Test Classification in Big Android Applications

Hirsch, T., Schindler, C., Müller, M. & Slany, W., 2019, (Accepted/In press) Companion of the 19th IEEE International Conference on Software Quality, Reliability and Security. IEEE Computer Society Conference Publishing Services, p. 300 8 p. 1

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

Testing

Activities 1996 2020

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

Ingo Hans Pill (Chair)
2020

Activity: MembershipMembership in Programm Committee

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

Ingo Pill (Member)
2020

Activity: MembershipMembership in Programm Committee

28th International Joint Conference on Artificial Intelligence (Event)

Ingo Pill (Member)
2019

Activity: MembershipMembership in Programm Committee

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

Telemedicine
Research

AAAI-15 Outstanding Program Committee Member

Ingo Hans Pill (Recipient), 2015

Prize: Prizes / Medals / Awards

Committee Membership

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

Intelligenter Entscheiden lernen

Alexander Felfernig

1/04/16

1 media contribution

Press/Media: Press / Media

Projects 1995 2024