Sebastian Biewer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2017–2025
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FORTE | LolaPrompts: Assisting the General Public in Performing Real-Driving Emission Tests. | Melane Navaratnarajah, Ma'ayan Armony, Sebastian Biewer, Holger Hermanns, Mohammad Reza Mousavi |
| 2022 | FASE | On the Detection of Doped Software by Falsification. | Sebastian Biewer, Holger Hermanns |
| 2021 | TACAS | RTLola on Board: Testing Real Driving Emissions on your Phone. | Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Khl, Yannik Schnitzer, Maximilian Schwenger |
| 2020 | FORTE | Conformance-Based Doping Detection for Cyber-Physical Systems. | Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns |
| 2018 | LPAR | Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions. | Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Khl |
| 2018 | RV | Efficient Monitoring of Real Driving Emissions. | Maximilian A. Khl, Holger Hermanns, Sebastian Biewer |
| 2017 | ESOP | Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs. | Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns |