Kollaboratives Text Lesen: Adaptive Text Scroll Geschwindigkeit. - Christian Lander; Norine Coenen; Sebastian Biewer; Antonio Krüger (MuC, 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 (PerDis, 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 (PerDis, 2015)

Teaching Academic Concurrency to Amazing Students. - Sebastian Biewer; Felix Freiberger; Pascal Leo Held; Holger Hermanns (Models, Algorithms, Logics and Tools, 2017)

Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs. - Pedro R. D'Argenio; Gilles Barthe; Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns (ESOP, 2017)

Cyber-Physical Doping Tests. - Sebastian Biewer; Pedro R. D'Argenio; Holger Hermanns (MT@CPSWeek, 2018)

Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions. - Holger Hermanns; Sebastian Biewer; Pedro R. D'Argenio; Maximilian A. Köhl (LPAR, 2018)

Efficient Monitoring of Real Driving Emissions. - Maximilian A. Köhl; Holger Hermanns; Sebastian Biewer (RV, 2018)

Conformance-Based Doping Detection for Cyber-Physical Systems. - Rayna Dimitrova; Maciej Gazda; Mohammad Reza Mousavi 001; Sebastian Biewer; Holger Hermanns (FORTE, 2020)

RTLola on Board: Testing Real Driving Emissions on your Phone. - Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns; Maximilian A. Köhl; Yannik Schnitzer; Maximilian Schwenger (TACAS (2), 2021)

Doping Tests for Cyber-physical Systems. - Sebastian Biewer; Pedro R. D'Argenio; Holger Hermanns (ACM Trans. Model. Comput. Simul., 2021)

On the Detection of Doped Software by Falsification. - Sebastian Biewer; Holger Hermanns (FASE, 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 001 (Log. Methods Comput. Sci., 2022)

HoRStify: Sound Security Analysis of Smart Contracts. - Sebastian Holler; Sebastian Biewer; Clara Schneidewind (CSF, 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., 2023)

On the Quest for Effectiveness in Human Oversight: Interdisciplinary Perspectives. - Sarah Sterz; Kevin Baum 001; Sebastian Biewer; Holger Hermanns; Anne Lauber-Rönsberg; Philip Meinel; Markus Langer (FAccT, 2024)

Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight. - Kevin Baum 001; Sebastian Biewer; Holger Hermanns; Sven Hetmank; Markus Langer; Anne Lauber-Rönsberg; Sarah Sterz (SPIN, 2024)

LolaPrompts: Assisting the General Public in Performing Real-Driving Emission Tests. - Melane Navaratnarajah; Ma'ayan Armony; Sebastian Biewer; Holger Hermanns; Mohammad Reza Mousavi 001 (FORTE, 2025)

Software doping analysis for human oversight. - Sebastian Biewer; Kevin Baum 001; Sarah Sterz; Holger Hermanns; Sven Hetmank; Markus Langer; Anne Lauber-Rönsberg; Franz Lehr (Formal Methods Syst. Des., 2025)