Publications
Page 6 of 8.
Vladimir Herdt; Daniel Große; Rolf Drechsler
In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und …
Vladimir Herdt; Rolf Drechsler
In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2020), July 6-8, Limassol, Cyprus, …
In: 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis. International Symposium on Automated Technology for …
Vladimir Herdt; Daniel Große; Eyck Jentzsch; Rolf Drechsler
In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2020), September 15-17, Kiel, Germany, 2020.
Tim Meywerk; Marcel Walter; Vladimir Herdt; Jan Kleinekathöfer; Daniel Große; Rolf Drechsler
In: 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). International Symposium On …
ISBN 978-3-030-54827-8, Springer, 2020.
Vladimir Herdt; Daniel Große; Sören Tempel; Rolf Drechsler
In: 38th IEEE International Conference on Computer Design (ICCD). IEEE International Conference on Computer Design (ICCD-2020), October 18-21, …
Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler
In: 24th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-24), 24th, …
Vladimir Herdt; Daniel Große; Hoang M. Le; Rolf Drechsler
In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2019), March 25-29, Florence, Italy, 2019.
In: Daniel Große; Sara Vinco; Hiren Patel. Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017. …
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