• 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 The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Testing Engineering & Materials Science
Model checking Engineering & Materials Science
Triangulation Engineering & Materials Science
Specifications Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Point Sets Mathematics
Web services Engineering & Materials Science
Convex Sets Mathematics

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

Profiles

No photo of Bernhard Aichernig
19952018
No photo of Oswin Aichholzer

Oswin Aichholzer

Person

19922020
No photo of Wolfgang Aigner

Wolfgang Aigner

Person

20072015

Research Output 1986 2018

28th International Workshop on Principles of Diagnosis (DX'17)

Zanella, M. (ed.), Pill, I. (ed.) & Cimatti, A. (ed.) 6 Jan 2018 EasyChair Ltd. 312 p. (Kalpa Publications in Computing; vol. 4)

Research output: Book/ReportAnthology

Open Access

A Counting Semantics for Monitoring LTL Specifications over Finite Traces

Bartocci, E., Bloem, R., Nickovic, D. & Röck, F. 2018 Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Vol. 1, p. 547-564 18 p. (Lecture Notes in Computer Science; vol. 10980)

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

Open Access

A Driving License for Intelligent Systems

Kandlhofer, M. & Steinbauer, G. 2018

Research output: Contribution to conferencePoster

Activities 1996 2018

Towards Understanding and Managing Co-Creative Communities

Müller, M. (Speaker), Vorraber, W. (Speaker), Slany, W. (Speaker)
27 Jun 201828 Jun 2018

Activity: Science to scienceTalk at conference or symposium

Agile Software Development, Software Engineering, Computer Science Didactic & Teaching

Schindler, C. (Speaker)
10 Aug 2018

Activity: Science to scienceInvited talk

Statistical Model Checking of Response Times for Different System Deployments

Schumi, R. A. (Speaker)
6 Sep 2018

Activity: Science to scienceTalk at conference or symposium

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