Towards Just-In-Time Compiling of Operating Systems.
Proceedings of the 12th Workshop on Programming Languages and Operating Systems, 2023
Combining Automated Measurement-Based Cost Modeling With Static Worst-Case Execution-Time and Energy-Consumption Analyses.
IEEE Embed. Syst. Lett., 2019
Cocoon: Custom-Fitted Kernel Compiled on Demand.
Proceedings of the 10th Workshop on Programming Languages and Operating Systems, 2019
Operating Energy-Neutral Real-Time Systems.
ACM Trans. Embed. Comput. Syst., 2018
An End-to-End Toolchain: From Automated Cost Modeling to Static WCET and WCEC Analysis.
Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017
A Kernel for Energy-Neutral Real-Time Systems with Mixed Criticalities.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016
GenE: A Benchmark Generator for WCET Analysis.
Proceedings of the 15th International Workshop on Worst-Case Execution Time Analysis, 2015
Fault injection tools based on Virtual Machines.
Proceedings of the 9th International Symposium on Reconfigurable and Communication-Centric Systems-on-Chip, 2014
Seamless high speed simulation of VHDL components in the context of comprehensive computing systems using the virtual machine faumachine.
Proceedings of the 2010 Winter Simulation Conference, 2010
Nano-technology aware investigations on fault-masking techniques in the presence of high fault probabilities.
Proceedings of the 2010 International Conference on High Performance Computing & Simulation, 2010
Deterministic high-speed simulation of complex systems including fault-injection.
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009
Evaluating fault-tolerant system designs using FAUmachine.
Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, 2007
Hardware Fault Injection with UMLinux.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003
Reproducible Dependability Benchmarking Experiments Based on Unambiguous Benchmark Setup Descriptions.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003
UMLinux - A Versatile SWIFI Tool.
Proceedings of the Dependable Computing, 2002
Framework for Testing the Fault-Tolerance of Systems Including OS and Network Aspects.
Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001
Effiziente Erstellung und Auswertung von Rechnermodellen zur detaillierten Zuverlässigkeitsanalyse.
PhD thesis, 1998
VERIFY: Evaluation of Reliability Using VHDL-Models with Embedded Fault Descriptions.
Proceedings of the Digest of Papers: FTCS-27, 1997
Hardware-Supported Fault Tolerance for Multiprocessors.
Proceedings of the Architektur von Rechensystemen, Arbeitsteilige Systemarchitekturen: Konzepte, Lösungen, Anwendungen, Trends, 1997
Combining Software-Implemented and Simulation-Based Fault Injection into a Single Fault Injection Method.
Proceedings of the Digest of Papers: FTCS-25, 1995
Hierarchical Checking of Multiprocessors Using Watchdog Processors.
Proceedings of the Dependable Computing, 1994