Completeness-Driven Development. - Rolf Drechsler; Melanie Diepenbeck; Daniel Große; Ulrich Kühne; Hoang Minh Le 001; Julia Seiter 002; Mathias Soeken; Robert Wille (ICGT, 2012)

Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams. - Julia Seiter 002; Mathias Soeken; Robert Wille; Rolf Drechsler (RC, 2012)

Determining relevant model elements for the verification of UML/OCL specifications. - Julia Seiter 002; Robert Wille; Mathias Soeken; Rolf Drechsler (DATE, 2013)

Verifying consistency between activity diagrams and their corresponding OCL contracts. - Christoph Hilken; Julia Seiter 002; Robert Wille; Ulrich Kühne; Rolf Drechsler (FDL, 2014)

Automatic refinement checking for formal system models. - Julia Seiter 002; Robert Wille; Ulrich Kühne; Rolf Drechsler (FDL, 2014)

Verification-Driven Design Across Abstraction Levels: A Case Study. - Nils Przigoda; Jannis Stoppe; Julia Seiter 002; Robert Wille; Rolf Drechsler (DSD, 2015)

Development of Consistent Formal Models. - Julia Seiter 002; Rolf Drechsler (SyDe Summer School, 2015)

Coverage of OCL Operation Specifications and Invariants. - Mathias Soeken; Julia Seiter 002; Rolf Drechsler (TAP@STAF, 2015)

Formal model refinement: from specification to implementation. - Julia Seiter 002 (2015)