Search All Publications

Ph.D. Theses

Edith Werner
Learning Finite State Machine Specifications from Test Cases, 2010

Master's Theses

Dalia Dahman
Extension of a Globus Toolkit 4 Grid System by a Virtual Runtime Environment based on Eucalyptus, 2010
Lucas Schubert
An Evaluation of Model Transformation Languages for UML Quality Engineering, 2010

Bachelor's Theses

Svetoslav Mihaylov
Declarative Rule-Based Composition, Validation, and Improvement of EBNF Grammars for the Management of Language Extensions, 2010
Kathrin Becker
Detection and Analysis of Dependencies Between TTCN-3 Modules, 2010

Tutorials

Thomas Rings, Stephan Schulz, Luca Serazio
Automated Interoperability Testing Using TTCN3, TTCN-3 User Conference 2010, 2010

Presentations

Philip Makedonski, Jens Grabowski
Systematic Quality Assurance for Test Specifications, 2010
Benjamin Zeiß, Jens Grabowski
Towards the Assessment of Change in Complex Networks, Sino-German Workshop on Internet of Things, 2010
Benjamin Zeiß
Quality Assurance of Test Specifications for Reactive Systems, 2010
Benjamin Zeiß, Steffen Herbold, Philip Makedonski, Jens Grabowski, Kathrin Becker, Stefan Kirchner
Dependency and Guideline Analysis for TTCN-3, TTCN-3 User Conference, 2010

Pages

2025 © Software Engineering For Distributed Systems Group

Main menu 2