Homepage (Universität Paderborn)

Coverage Criteria for Testing DMM Specifications - GT-VMT'12

04/01/2012 | Our paper Coverage Criteria for Testing DMM Specifications has been accepted for presentation at the Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'12)! Svetlana Arifulina, Christian Soltenborn, Gregor Engels: Coverage…

31st meeting of national working group TAV (Test, Analysis and Verification of Software) (Organization Committee)

02/02/2011 |

ReVVerT 2011 - Requirements and Validation, Verification & Testing (Organization Committee) - March 2011 Berlin

02/01/2011 |

ACM Distinguished Paper Award for "Precise Detection of Conflicting Change Operations using Process Model Terms" - 3. - 8. October 2010 Oslo (Norway)

10/08/2010 | ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10) (ACM Distinguished Paper Award) Christian Gerth, Jochen Küster, Markus Luckey, Gregor Engels: Precise Detection of Conflicting Change Operations…

IEEE Symposium on Visual Languages and Human-Centric Computing 2010 (Most influential paper of last decade) - 21. - 25. September 2010 Madrid (Spain)

09/20/2010 | IEEE Symposium on Visual Languages and Human-Centric Computing 2010 (Most influential paper of last decade) Stefan Sauer and Gregor Engels: Extending UML for Modeling of Multimedia Applications. In Proceedings of the IEEE Symposium on Visual…

News

Coverage Criteria for Testing DMM Specifications - GT-VMT'12

31st meeting of national working group TAV (Test, Analysis and Verification of Software) (Organization Committee)

ReVVerT 2011 - Requirements and Validation, Verification & Testing (Organization Committee) - March 2011 Berlin

ACM Distinguished Paper Award for "Precise Detection of Conflicting Change Operations using Process Model Terms" - 3. - 8. October 2010 Oslo (Norway)

IEEE Symposium on Visual Languages and Human-Centric Computing 2010 (Most influential paper of last decade) - 21. - 25. September 2010 Madrid (Spain)