Sebastian Schirmer

Orcid: 0000-0002-4596-2479

According to our database1, Sebastian Schirmer authored at least 13 papers between 2016 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Filling the Gaps: Using Synthetic Low-Altitude Aerial Images to Increase Operational Design Domain Coverage.
Sensors, February, 2024

Temporal Behavior Trees - Segmentation.
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

Temporal Behavior Trees: Robustness and Segmentation.
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned.
Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023
Monitoring with verified guarantees.
Int. J. Softw. Tools Technol. Transf., August, 2023

2021
Monitoring with Verified Guarantees.
Proceedings of the Runtime Verification - 21st International Conference, 2021

2020
Towards Using Formal Methods in Prototyping: Advantage or Impediment?
Proceedings of the Combined Proceedings of the Workshops at Software Engineering 2020 Co-located with the German Software Engineering Conference 2020 (SE 2020), 2020

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019
Using Runtime Monitoring to Enhance Offline Analysis.
Proceedings of the Workshops of the Software Engineering Conference 2019, 2019

2018
Considerations of Artificial Intelligence Safety Engineering for Unmanned Aircraft.
Proceedings of the Computer Safety, Reliability, and Security, 2018

2017
Stream Runtime Monitoring on UAS.
Proceedings of the Runtime Verification - 17th International Conference, 2017

2016
A High-Level LTL Synthesis Format: TLSF v1.1.
Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

A Stream-Based Specification Language for Network Monitoring.
Proceedings of the Runtime Verification - 16th International Conference, 2016


  Loading...