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

Cyber-Physical Systems

Publikationen

Seite 6 von 14.

Robert Wille; Oliver Keszöcze; Lars Othmer; Michael Kirkedal Thomsen; Rolf Drechsler
Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs
In: 8th International Conference on Reversible Computation. International Conference on Reversible Computation (RC), 2016.
Oliver Keszöcze; Zipeng Li; Andreas Grimmer; Robert Wille; Krishnendu Chakrabarty; Rolf Drechsler
Exact Routing for Micro-Electrode-Dot-Array Digital Microfluidic Biochips
In: 22nd Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-22), January …
Nils Przigoda; Frank Hilken; Judith Peters; Robert Wille; Martin Gogolla; Rolf Drechsler
Integrating an SMT-based Model Finder into USE
In: 13th Workshop on Model-Driven Engineering, Verification, and Validation. Workshop on Model-Driven Engineering, Verification, and Validation …
Julia Seiter; Robert Wille; Rolf Drechsler
Automatic Methods for the Refinement of System Models
In: Julia Seiter; Robert Wille; Rolf Drechsler. Automatic Methods for the Refinement of System Models. Springer International Publishing, 2016.
Jonas G. Filho; Nils Przigoda; Robert Wille; Rolf Drechsler
Towards a Model-Based Verification Methodology for Complex Swarm Systems
In: International Symposium on Electronic System Design. International Symposium on Electronic System Design (ISED-16), 6th, December 15-17, Patna, …
Arighna Deb; Debesh K. Das; Hafizur Rahaman; Robert Wille; Rolf Drechsler; Bhargab B. Bhattacharya
Reversible Synthesis of Symmetric Functions with a Simple Regular Structure and Easy Testability
In: Journal on Emerging Technologies in Computing Systems (JETC), Vol. 12, ACM, 2016.
Jannis Ulrich Stoppe; Oliver Keszöcze; Robert Wille; Rolf Drechsler
Visualizing Microfluidic Biochips Interactively
In: Workshop on Design Automation for Understanding Hardware Designs (DUHDE). Workshop on Design Automation for Understanding Hardware Designs …
Jannis Ulrich Stoppe; Robert Wille; Rolf Drechsler
Automated Feature Localization for Dynamically Generated SystemC Designs
In: Design, Automation and Test in Europe (DATE'15). Design, Automation & Test in Europe (DATE-15), March 9-13, Grenoble, France, 3/2015.
Nils Przigoda; Robert Wille; Rolf Drechsler
Verbesserung der Fehlersuche in inkonsistenten formalen Modellen
In: 18. ITG/GMM/GI-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'15). …
Eleonora Schönborn; Kamalika Datta; Robert Wille; Indranil Sengupta; Hafizur Rahaman; Rolf Drechsler
BDD-based Synthesis for All-optical Mach-Zehnder Interferometer Circuits
In: Proceedings of the 28th International Conference on VLSI Design held concurrently with the 14th International Conference on Embedded Systems. …