Tobias Dörr

16 papers A 2B 2C 5Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2024 — —
Pattern-Based Logical Isolation for Safety-Critical Multicore Systems.
Tobias Dörr
2024 A conf
XANDAR: An X-by-Construction Framework for Safety, Security, and Real-Time Behavior of Embedded Software Systems.
DATE
Tobias Dörr, Florian Schade, Jürgen Becker, Georgios Keramidas, Nikos Petrellis, Vasilios I. Kelefouras, Michail Mavropoulos, Konstantinos Antonopoulos, Christos P. Antonopoulos, Nikolaos S. Voros, Alexander Ahlbrecht, Wanja Zaeske, Vincent Janson, Phillip Nöldeke, Umut Durak, Christos Panagiotou, Dimitris Karadimas, Nico Adler, Clemens Reichmann, Andreas Sailer, Raphael Weber, Thomas Wilhelm, Wolfgang Gabler, Katrin Weiden, Xavier Anzuela Recasens, Sakir Sezer, Fahad Siddiqui, Rafiullah Khan, Kieran McLaughlin, Sena Yengec Tasdemir, Balmukund Sonigara, Henry Hui, Esther Soriano Viguer, Aridane Álvarez Suárez, Vicente Nicolau Gallego, Manuel Muñoz Alcobendas, Miguel Masmano Tello
2023 C conf
Automatic Deployment of Embedded Real-Time Software Systems to Hypervisor-Managed Platforms.
DSD
Florian Schade, Tobias Dörr, Alexander Ahlbrecht, Vincent Janson, Umut Durak, Jürgen Becker
2023 B conf
Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems.
SAFECOMP
Tobias Dörr, Florian Schade, Jürgen Becker
2022 C conf
A Behavior Specification and Simulation Methodology for Embedded Real-Time Software.
DS-RT
Tobias Dörr, Florian Schade, Alexander Ahlbrecht, Wanja Zaeske, Leonard Masing, Umut Durak, Jürgen Becker
2022 — conf
Hypervisor-Based Target Deployment Strategies for Time Predictability in Model-Based Development.
SOCC
Florian Schade, Tobias Dörr, Jürgen Becker
2022 — conf
Safety by Construction: Pattern-Based Application of Safety Mechanisms in XANDAR.
ISVLSI
Tobias Dörr, Florian Schade, Leonard Masing, Jürgen Becker, Georgios Keramidas, Christos P. Antonopoulos, Michail Mavropoulos, Vasilios I. Kelefouras, Nikolaos S. Voros
2022 — conf
XANDAR: A holistic Cybersecurity Engineering Process for Safety-critical and Cyber-physical Systems.
VTC Spring
Fahad Siddiqui, Rafiullah Khan, Sakir Sezer, Kieran McLaughlin, Leonard Masing, Tobias Dörr, Florian Schade, Jürgen Becker, Alexander Ahlbrecht, Wanja Zaeske, Umut Durak, Nico Adler, Andreas Sailer, Raphael Weber, Thomas Wilhelm, Géza Németh, Victor Morales, Paco Gomez, Georgios Keramidas, Christos P. Antonopoulos, Michail Mavropoulos, Vasilios I. Kelefouras, Konstantinos Antonopoulos, Nikolaos S. Voros, Christos Panagiotou, Dimitris Karadimas
2022 A conf
XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems.
DATE
Leonard Masing, Tobias Dörr, Florian Schade, Jürgen Becker, Georgios Keramidas, Christos P. Antonopoulos, Michail Mavropoulos, Efstratios Tiganourias, Vasilios I. Kelefouras, Konstantinos Antonopoulos, Nikolaos S. Voros, Umut Durak, Alexander Ahlbrecht, Wanja Zaeske, Christos Panagiotou, Dimitris Karadimas, Nico Adler, Andreas Sailer, Raphael Weber, Thomas Wilhelm, Géza Németh, Fahad Siddiqui, Rafiullah Khan, Vahid Garousi, Sakir Sezer, Victor Morales
2021 J jnl
Achieving cost-efficient fail-operational behavior based on inherent redundancy at the system level.
Microprocess. Microsystems
Tobias Dörr, Timo Sandmann, Patrick Friederich, Arnd Leitner, Jürgen Becker
2021 C conf
Employing the Concept of Multilevel Security to Generate Access Protection Configurations for Automotive On-Board Networks.
DSD
Tobias Dörr, Timo Sandmann, Hannes Mohr, Jürgen Becker
2021 J jnl
Model-based configuration of access protection units for multicore processors in embedded systems.
Microprocess. Microsystems
Tobias Dörr, Timo Sandmann, Jürgen Becker
2021 B conf
XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems.
FPL
Jürgen Becker, 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, Alexander Ahlbrecht, Wanja Zaeske, Christos Panagiotou, Dimitris Karadimas, Nico Adler, Andreas Sailer, Raphael Weber, Thomas Wilhelm, Florian Oszwald, Dominik Reinhardt, Mohamad Chamas, Adnan Bekan, Graham Smethurst, Fahad Siddiqui, Rafiullah Khan, Vahid Garousi, Sakir Sezer, Victor Morales
2020 C conf
A Formal Model for the Automatic Configuration of Access Protection Units in MPSoC-Based Embedded Systems.
DSD
Tobias Dörr, Timo Sandmann, Jürgen Becker
2020 C conf
An Approach to Cost-Efficient Fault Tolerance in Inherently Redundant Fail-Operational Systems.
DSD
Tobias Dörr, Timo Sandmann, Patrick Friederich, Arnd Leitner, Jürgen Becker
2019 — conf
Leveraging the Partial Reconfiguration Capability of FPGAs for Processor-Based Fail-Operational Systems.
ARC
Tobias Dörr, Timo Sandmann, Florian Schade, Falco K. Bapp, Jürgen Becker