Assistierender Roboterarm am Krankenbett (links), Hightech Chip (mittig), Fussball spielende Nao Roboter (rechts)

Cyber-Physical Systems

Publications

Page 14 of 14.

Robert Wille; Mathias Soeken; Rolf Drechsler
Debugging of Inconsistent UML/OCL Models
In: Conference Proceedings. Design, Automation & Test in Europe (DATE-12), March 12-16, Dresden, Germany, 2012.
Robert Wille; Rolf Drechsler; Christof Oswald; Alberto Garcia-Ortiz
Automatic Design of Low-Power Encoders Using Reversible Circuit Synthesis
In: Conference Proceedings Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-12), March 12-16, Dresden, Germany, 2012.
Robert Wille; Mathias Soeken; Eleonora Schönborn; Rolf Drechsler
Circuit Line Minimization in the HDL-based Synthesis of Reversible Logic
In: Proceedings of the IEEE Computer Society Annual Symposium on VLSI 2012. IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2012), August …
Mathias Soeken; Robert Wille; Rolf Drechsler
Eliminating Invariants in UML/OCL Models
In: Conference Proceedings. Design, Automation & Test in Europe (DATE-12), March 12-16, Dresden, Germany, 2012.
Rolf Drechsler; Robert Wille
Synthesis of Reversible Circuits Using Decision Diagramm
In: International Symposium on Electronic System Design . International Symposium on Electronic System Design (ISED-2012), December 19-22, Kolkata, …
Rolf Drechsler; Melanie Diepenbeck; Daniel Große; Ulrich Kühne; Hoang M. Le; Julia Seiter; Mathias Soeken; Robert Wille
Completeness-Driven Development
In: G. Rozenberg; H.-J. Kreowski; G. Engels; H. Ehrig (Hrsg.). Proceedings of the 6th International Conference on Graph Transformation 2012 "Modeling …
Rolf Drechsler; Mathias Soeken; Robert Wille
Formal Specification Level: Towards Verification-driven Design Based on Natural Language Processing
In: Proceedings of the Forum on Specification & Design Languages 2012. Forum on Specification & Design Languages (FDL-2012), September 18-20, Vienna, …
Mathias Soeken; Stefan Frehse; Robert Wille; Rolf Drechsler
RevKit: An Open Source Toolkit for the Design of Reversible Circuits
In: Alexis De Vos; Robert Wille (Hrsg.). Reversible Computation - Third International Workshop, RC 2011. International Workshop on Reversible …
Stephan Eggersglüß; Melanie Diepenbeck; Robert Wille; Rolf Drechsler
Towards Increasing Test Compaction Abilities of SAT-based ATPG through Fault Detection Constraints
In: Proceedings. IEEE Workshop on RTL and High Level Testing (WRTLT-12), IEEE, 2012.