Sebastian Biewer

According to our database, Sebastian Biewer authored at least 16 papers between 2015 and 2023.

Collaborative distances:

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

2023

On the road with RTLola.

Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger

Int. J. Softw. Tools Technol. Transf., April, 2023

Software Doping Analysis for Human Oversight.

Sebastian Biewer, Kevin Baum, Sarah Sterz, Holger Hermanns, Sven Hetmank, Markus Langer, Anne Lauber-Rönsberg, Franz Lehr

CoRR, 2023

HoRStify: Sound Security Analysis of Smart Contracts.

Sebastian Holler, Sebastian Biewer, Clara Schneidewind

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2022

Conformance Relations and Hyperproperties for Doping Detection in Time and Space.

Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi

Log. Methods Comput. Sci., 2022

On the Detection of Doped Software by Falsification.

Sebastian Biewer, Holger Hermanns

Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021

Doping Tests for Cyber-physical Systems.

Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns

ACM Trans. Model. Comput. Simul., 2021

RTLola on Board: Testing Real Driving Emissions on your Phone.

Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020

Conformance-Based Doping Detection for Cyber-Physical Systems.

Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

2018

Efficient Monitoring of Real Driving Emissions.

Maximilian A. Köhl, Holger Hermanns, Sebastian Biewer

Proceedings of the Runtime Verification - 18th International Conference, 2018

Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions.

Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Köhl

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Cyber-Physical Doping Tests.

Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns

Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

2017

Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs.

Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns

Proceedings of the Programming Languages and Systems, 2017

Teaching Academic Concurrency to Amazing Students.

Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2015

Collaborative Newspaper Demo: Exploring an adaptive Scrolling Algorithm in a Multi-user Reading Scenario.

Christian Lander, Marco Speicher, Denise Paradowski, Norine Coenen, Sebastian Biewer, Antonio Krüger

Proceedings of the 4th International Symposium on Pervasive Displays, 2015

Collaborative Newspaper: Exploring an adaptive Scrolling Algorithm in a Multi-user Reading Scenario.

Christian Lander, Marco Speicher, Denise Paradowski, Norine Coenen, Sebastian Biewer, Antonio Krüger

Proceedings of the 4th International Symposium on Pervasive Displays, 2015

Kollaboratives Text Lesen: Adaptive Text Scroll Geschwindigkeit.

Christian Lander, Norine Coenen, Sebastian Biewer, Antonio Krüger

Proceedings of the Mensch und Computer 2015, 2015