Sebastian Biewer

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