Matthias P. Krieger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2005–2010
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | GPCE | Automatic and efficient simulation of operation contracts. | Matthias P. Krieger, Alexander Knapp, Burkhart Wolff |
| 2010 | MODELS | A Specification-Based Test Case Generation Method for UML/OCL. | Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff |
| 2009 | MODELS | Extending OCL with Null-References. | Achim D. Brucker, Matthias P. Krieger, Burkhart Wolff |
| 2005 | FCT | On the Incompressibility of Monotone DNFs. | Matthias P. Krieger |