Christoph Hilken

According to our database, Christoph Hilken authored at least 5 papers between 2012 and 2015.

Collaborative distances:

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

2015

Model-Based Testing Against Complex SysML Models.

Christoph Hilken, Jan Peleska

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

A Unified Formulation of Behavioral Semantics for SysML Models.

Christoph Hilken, Jan Peleska, Robert Wille

Proceedings of the MODELSWARD 2015, 2015

Checking concurrent behavior in UML/OCL models.

Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, Rolf Drechsler

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

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

2012

Synthesis of reversible circuits with minimal lines for large functions.

Mathias Soeken, Robert Wille, Christoph Hilken, Nils Przigoda, Rolf Drechsler

Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012