Christoph Hilken

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Logic Synthesis

Formal Semantics

Top Venues

Publications

Christoph Hilken, Jan Peleska
Model-Based Testing Against Complex SysML Models. SyDe Summer School (2015)
Christoph Hilken, Jan Peleska, Robert Wille
A Unified Formulation of Behavioral Semantics for SysML Models. MODELSWARD (2015)
Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, Rolf Drechsler
Checking concurrent behavior in UML/OCL models. MoDELS (2015)
Christoph Hilken, Julia Seiter, Robert Wille, Ulrich Kühne, Rolf Drechsler
Verifying consistency between activity diagrams and their corresponding OCL contracts. FDL (2014)
Mathias Soeken, Robert Wille, Christoph Hilken, Nils Przigoda, Rolf Drechsler
Synthesis of reversible circuits with minimal lines for large functions. ASP-DAC (2012)