Simon Schuster
Simon Schuster, M. Sc.
Department Informatik (INF)
Lehrstuhl für Informatik 4 (Systemsoftware)
91058 Erlangen
- E-Mail: schuster@cs.fau.de
- Webseite: https://sys.cs.fau.de/~schuster
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 (LCTES21)
(22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES21), 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)
- 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
- 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. i. R. 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. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat
- Specifying and Verifying Sequences and Sort Algorithms in a Rust Verifier
- Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Phillip Raffeck, M. Sc., Simon Schuster, M. Sc.
- Control-Flow Monitoring for KESO Applications (Ein Kontrollflussüberwachungsdienst für KESO Anwendungen ) (KESO-FTCF)
- Bearbeiter: Simon Schuster (beendet am 31.5.2015, Ausarbeitung...)
- Betreuer: Prof. Dr.-Ing. Peter Ulbrich, Dr.-Ing. Isabella Stilkerich, Dr.-Ing. Christoph Erhardt
- System-gewahre Statische Laufzeitanalyse von Universal-Betriebssystemen
- Bearbeiter: Simon Schuster (beendet am 02.10.2017 )
- Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. Peter Ulbrich, Dr.-Ing. Peter Wägemann