Fritjof Bornebusch

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 7

Top Topics

Hardware Designs

Sentiment Analysis

Formal Specification

Supervised Classifiers

Top Venues

Publications

Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
Performance Aspects of Correctness-oriented Synthesis Flows. MODELSWARD (2021)
Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
Towards Automatic Hardware Synthesis from Formal Specification to Implementation. ASP-DAC (2020)
Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
Verification Runtime Analysis: Get the Most Out of Partial Verification. DATE (2020)
Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications. MODELSWARD (Revised Selected Papers) (2020)
Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
Integer Overflow Detection in Hardware Designs at the Specification Level. MODELSWARD (2020)
Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
Better Late Than Never : Verification of Embedded Systems After Deployment. DATE (2019)
Fritjof Bornebusch, Robert Wille, Rolf Drechsler
Towards lightweight satisfiability solvers for self-verification. ISED (2017)
Fritjof Bornebusch, Glaucia Cancino, Melanie Diepenbeck, Rolf Drechsler, Smith Djomkam, Alvine Nzeungang Fanseu, Maryam Jalali, Marc Michael, Jamal Mohsen, Max Nitze, Christina Plump, Mathias Soeken, Hubert Fred Tchambo, Toni, Henning Ziegler
iTac: Aspect Based Sentiment Analysis using Sentiment Trees and Dictionaries. SemEval@COLING (2014)
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
Aspekt-basierte Sentiment Analysis. GI-Jahrestagung (2014)