Aktuelle Publikation
Temporal Decoupling with Error-Bounded Predictive Quantum Control
Georg Gläser1, Gregor Nitsche2, Eckhard Hennig3
2015 Forum on Specification and Design Languages (FDL), , Barcelona, Spain, pp. 1-6, DOI: dx.doi.org/10.1109/FDL.2015.7306358
1IMMS Institut für Mikroelekronik- und Mechatronik-Systeme gemeinnützige GmbH (IMMS GmbH), Ehrenbergstraße 27, 98693 Ilmenau, Germany, 2OFFIS e.V. Institut für Informatik, Escherweg 2, 26121 Oldenburg, Germany, 3Reutlingen University, Alteburgstraße 150, 72762 Reutlingen, Germany
Zugehörige Inhalte
Projekt
ANCONA
Die erarbeiteten rechnergestützten Verifikationsmethoden beschleunigen die Entwicklung von Industrie-4.0-Anwendungen.
Auszeichnung
EDA Achievement Award 2018: Für seine Verdienste in der Entwicklung neuer anwendungsorientierte Methoden zur verbesserten Analyse integrierter Mixed-Signal Schaltungen und deren Umsetzung in die industrielle Praxis
Georg Gläser
Auszeichnung
Competition Runner-up für den Beitrag: Automated Generation of System-Level AMS Operating Condition Checks: Your Model's Insurance Policy
Georg Gläser
Auszeichnung
Best Paper Award für den Beitrag: Knowing Your AMS System’s Limits: System Acceptance Region Exploration by Using Automated Model Refinement and Accelerated Simulation
Georg Gläser
Auszeichnung