Cyber-Physical Systems

Publications

Page 1 of 1.

Mathias Soeken; Julia Seiter; Rolf Drechsler
Coverage of OCL Operation Specifications and Invariants
In: Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings. International Conference on Tests …
Christoph Hilken; Julia Seiter; Robert Wille; Ulrich Kuehne; Rolf Drechsler
Verifying Consistency between Activity Diagrams and Their Corresponding OCL Contracts
In: Forum on Specification & Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), October 14-16, München, Germany, o.A. …
Julia Seiter; Robert Wille; Ulrich Kühne; Rolf Drechsler
Automatic Refinement Checking for Formal System Models
In: Forum on Specification & Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), October 14-16, München, Germany, o.A. …
Julia Seiter; Robert Wille; Mathias Soeken; Rolf Drechsler
Determining Relevant Model Elements for the Verification of UML/OCL Specifications
In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-13), March 18-22, Grenoble, France, IEEE, 2013.
Rolf Drechsler; Melanie Diepenbeck; Daniel Große; Ulrich Kühne; Hoang M. Le; Julia Seiter; Mathias Soeken; Robert Wille
Completeness-Driven Development
In: G. Rozenberg; H.-J. Kreowski; G. Engels; H. Ehrig (Hrsg.). Proceedings of the 6th International Conference on Graph Transformation 2012 "Modeling …