Interdisciplinary cooperation with the Glorius Group of the Organic Chemistry Institute in the field of machine learning and data analysis

In cooperation with the Institute of Organic Chemistry, new methods and application context are discovered to apply machine learning in this area of natural science. We do not limit ourselves to the analysis of data but develop additional methods to prepare chemical data for analysis.

Game theoretical approach for the distribution of children to day-care facilities

The distribution of children to day-care facilities is a complex matching problem. Many cities solve the problem with a decentralized approach, where each day-care facility has its own wait-list. This process is often time-consuming and not optimized in view of parents’ preferences. We work in cooperation with the Leibniz Centre for European Economic Research on a market mechanism, which enables an automatic distribution, which considers the needs of both parents and day-care facilities.

E-Assessment Tool for UML class diagrams

The correction of student exercises for modelling UML class diagrams can be complex. Especially, when the exercise urges the students to use suitable design patterns, it can be difficult to compare two solutions with different design patterns. For this reason, we work on an E-Assessment tool, which is able to automatically identify design patterns within student solutions. The results can be leveraged to create customized feedback for students, which aims at the correct choice and application of design patterns.

Model-driven Mobile Development

MD² (MD2) is a model-driven framework for cross-platform development of mobile applications. Based on a textual DSL, MD2 generates runnable native apps for Android and iOS.

Musket - Muenster Skeleton Tool for High-Performance Code Generation

Many existing approaches to high-level parallel programming provide parallel constructs in the form of a library. This causes some limitations such as the difficulty to implement optimizations and a higher entry barrier for inexperienced programmers. Thus, Musket is based on a DSL. Important design decisions such as the syntax and structure of code can be selected purposefully when building a DSL. To abstract from low-level details, algorithmic skeletons (skeletons for short) are used. In essence, skeletons are higher order functions and encapsulate typical parallel computation/communication patterns.

Muli – The Münster Logic-Imperative Language

Object-oriented programming languages prevail in the development of enterprise software, but they do not particularly support the implementation of software which includes solving complicated search problems with dynamically appearing constraints. We propose the constraint-logic object-oriented language Muli. It facilitates an integrated implementation of business applications that involve search. Muli extends Java by logic variables and encapsulated search and leverages a symbolic virtual machine and constraint solvers.

The Münster Generator of Glass-box Test Cases

Testing is a task that requires much effort, yet it is essential for developing software. Automated test case generation (TCG) promises to relieve humans of manual work. We introduce Muggl (the Muenster generator of glass-box test cases), which is developed at our institute. Muggl generates test cases for Java bytecode.

Algorithmic Skeletons - The Muenster Skeleton Library (Muesli)

Experience shows that the development of parallel programs is an elaborate and time-consuming task. The Muenster Skeleton Library (Muesli) is a collection of high-level concepts that facilitate the development of parallel programs. The library contains so-called algorithmic skeletons, i.e. frequently recurring parallel programming patterns, which can be easily and efficiently combined to develop parallel applications.

Digital Health Application for Personalized Rehabilitation after Ankle Inversion Trauma

Ankle injuries after inversion trauma are common and they can have serious consequences1. Physiotherapy is rarely prescribed, although studies report a 60% reduced risk of re-injury after balance training2,3. Patients demonstrate a broad variety of impairments in function and activity after ankle inversion trauma1,4. E-health solutions such as InjuryMap© and SWORD HEALTH offer more or less independent rehabilitation after ankle inversion trauma. Their first user experiences are positive, though adherence is low without health professional interaction, and personalisation is limited. The digital system in this study aims to provide personalized rehabilitation, which could help patients return to work or sport in an effective and efficient manner and reduce the risk of chronic disability.

International Conference on Managed Programming Languages & Runtimes in Münster 2021

EXIST-Gründerstipendium "ProLeap"

Customer-Management-System

9th International Symposium on High-Level Parallel Programming and Applications

Test-Case Generation using Cooperating Constraint Solvers

The aim is the development of a tool for the automatic generation of test cases for programs written in Java. The set of generated test cases should cover all control and/or data flows of a considered system of Java classes.

Wirtschaftliche und plattformübergreifende Entwicklung von Business Apps

Software Tests

Computer-supported learning in hybrid systems

cHL-hybrid - Integration of Research- and Learning Processes

cHL-hybrid - Reference Technologies

cHL-hybrid - Integration of teaching and learning processes with administrative processes