Matthias P. Krieger

According to our database, Matthias P. Krieger authored at least 7 papers between 2007 and 2011.

Collaborative distances:

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

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

PhD thesis, 2011

Extending OCL Operation Contracts with Objective Functions.

Matthias P. Krieger, Achim D. Brucker

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

2010

A Specification-Based Test Case Generation Method for UML/OCL.

Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff

Proceedings of the Models in Software Engineering, 2010

Automatic and efficient simulation of operation contracts.

Matthias P. Krieger, Alexander Knapp, Burkhart Wolff

Proceedings of the Generative Programming And Component Engineering, 2010

2009

Extending OCL with Null-References.

Achim D. Brucker, Matthias P. Krieger, Burkhart Wolff

Proceedings of the Models in Software Engineering, 2009

2008

Executing Underspecified OCL Operation Contracts with a SAT Solver.

Matthias P. Krieger, Alexander Knapp

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

2007

On the Incompressibility of Monotone DNFs.

Matthias P. Krieger

Theory Comput. Syst., 2007