Publications
Matthias P. Krieger. Test Generation and Animation Based on Object-Oriented Specifications. PhD thesis, University Paris-Sud XI, 2011 [pdf].
Matthias P. Krieger and Achim D. Brucker. Extending OCL Operation Contracts with Objective Functions. Proceedings of the International Workshop on OCL and Textual Modelling (OCL 2011). Electronic Communications of the EASST 44, 2011.
Achim D. Brucker, Matthias P. Krieger, Delphine Longuet and Burkhart Wolff. A Specification-based Test Case Generation Method for UML/OCL. Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010). In J. Dingel and A. Solberg, editors, MoDELS Workshops, volume 6627 of Lecture Notes in Computer Science, pages 334-348. Springer, 2010 [pdf © Springer-Verlag].
Matthias P. Krieger, Alexander Knapp and Burkhart Wolff. Automatic and Efficient Simulation of Operation Contracts. In E. Visser and J. Järvi, editors, Generative Programming and Component Engineering, pages 53–62. ACM, 2010.
Achim D. Brucker, Matthias P. Krieger and Burkhart Wolff. Extending OCL with null-references. Proceedings of The Pragmatics of OCL and Other Textual Specification Languages (OCL 2009). In S. Ghosh, editor, MoDELS Workshops, volume 6002 of Lecture Notes in Computer Science, pages 261-275. Springer, 2009 [pdf © Springer-Verlag].
Matthias P. Krieger and Alexander Knapp. Executing Underspecified OCL Operation Contracts with a SAT Solver. Proceedings of the 8th International Workshop on OCL Concepts and Tools (OCL 2008). Electronic Communications of the EASST 15, 2008.
Matthias P. Krieger. On the Incompressibility of Monotone DNFs. Theory of Computing Systems 41(2), pages 211-231, 2007 [pdf © Springer-Verlag].
Matthias P. Krieger. Some Restricted Circuit Classes that Can Be as Inefficient as DNFs. Diplom thesis, Goethe-University Frankfurt am Main, 2006 [pdf].
Matthias P. Krieger. On the Incompressibility of Monotone DNFs. In M. Liskiewicz and R. Reischuk, editors, Fundamentals of Computation Theory, volume 3623 of Lecture Notes in Computer Science, pages 32-43. Springer, 2005 [pdf © Springer-Verlag].