Fritjof Bornebusch

According to our database, Fritjof Bornebusch authored at least 10 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Coq meets CλaSH: proposing a hardware design synthesis flow that combines proof assistants with functional hardware description languages

Fritjof Bornebusch

PhD thesis, 2021

Performance Aspects of Correctness-oriented Synthesis Flows.

Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

2020

Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications.

Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler

Proceedings of the Model-Driven Engineering and Software Development, 2020

Integer Overflow Detection in Hardware Designs at the Specification Level.

Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

Verification Runtime Analysis: Get the Most Out of Partial Verification.

Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Towards Automatic Hardware Synthesis from Formal Specification to Implementation.

Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler

Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

2019

Better Late Than Never : Verification of Embedded Systems After Deployment.

Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2017

Towards lightweight satisfiability solvers for self-verification.

Fritjof Bornebusch, Robert Wille, Rolf Drechsler

Proceedings of the 7th International Symposium on Embedded Computing and System Design, 2017

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, Hubert Fred Tchambo, Toni, Henning Ziegler

Proceedings of the 8th International Workshop on Semantic Evaluation, 2014

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

Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014