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 (GI-Jahrestagung, 2014)

iTac: Aspect Based Sentiment Analysis using Sentiment Trees and Dictionaries. - 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; et al. (SemEval@COLING, 2014)

Towards lightweight satisfiability solvers for self-verification. - Fritjof Bornebusch; Robert Wille; Rolf Drechsler (ISED, 2017)

Better Late Than Never : Verification of Embedded Systems After Deployment. - Martin Ring; Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler (DATE, 2019)

Towards Automatic Hardware Synthesis from Formal Specification to Implementation. - Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler (ASP-DAC, 2020)

Verification Runtime Analysis: Get the Most Out of Partial Verification. - Martin Ring; Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler (DATE, 2020)

Integer Overflow Detection in Hardware Designs at the Specification Level. - Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler (MODELSWARD, 2020)

Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications. - Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler (MODELSWARD (Revised Selected Papers), 2020)

Performance Aspects of Correctness-oriented Synthesis Flows. - Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler (MODELSWARD, 2021)

Coq meets CλaSH: proposing a hardware design synthesis flow that combines proof assistants with functional hardware description languages - Fritjof Bornebusch (2021)