Publikationen

Seite 1 von 2.

Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler
Performance Aspects of Correctness-oriented Synthesis Flows
In: 9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD). International Conference on Model-Driven …
Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler
Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications
In: Slimane Hammoudi; Luís Ferreira Pires; Bran Selić (Hrsg.). 8th International Conference on Model-Driven Engineering and Software Development …
Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler
Towards Automatic Hardware Synthesis from Formal Specification to Implementation
In: 25th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2020), 25th, …
Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler
Integer Overflow Detection in Hardware Designs at the Specification Level
In: 8th International Conference on Model-Driven Engineering and Software Development (MODELSWARD). International Conference on Model-Driven …
Martin Ring; Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler
Verification Runtime Analysis: Get the Most Out of Partial Verification
In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-2020), March 9-13, Grenoble, France, IEEE, 2020.
Martin Ring; Christoph Lüth
Let's Prove It Later --- Verification at Different Points in Time
In: Peter Csaba Ölveczky; Gwen Salaün (Hrsg.). Software Engineering and Formal Methods - 17th International Conference, Proceedings. International …
Martin Ring; Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler
Better Late Than Never: Verification of Embedded Systems After Deployment
In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-2019), March 25-29, Florence, Italy, 2019.
Kenneth Schmitz; Buse Ustaoglu; Daniel Große; Rolf Drechsler
(ReCo) Fuse Your PRC or Lose Security: Finally Reliable Reconfiguration-based Countermeasures on FPGAs
In: Proceedings of the 15th International Symposium on Applied Reconfigurable Computing (ARC). International Symposium on Applied Reconfigurable …
Rehab Massoud; Hoang M. Le; Peter Chini; Prakash Saivasan; Roland Meyer; Rolf Drechsler
Temporal Tracing of On-chip Signals using Timeprints
In: Design Automation Conference (DAC). Design Automation Conference (DAC-2019), June 2-6, Las Vegas, Nevada, USA, 2019.
Saman Fröhlich; Saeideh Shirinzadeh; Rolf Drechsler
Logic Synthesis for Hybrid CMOS-ReRAM Sequential Circuits
In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI) 2019. IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2019), July 15-17, Miami, …