Publikationen

Seite 1 von 3.

Martin Ring; Christoph Lüth
Interactive Proof Presentations with Cobra
In: Serge Autexier; Pedro Queresma (Hrsg.). Workshop on User Interfaces for Theorem Provers (UITP2016). User Interfaces for Theorem Provers …
Martin Ring; Christoph Lüth; Rolf Drechsler; Jannis Ulrich Stoppe
Change Management for Hardware Designers
In: 3rd Workshop on Design Automation for Understanding Hardware Designs (DUHDe 2016). Workshop on Design Automation for Understanding Hardware …
Rolf Drechsler; Serge Autexier; Christoph Lüth
Model-based Specification and Refinement for Cyber-Physical Systems
In: Michael Freitag; Herbert Kotzab; Jürgen Pannek (Ed) (Hrsg.). 5th International Conference on Dynamics in Logistics (LDIC 2016). International …
Martin Ring; Jannis Ulrich Stoppe; Christoph Lüth; Rolf Drechsler
Change Impact Analysis for Hardware Designs
In: Forum on Specification & Design Languages FDL 2016. Forum on Specification & Design Languages (FDL-2016), September 14-16, Bremen, Germany, ECSI - …
Serge Autexier
Similarity-Based Diff, Three-Way-Diff and Merge
In: International Journal of Software and Informatics (IJSI), Vol. 9, No. 2, ISCAS, 8/2015.
Serge Autexier; Dieter Hutter
Structure Formation in Large Theories
In: Cezary Kaliszyk (Hrsg.). Conference on Intelligent Computer Mathematics 2015. Conference on Intelligent Computer Mathematics (CICM-2015), July …
Jannis Ulrich Stoppe; Rolf Drechsler
KI-Unterstützung im Systementwurf
In: Industrie Management - Zeitschrift für industrielle Geschäftsprozesse (IM), Vol. 1/2015, Pages 21-24, GIITO, Berlin, 2/2015.
Rolf Drechsler; Mathias Soeken; Robert Wille
Automated and Quality-driven Requirements Engineering
In: Proceedings of the 2014 IEEE/ACM International Conference on Computer-Aided Design. IEEE/ACM International Conference on Computer-Aided Design …
Arman Allahyari-Abhari; Mathias Soeken; Rolf Drechsler
Requirement Phrasing Assistance using Automatic Quality Assessment
In: IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems . IEEE International Symposium on Design and Diagnostics …
Nils Przigoda; Robert Wille; Rolf Drechsler
Contradiction Analysis for Inconsistent Formal Models
In: IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS'15). IEEE International Symposium on Design and …