I am a Ph.D. student at the chair of Prof. Holger Hermanns since December 2016.

My current research interest is the application and extension of formal methods in the context of software doping. This terminology started to appear in 2016, one year after the U.S. first reported about manipulated emission cleaning software in Volkswagen cars (and later in cars of other manufacturers, too).

Publications

Year Publication
2022 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.
Logical Methods in Computer Science 2022, Volume 18, Issue 1
2021 Sebastian Biewer, Pedro D’Argenio, Holger Hermanns:
Doping Tests for Cyber-Physical Systems.
ACM Transactions on Modeling and Computer Simulation 2021, Volume 31, Issue 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.
TACAS 2021
2020 Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns:
Conformance-Based Doping Detection for Cyber-Physical Systems.
FORTE 2020
2019 Sebastian Biewer, Pedro D’Argenio, Holger Hermanns:
Doping Tests for Cyber-Physical Systems.
QEST 2019
Best Paper Award
2018 Holger Hermanns, Sebastian Biewer, Pedro R. D’Argenio, Maximilian A. Köhl:
Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions.
LPAR 2018
2018 Maximilian A. Köhl, Holger Hermanns, Sebastian Biewer:
Efficient Monitoring of Real Driving Emissions.
RV 2018
2018 Sebastian Biewer, Pedro R. D’Argenio, Holger Hermanns:
Cyber-Physical Doping Tests.
MT@CPSWeek 2018
2017 Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns:
Teaching Academic Concurrency to Amazing Students.
Models, Algorithms, Logics and Tools 2017
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
2015 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

Teaching

2019 Teaching Assistant, Programmierung 1, Saarland University
2017 Teaching Assistant, Nebenläufige Programmierung, Saarland University
2013 Supervision Student TA, Programmierung 1, Saarland University
2013 Student TA, Programmierung 2, Saarland University
2012 Student TA, Programmierung 1, Saarland University

Contact

Address: Campus Saarbrücken, 66123 Saarbrücken
Phone: +49 681 302 5633
Location: Bldg. E1 3, Room 534
E-mail: ed.dnalraas-inusecret.dneped@reweib