Matthias P. Krieger

Publication Activity (10 Years)

Years Active: 2005-2011
Publications (10 Years): 0

University of Paris-Sud, Orsay, France (PHD)

Education History

University of Paris-Sud, Orsay, France

PHD

Publications

Matthias P. Krieger, Achim D. Brucker
Extending OCL Operation Contracts with Objective Functions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44 (2011)
Matthias P. Krieger, Alexander Knapp, Burkhart Wolff
Automatic and efficient simulation of operation contracts. GPCE (2010)
Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff
A Specification-Based Test Case Generation Method for UML/OCL. MoDELS (Workshops) (2010)
Achim D. Brucker, Matthias P. Krieger, Burkhart Wolff
Extending OCL with Null-References. MoDELS (Workshops) (2009)
Matthias P. Krieger, Alexander Knapp
Executing Underspecified OCL Operation Contracts with a SAT Solver. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 15 (2008)
Matthias P. Krieger
On the Incompressibility of Monotone DNFs. Theory Comput. Syst. 41 (2) (2007)
Matthias P. Krieger
On the Incompressibility of Monotone DNFs. FCT (2005)