Fritjof Bornebusch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2014–2021
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | MODELSWARD | Performance Aspects of Correctness-oriented Synthesis Flows. | Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler |
| 2020 | ASPDAC | Towards Automatic Hardware Synthesis from Formal Specification to Implementation. | Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler |
| 2020 | DATE | Verification Runtime Analysis: Get the Most Out of Partial Verification. | Martin Ring, Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler |
| 2020 | MODELSWARD | Integer Overflow Detection in Hardware Designs at the Specification Level. | Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler |
| 2020 | MODELSWARD | Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications. | Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler |
| 2019 | DATE | Better Late Than Never : Verification of Embedded Systems After Deployment. | Martin Ring, Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler |
| 2014 | GI | Aspekt-basierte Sentiment Analysis. | Fritjof Bornebusch, Glaucia Cancino, Alvine Nzeungang Fanseu, Maryam Farajzadeh Jalali, Jamal Mohsen, Max Nitze, Christina Plump, Ronald Smith, Djomkam Yotedje, Hubert Fred Tchambo, Toni, Henning Ziegler |