On the Incompressibility of Monotone DNFs. - Matthias P. Krieger (Theory Comput. Syst., 2007)

Executing Underspecified OCL Operation Contracts with a SAT Solver. - Matthias P. Krieger; Alexander Knapp (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Extending OCL with Null-References. - Achim D. Brucker; Matthias P. Krieger; Burkhart Wolff (MoDELS (Workshops), 2009)

Automatic and efficient simulation of operation contracts. - Matthias P. Krieger; Alexander Knapp; Burkhart Wolff (GPCE, 2010)

A Specification-Based Test Case Generation Method for UML/OCL. - Achim D. Brucker; Matthias P. Krieger; Delphine Longuet; Burkhart Wolff (MoDELS (Workshops), 2010)

Extending OCL Operation Contracts with Objective Functions. - Matthias P. Krieger; Achim D. Brucker (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Test generation and animation based on object-oriented specifications. (Génération de tests et animation à partir de spécifications orientées objet). - Matthias P. Krieger (2011)