Schuster

Simon Schuster, M. Sc.

Department of Computer Science
Chair of Computer Science 4 (Distributed Systems and Operating Systems)

Room: Raum 0.038
Martensstr. 1
91058 Erlangen

Publications

Schuster, Simon ; Wägemann, Peter ; Ulbrich, Peter ; Schröder-Preikschat, Wolfgang:
Annotate Once - Analyze Anywhere: Context-Aware WCET Analysis by User-Defined Abstractions.
In: Henkel, Jörg ; Liu, Xu (Hrsg.) : Proceedings of the 22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES’21)
(22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES’21), Virtual Conference, June 20-26, 2021).
New York : ACM, 2021, S. 54-66.
[doi>10.1145/3461648.3463847] (BibTeX)

Schuster, Simon ; Wägemann, Peter ; Ulbrich, Peter ; Schröder-Preikschat, Wolfgang:
Proving Real-Time Capability of Generic Operating Systems by System-Aware Timing Analysis.
In: IEEE Computer Society (Veranst.):
In Proceedings of the 25th Real-Time and Embedded Technology and Applications Symposium (RTAS '19)
(25th Real-Time and Embedded Technology and Applications Symposium (RTAS '19), Montreal, 15.-18.04.2019).
2019, S. 0-0.
[doi>10.1109/RTAS.2019.00034] (BibTeX)

Schuster, Simon ; Wägemann, Peter ; Ulbrich, Peter ; Schröder-Preikschat, Wolfgang:
Towards System-Wide Timing Analysis of Real-Time-Capable Operating Systems.
In: Maggio, Martina (Hrsg.) : Work-In-Progress Proceedings of 30th Euromicro Conference on Real-Time Systems (ECRTS-WiP '18)
(Euromicro Conference on Real-Time Systems (ECRTS '18), Barcelona).
2018, S. 10-12. (BibTeX)

Schuster, Simon ; Ulbrich, Peter ; Stilkerich, Isabella ; Dietrich, Christian ; Schröder-Preikschat, Wolfgang:
Demystifying Soft-Error Mitigation by Control-Flow Checking - A New Perspective on its Effectiveness.
In: ACM Transactions on Embedded Computing Systems 16 (2017), Nr. 5s, S. 180:1-180:19
Stichwörter: AORTA; KESO;
[doi>10.1145/3126503] (BibTeX)

Schuster, Simon ; Ulbrich, Peter ; Stilkerich, Isabella ; Dietrich, Christian:
Poster Presentation: Demystifying Soft-Error Mitigation by Control-Flow Checking - A New Perspective on its Effectiveness.
Vortrag: EMSOFT 2017, Embedded Systems Week 2017,
Seoul, Korea, 15.10.2017
Stichwörter: AORTA; KESO; ARAMiS II (BibTeX)

Teaching

Winter Term 2022/2023 (current)

Summer Term 2022

Winter Term 2021/2022

Summer Term 2021

Wintersemster 2020/2021

Summer Term 2020

Wintersemster 2019/2020

Summer Term 2019

Wintersemster 2018/2019

Summer Term 2018

Winter Term 2017/2018

Academic Activities

  • RTAS 2022: Secondary Reviewer for the 28th IEEE Real-Time and Embedded Technology and Applications Symposium
  • RTSS 2022: Secondary Reviewer for the 43rd IEEE Real-Time Systems Symposium
  • OSPERT 2022: Secondary Reviewer for the 16th annual workshop on Operating Systems Platforms for Embedded Real-Time applications
  • ISORC 2021: Secondary Reviewer for the 24th International Symposium On Real-Time Distributed Computing
  • RTAS 2020: Secondary Reviewer for the 26th IEEE Real-Time and Embedded Technology and Applications Symposium
  • EMSOFT 2020: Secondary Reviewer for the 2020 International Conference on Embedded Software
  • ISORC 2020: Secondary Reviewer for the 23th International Symposium On Real-Time Distributed Computing
  • RTAS 2019: Secondary Reviewer for the 25th IEEE Real-Time and Embedded Technology and Applications Symposium
  • EMSOFT 2019: Secondary Reviewer for the ACM SIGBED International Conference on Embedded Software
  • EuroSys 2019: Secondary Reviewer for the 14th EuroSys Conference
  • IESS 2019: Secondary Reviewer for the 2019 International Embedded Systems Symposium
  • OSPERT 2019: Secondary Reviewer for the 15th annual Workshop on Operating Systems Platforms for Embedded Real-Time applications
  • WCET 2018: Secondary Reviewer for the 2018 Workshop on Worst-Case Execution Time Analysis
  • ECRTS 2018: Secondary Reviewr for the 2018 Euromicro Conference on Real-Time Systems Artifact Evaluation

Theses

Erweiterung von platin auf die RISCV Architektur (AORTA_RISCV)
Bearbeiter: Thomas Reichinger (beendet am 31.5.2018 )
Betreuer: Dipl.-Ing. Tobias Klaus, Dipl.-Ing. Florian Franzmann, Simon Schuster, M. Sc., Prof. Dr.-Ing. Peter Ulbrich, Prof. Dr.-Ing. habil. Wolfgang Schröder-Preikschat

Implementation and Evaluation of Trace-Based Timing Analysis
Bearbeiter: Julius Wiedmann (beendet am 02.12.2019, Ausarbeitung...)
Betreuer: Phillip Raffeck, M. Sc., Simon Schuster, M. Sc., Prof. Dr.-Ing. habil. Wolfgang Schröder-Preikschat

Specifying and Verifying Sequences and Sort Algorithms in a Rust Verifier
Betreuer: Prof. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Phillip Raffeck, M. Sc., Simon Schuster, M. Sc.

Own Theses

System-gewahre Statische Laufzeitanalyse von Universal-Betriebssystemen
Bearbeiter: Simon Schuster (beendet am 02.10.2017 )
Betreuer: Prof. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. Peter Ulbrich, Dr.-Ing. Peter Wägemann