Sebastian Biewer

Orcid: 0000-0002-6897-2506

According to our database1, Sebastian Biewer authored at least 18 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
2
1
1
2
1
1
1
1
3
2
3

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight.
Proceedings of the Model Checking Software - 30th International Symposium, 2024

On the Quest for Effectiveness in Human Oversight: Interdisciplinary Perspectives.
Proceedings of the 2024 ACM Conference on Fairness, Accountability, and Transparency, 2024

2023
On the road with RTLola.
Int. J. Softw. Tools Technol. Transf., April, 2023

Software Doping Analysis for Human Oversight.
CoRR, 2023

HoRStify: Sound Security Analysis of Smart Contracts.
Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2022
Conformance Relations and Hyperproperties for Doping Detection in Time and Space.
Log. Methods Comput. Sci., 2022

On the Detection of Doped Software by Falsification.
Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021
Doping Tests for Cyber-physical Systems.
ACM Trans. Model. Comput. Simul., 2021

RTLola on Board: Testing Real Driving Emissions on your Phone.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020
Conformance-Based Doping Detection for Cyber-Physical Systems.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

2018
Efficient Monitoring of Real Driving Emissions.
Proceedings of the Runtime Verification - 18th International Conference, 2018

Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions.
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Cyber-Physical Doping Tests.
Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

2017
Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs.
Proceedings of the Programming Languages and Systems, 2017

Teaching Academic Concurrency to Amazing Students.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

2015
Collaborative Newspaper Demo: Exploring an adaptive Scrolling Algorithm in a Multi-user Reading Scenario.
Proceedings of the 4th International Symposium on Pervasive Displays, 2015

Collaborative Newspaper: Exploring an adaptive Scrolling Algorithm in a Multi-user Reading Scenario.
Proceedings of the 4th International Symposium on Pervasive Displays, 2015

Kollaboratives Text Lesen: Adaptive Text Scroll Geschwindigkeit.
Proceedings of the Mensch und Computer 2015, 2015


  Loading...