|
Home « Team « Publications
» Publications of
Julia Seiter
|
|
 |
BOOKS |
 |
|
BOOK CONTRIBUTIONS |
|
|
JOURNALS |
|
|
CONFERENCES |
|
» Determining Relevant Model Elements for the Verification of UML/OCL Specifications
|
|
|
|
Author:
|
|
Julia Seiter, Robert Wille, Mathias Soeken, Rolf Drechsler |
| Conference: |
|
Design, Automation and Test in Europe (DATE) |
Reference:
|
| Grenoble, France, 2013
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Completeness-Driven Development
|
|
|
|
Author:
|
|
Rolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne, Hoang M. Le, Julia Seiter, Mathias Soeken, Robert Wille |
| Conference: |
|
International Conference on Graph Transformation |
Reference:
|
| pp. 38-50, Bremen, 2012
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
|
WORKSHOPS |
|
» Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams
|
|
|
|
Author:
|
|
Julia Seiter, Mathias Soeken, Robert Wille, Rolf Drechsler |
| Workshop: |
|
Workshop on Reversible Computation |
Reference:
|
| Kopenhagen, 2012
| Hyperlink:
|
| [Link to the Workshop]
|
|
|
|
|
