in progress

 

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 University of Heidelberg on a market mechanism, which enables an automatic distribution, which considers the needs of both parents and day-care facilities.


Project status in progress
Project time 01.06.2016- 31.12.2025
Keywords Game Theory; Market Mechanisms; Allocation Algorithms; Deffered Accaptance
 

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.


Project status in progress
Project time 01.10.2015- 31.10.2025
Keywords formative E-Assessment; design patterns; UML class diagrams
 

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.


Project status in progress
Project time 01.10.2012- 01.10.2025
Website http://wwu-pi.github.io/md2-web/
Keywords Model-Driven Software Development, Domain Specific Language, iOS, Android
 

The Muenster 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.


Project status in progress
Project time 01.11.2003- 01.02.2025
Website http://pi-forschung.uni-muenster.de/de/muggl
Keywords Testing, Glass-box testing, Automated test case generation.
 

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.


Project status in progress
Project time 01.02.2002- 31.01.2025
Website http://muesli.uni-muenster.de/
Keywords High Level Parallel Programming; Algorithmic Skeletons
 

ProLeap - EXIST-Gründerstipendium


Project status in progress
Project time 01.01.2017- 31.05.2018
Funding source BMWi - University-Based Business Start-Ups
Project number 03EGSNW489
Keywords Existenzgründung; Start-up; Ausgründung
 

Customer-Management-System


Project status in progress
Project time 01.04.2017- 30.11.2017
Funding source matchInn UG (haftungsbeschränkt)
Keywords Informatik; Wirtschaftsinformatik

definitely finished

 

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.


Project status definitely finished
Project time 01.01.2014- 31.12.2015
Funding source German Academic Exchange Service
Project number 57049954
Keywords test case, control-flow coverage, dataflow coverage, symbolic computation, constraint solver.
 

8th International Conference on IT Security Incident Management & IT Forensics (IMF 2014)

IT security is an integral aspect in operating IT systems today. Yet, as even high-end precautionary measures cannot prevent every attack or security mishap, forensic capabilities in investigating such incidents in both technical and legal aspects are paramount. Capable incident response and forensic procedures have thus gained essential relevance in IT infrastructure operations and in law-enforcement, and there is ample need for research and standardization in this area. Since 2003, the IMF conference has established itself as one of the premier European venues for presenting research on IT security incident response and management and IT forensics. The conference provides a platform for experts from throughout the world to present and discuss recent technical and methodical advances in the field. It shall enable collaboration and exchange of ideas between industry (both as users and solution providers), academia, law-enforcement and other government bodies.


Project status definitely finished
Project time 12.05.2014- 14.05.2014
Website http://www.imf-conference.org
Keywords IT security incident management; digital forensics; international conference
 

Software Tests


Project status definitely finished
Project time 01.09.2008- 30.10.2010
Funding source Wirtschaft
Keywords Software development, Testing
 

Computer-supported learning in hybrid systems


Project status definitely finished
Project time 01.05.2005- 30.04.2010
Funding source Federal Ministry of Education and Research
Project number 01PI05003
Keywords E-Learning, Hybrid Systems
 

cHL-hybrid - Reference Technologies


Project status definitely finished
Project time 01.05.2005- 31.05.2008
Funding source Federal Ministry of Education and Research
Project number 01PI05003
Keywords E-Learning