Julia Seiter

According to our database, Julia Seiter authored at least 9 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Formal model refinement: from specification to implementation.

Julia Seiter

PhD thesis, 2015

Coverage of OCL Operation Specifications and Invariants.

Mathias Soeken, Julia Seiter, Rolf Drechsler

Proceedings of the Tests and Proofs - 9th International Conference, 2015

Development of Consistent Formal Models.

Julia Seiter, Rolf Drechsler

Proceedings of the Formal Modeling and Verification of Cyber-Physical Systems, 2015

Verification-Driven Design Across Abstraction Levels: A Case Study.

Nils Przigoda, Jannis Stoppe, Julia Seiter, Robert Wille, Rolf Drechsler

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

2014

Automatic refinement checking for formal system models.

Julia Seiter, Robert Wille, Ulrich Kühne, Rolf Drechsler

Proceedings of the 2014 Forum on Specification and Design Languages, 2014

Verifying consistency between activity diagrams and their corresponding OCL contracts.

Christoph Hilken, Julia Seiter, Robert Wille, Ulrich Kühne, Rolf Drechsler

Proceedings of the 2014 Forum on Specification and Design Languages, 2014

2013

Determining relevant model elements for the verification of UML/OCL specifications.

Julia Seiter, Robert Wille, Mathias Soeken, Rolf Drechsler

Proceedings of the Design, Automation and Test in Europe, 2013

2012

Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams.

Julia Seiter, Mathias Soeken, Robert Wille, Rolf Drechsler

Proceedings of the Reversible Computation, 4th International Workshop, 2012

Completeness-Driven Development.

Rolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne, Hoang Minh Le, Julia Seiter, Mathias Soeken, Robert Wille

Proceedings of the Graph Transformations - 6th International Conference, 2012