Publications
Page 9 of 10.
Kenneth Schmitz; Arun Chandrasekharan; Jonas Gomes Filho; Daniel Große; Rolf Drechsler
In: 22nd Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-22), January …
Saman Fröhlich; Daniel Große; Rolf Drechsler
In: 20. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”. ITG/GMM/GI-Workshop "Methoden …
Muhammad Hassan; Vladimir Herdt; Hoang M. Le; Mingsong Chen; Daniel Große; Rolf Drechsler
In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2017), March 27-31, Lausanne, Switzerland, 2017.
Mathias Soeken; Daniel Große; Arun Chandrasekharan; Rolf Drechsler
In: 21st Asia and South Pacific Design Automation Conference ASP-DAC 2016. Asia and South Pacific Design Automation Conference (ASP-DAC-21), January …
Amr Sayed Ahmed; Daniel Große; Ulrich Kühne; Mathias Soeken; Rolf Drechsler
In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE), March 14-18, Dresden, Germany, Pages 1048-1053, 2016.
Hoang M. Le; Vladimir Herdt; Daniel Große; Rolf Drechsler
In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE), March 14-18, Dresden, Germany, Pages 1160-1163, 2016.
Arun Chandrasekharan; Daniel Große; Mathias Soeken; Rolf Drechsler
In: 19. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” (MBMV). ITG/GMM/GI-Workshop …
Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler
In: International Conference on Computer Aided Verification (CAV). International Conference on Computer Aided Verification (CAV-28), July 17-23, …
Heinz Riener; Finn Haedicke; Stefan Frehse; Mathias Soeken; Daniel Große; Rolf Drechsler; Görschwin Fey
In: International Journal on Software Tools for Technology Transfer (STTT), Springer, 2016.
In: 35th International Conference On Computer Aided Design. IEEE/ACM International Conference on Computer-Aided Design (ICCAD-35), November 7-10, …
Overview
Team
Projects
News
Jobs
Website
Phone: +49 421 17845 0 Fax: +49 421 17845 4150robotik@dfki.de Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI) Robotics Innovation Center Robert-Hooke-Str. 1 28359 Bremen Germany