Maik Kollmann

Publication Activity (10 Years)

Years Active: 2003-2007
Publications (10 Years): 0

Publications

Olivera Pavlovic, Ralf Pinger, Maik Kollmann
Automation of Formal Verification of PLC Programs Written in IL. VERIFY (2007)
Maik Kollmann, Yuen Man Hon
Generating Scenarios by Multi-Object Checking. Electron. Notes Theor. Comput. Sci. 190 (2) (2007)
Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger
Checking Object System Designs Incrementally. J. Univers. Comput. Sci. 9 (2) (2003)
Maik Kollmann
Effiziente Scheduling ohne Algorithmus. Grundlagen von Datenbanken (2003)