Maik Kollmann

According to our database, Maik Kollmann authored at least 5 papers between 2003 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

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

PhD thesis, 2008

2007

Generating Scenarios by Multi-Object Checking.

Maik Kollmann, Yuen Man Hon

Proceedings of the Third Workshop on Model Based Testing, 2007

Automation of Formal Verification of PLC Programs Written in IL.

Olivera Pavlovic, Ralf Pinger, Maik Kollmann

Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007

2003

Checking Object System Designs Incrementally.

Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger

J. Univers. Comput. Sci., 2003

Effiziente Scheduling ohne Algorithmus.

Maik Kollmann

Proceedings of the Tagungsband zum 15. GI-Workshop Grundlagen von Datenbanken, 2003