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