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).


Year Publication
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


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


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