Publications

Page 2 of 3.

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; Jan Peleska; Robert Wille
A Unified Formulation of Behavioral Semantics for SysML Models
In: Modelsward 3rd International Conference on Model-Driven Engineering and Software Development. International Conference on Model-Driven Engineering …
Nils Przigoda; Robert Wille; Rolf Drechsler
Leveraging the Analysis for Invariant Independence in Formal System Models
In: 18th Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-18), August 26-28, Funchal (Madeira), …
Nils Przigoda; Christoph Hilken; Robert Wille; Jan Peleska; Rolf Drechsler
Checking Concurrent Behavior in UML/OCL Models
In: Timothy Lethbridge; Jordi Cabot; Alexander Egyed (Hrsg.). Proceedings of the 18th International Conference on Model Driven Engineering Languages …
Jannis Ulrich Stoppe; Rolf Drechsler
Analyzing SystemC Designs: SystemC Analysis Approaches for Varying Applications
In: Albert M. K. Cheng (Hrsg.). Sensors - Open Access Journal (Sensors), Vol. 15, No. 5, Pages 10399-10421, Multidisciplinary Digital Publishing …
Martin Ring; Christoph Lüth
Collaborative Interactive Theorem Proving with Clide
In: G. Klein; R. Gamboa (Hrsg.). Interactive Theorem Proving ITP 2014. International Conference on Interactive Theorem Proving (ITP-2014), located at …
Martin Ring; Christoph Lüth
Real-time collaborative Scala development with Clide
In: Heather Miller; Philipp Haller (Hrsg.). Proceedings of the Fifth Annual Scala Workshop. Scala Workshop (Scala-14), 5th Annual Scala Workshop, …
Christoph Lüth; Serge Autexier; Dieter Hutter; Mathias Soeken; Robert Wille; Rolf Drechsler
SPECifIC - A New Design Flow for Cyber-Physical Systems
In: CPS20: CPS 20 years from now - visions and challenges - CyPhERS 2nd Experts Workshop. CyPhERS Experts Workshop, April 14, Berlin, Germany, Pages …
Mathias Soeken; Max Nitze; Rolf Drechsler
Formale Methoden für Alle
In: Jürgen Ruf; Dirk Allmendinger; Matteo Michel (Hrsg.). MBMV 2014 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von …
Jannis Ulrich Stoppe; Marc Michael; Mathias Soeken; Robert Wille; Rolf Drechsler
Towards a Multi-dimensional and Dynamic Visualization for ESL Designs
In: Proceedings of the 1st Workshop on Design Automation for Understanding Hardware Designs DUHDe 2014. Workshop on Design Automation for …