Modeling and Analysis of Information Systems


The aim of our research is to make software-based systems more trustworthy (i.e. correct, safe, and secure) than they are today. As software engineering is a complex and error-prone task, we employ formal methods for reasoning about information systems and critical system properties. We investigate software systems on the level of code (source code and machine code) as well as on the level of more abstract system specifications. This allows us to provide support for different stages of software development. More details can be found in the Research and Projects sections.

Parts of our research are funded by the Deutsche Forschungsgemeinschaft (DFG), by the European Union (EU), and, within the "Landes-Offensive zur Entwicklung Wissenschaftlich-ökonomischer Exzellenz (LOEWE)", by the Land Hessen.


In winter term 2014/15 we offer the following courses:

Find out more about our teaching activities.



New Publications

We are happy to announce that the following new papers have been accepted recently:

Cassandra: Towards a Certifying App Store for Android
by Steffen Lortz, Heiko Mantel, Artem Starostin, Timo Bähr, David Schneider, and Alexandra Weber has been accepted for publication at SPSM 2014.
CliSeAu: Securing Distributed Java Programs by Cooperative Dynamic Enforcement
by Richard Gay, Jinwei Hu, and Heiko Mantel has been accepted for publication at ICISS 2014.


New Ph.D. positions

The MAIS group offers new Ph.D. positions. The application deadline for the new positions is 25 SEP 2014. For more details, please have a look at the Open Positions page.


New conference publication

The paper "Scalable Offline Monitoring" by David Basin, Germano Caronni, Sarah Ereth, Matúš Harvan, Felix Klaedtke and Heiko Mantel was accepted at RV 2014.

MAIS logo

Open Positions

We currently have open Ph.D. positions in our group. Find out more.

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang