HLS-Based Performance and Resource Optimization of Cryptographic Modules. - Arthur Silitonga; Florian Schade; Guanru Jiang; Jürgen Becker 001 (ISPA/IUCC/BDCloud/SocialCom/SustainCom, 2018)

Leveraging the Partial Reconfiguration Capability of FPGAs for Processor-Based Fail-Operational Systems. - Tobias Dörr; Timo Sandmann; Florian Schade; Falco K. Bapp; Jürgen Becker 001 (ARC, 2019)

XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems. - Jürgen Becker 001; Leonard Masing; Tobias Dörr; Florian Schade; Georgios Keramidas; Christos P. Antonopoulos; Michail Mavropoulos; Efstratios Tiganourias; Vasilios I. Kelefouras; Konstantinos Antonopoulos; Nikolaos S. Voros; Umut Durak; et al. (FPL, 2021)

Evaluation of a Hypervisor-Based Smart Controller for Industry 4.0 Functions in Manufacturing. - Florian Schade; David Barton; Jürgen Fleischer; Jürgen Becker 001 (WF-IoT, 2021)

XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems. - Leonard Masing; Tobias Dörr; Florian Schade; Jürgen Becker 001; Georgios Keramidas; Christos P. Antonopoulos; Michail Mavropoulos; Efstratios Tiganourias; Vasilios I. Kelefouras; Konstantinos Antonopoulos; Nikolaos S. Voros; Umut Durak; et al. (DATE, 2022)

A Behavior Specification and Simulation Methodology for Embedded Real-Time Software. - Tobias Dörr; Florian Schade; Alexander Ahlbrecht; Wanja Zaeske; Leonard Masing; Umut Durak; Jürgen Becker 001 (DS-RT, 2022)

Safety by Construction: Pattern-Based Application of Safety Mechanisms in XANDAR. - Tobias Dörr; Florian Schade; Leonard Masing; Jürgen Becker 001; Georgios Keramidas; Christos P. Antonopoulos; Michail Mavropoulos; Vasilios I. Kelefouras; Nikolaos S. Voros (ISVLSI, 2022)

Using Trace Data for Run-Time Optimization of Parallel Execution in Real-Time Multi-Core Systems. - Florian Schade; Timo Sandmann; Jürgen Becker 001; Henrik Theiling (RTCSA, 2022)

Hypervisor-Based Target Deployment Strategies for Time Predictability in Model-Based Development. - Florian Schade; Tobias Dörr; Jürgen Becker 001 (SOCC, 2022)

XANDAR: A holistic Cybersecurity Engineering Process for Safety-critical and Cyber-physical Systems. - Fahad Siddiqui 001; Rafiullah Khan; Sakir Sezer; Kieran McLaughlin; Leonard Masing; Tobias Dörr; Florian Schade; Jürgen Becker 001; Alexander Ahlbrecht; Wanja Zaeske; Umut Durak; Nico Adler; et al. (VTC Spring, 2022)

Automatic Deployment of Embedded Real-Time Software Systems to Hypervisor-Managed Platforms. - Florian Schade; Tobias Dörr; Alexander Ahlbrecht; Vincent Janson; Umut Durak; Jürgen Becker 001 (DSD, 2023)

Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems. - Tobias Dörr; Florian Schade; Jürgen Becker 001 (SAFECOMP, 2023)

XANDAR: An X-by-Construction Framework for Safety, Security, and Real-Time Behavior of Embedded Software Systems. - Tobias Dörr; Florian Schade; Jürgen Becker 001; Georgios Keramidas; Nikos Petrellis; Vasilios I. Kelefouras; Michail Mavropoulos; Konstantinos Antonopoulos; Christos P. Antonopoulos; Nikolaos S. Voros; Alexander Ahlbrecht; Wanja Zaeske; et al. (DATE, 2024)

Automated Polyhedron-based TDMA Schedule Design for Predictable Mixed-Criticality MPSoCs. - Matthias Stammler; Florian Schade; Jürgen Becker 001 (DSD, 2024)