Effiziente Scheduling ohne Algorithmus. - Maik Kollmann (Grundlagen von Datenbanken, 2003)

Checking Object System Designs Incrementally. - Hans-Dieter Ehrich; Maik Kollmann; Ralf Pinger (J. Univers. Comput. Sci., 2003)

Automation of Formal Verification of PLC Programs Written in IL. - Olivera Pavlovic; Ralf Pinger; Maik Kollmann (VERIFY, 2007)

Generating Scenarios by Multi-Object Checking. - Maik Kollmann; Yuen Man Hon (MBT, 2007)

Anforderungsspezifikation, Verhaltensspezifikation und Überprüfung objektorientierter Stellwerke mit Multi-Objektlogiken, UML-Zustandsdiagrammen und Multi-Object Checking (Requirements Specification, Behavioral Specification and Checking of object-oriented Interlocking Systems using Multi-Object Logics, UML State Machines and Multi-Object Checking) - Maik Kollmann (2008)