Sebastian Biewer

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 24

Top Topics

Runtime Environment

Formal Analysis

Lego Mindstorms

Cyber Physical Systems

Top Venues

Mensch & Computer

Publications

Sarah Sterz, Kevin Baum, Sebastian Biewer, Holger Hermanns, Anne Lauber-Rönsberg, Philip Meinel, Markus Langer
On the Quest for Effectiveness in Human Oversight: Interdisciplinary Perspectives. CoRR (2024)
Sarah Sterz, Kevin Baum, Sebastian Biewer, Holger Hermanns, Anne Lauber-Rönsberg, Philip Meinel, Markus Langer
On the Quest for Effectiveness in Human Oversight: Interdisciplinary Perspectives. FAccT (2024)
Sebastian Biewer, Kevin Baum, Sarah Sterz, Holger Hermanns, Sven Hetmank, Markus Langer, Anne Lauber-Rönsberg, Franz Lehr
Software Doping Analysis for Human Oversight. CoRR (2023)
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
On the road with RTLola. Int. J. Softw. Tools Technol. Transf. 25 (2) (2023)
Sebastian Holler, Sebastian Biewer, Clara Schneidewind
HoRStify: Sound Security Analysis of Smart Contracts. CSF (2023)
Sebastian Holler, Sebastian Biewer, Clara Schneidewind
HoRStify: Sound Security Analysis of Smart Contracts. CoRR (2023)
Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi
Conformance Relations and Hyperproperties for Doping Detection in Time and Space. Log. Methods Comput. Sci. 18 (1) (2022)
Sebastian Biewer, Holger Hermanns
On the Detection of Doped Software by Falsification. FASE (2022)
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
RTLola on Board: Testing Real Driving Emissions on your Phone. TACAS (2) (2021)
Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns
Doping Tests for Cyber-physical Systems. ACM Trans. Model. Comput. Simul. 31 (3) (2021)
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
RTLola on Board: Testing Real Driving Emissions on your Phone. CoRR (2021)
Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns
Conformance-Based Doping Detection for Cyber-Physical Systems. FORTE (2020)
Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi
Conformance Relations and Hyperproperties for Doping Detection in Time and Space. CoRR (2020)
Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns
Doping Tests for Cyber-Physical Systems. QEST (2019)
Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns
Doping Tests for Cyber-Physical Systems. CoRR (2019)
Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns
Cyber-Physical Doping Tests. MT@CPSWeek (2018)
Maximilian A. Köhl, Holger Hermanns, Sebastian Biewer
Efficient Monitoring of Real Driving Emissions. RV (2018)
Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Köhl
Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions. LPAR (2018)
Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns
Is your software on dope? Formal analysis of surreptitiously "enhanced" programs. CoRR (2017)
Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns
Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs. ESOP (2017)
Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns
Teaching Academic Concurrency to Amazing Students. Models, Algorithms, Logics and Tools (2017)
Christian Lander, Marco Speicher, Denise Paradowski, Norine Coenen, Sebastian Biewer, Antonio Krüger
Collaborative Newspaper: Exploring an adaptive Scrolling Algorithm in a Multi-user Reading Scenario. PerDis (2015)
Christian Lander, Marco Speicher, Denise Paradowski, Norine Coenen, Sebastian Biewer, Antonio Krüger
Collaborative Newspaper Demo: Exploring an adaptive Scrolling Algorithm in a Multi-user Reading Scenario. PerDis (2015)
Christian Lander, Norine Coenen, Sebastian Biewer, Antonio Krüger
Kollaboratives Text Lesen: Adaptive Text Scroll Geschwindigkeit. Mensch & Computer (2015)