Olaf Spinczyk

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 38

Top Venues

Otto-von-Guericke University Magdeburg, Germany (PHD)

Education History

Otto-von-Guericke University Magdeburg, Germany

PHD

Publications

Marcel Lütke Dreimann, Birte Friesel, Olaf Spinczyk
HetSim: A Simulator for Task-based Scheduling on Heterogeneous Hardware. ICPE (Companion) (2024)
Matheus Fellype Ferraz, Birte Kristina Friesel, Olaf Spinczyk
Pros and Cons of Executable Neural Networks for Deeply Embedded Systems. CODAI (2023)
Christoph Borchert, Horst Schirmeier, Olaf Spinczyk
Compiler-Implemented Differential Checksums: Effective Detection and Correction of Transient and Permanent Memory Errors. DSN (2023)
Birte Friesel, Marcel Lütke Dreimann, Olaf Spinczyk
A Full-System Perspective on UPMEM Performance. DIMES@SOSP (2023)
Daniel Friesel, Olaf Spinczyk
Black-box models for non-functional properties of AI software systems. CAIN (2022)
Daniel Friesel, Kathrin Elmenhorst, Lennart Kaiser, Michael Müller, Olaf Spinczyk
kconfig-webconf: retrofitting performance models onto kconfig-based software product lines. SPLC (B) (2022)
Daniel Friesel, Michael Müller, Matheus Ferraz, Olaf Spinczyk
On the relation of variability modeling languages and non-functional properties. SPLC (B) (2022)
Daniel Friesel, Olaf Spinczyk
Data Serialization Formats for the Internet of Things. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 80 (2022)
Marcel Köppen, Daniel Friesel, Christoph Borchert, Olaf Spinczyk
Decoupling Application Logic from Persistent Memory Frameworks with AspectC++. PLOS@SOSP (2021)
Andreas Grosche, Burkhard Igel, Olaf Spinczyk
Transformation- and Pattern-based State Machine Mining from Embedded C Code. ICSOFT (2020)
Jan Mühlig, Michael Müller, Olaf Spinczyk, Jens Teubner
mxkernel: A Novel System Software Stack for Data Processing on Modern Hardware. Datenbank-Spektrum 20 (3) (2020)
Florian Rommel, Christian Dietrich, Daniel Friesel, Marcel Köppen, Christoph Borchert, Michael Müller, Olaf Spinczyk, Daniel Lohmann
From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes. OSDI (2020)
Michael Müller, Thomas Leich, Thilo Pionteck, Gunter Saake, Jens Teubner, Olaf Spinczyk
He..ro DB: A Concept for Parallel Data Processing on Heterogeneous Hardware. ARCS (2020)
Marcel Köppen, Jana Traue, Christoph Borchert, Jörg Nolte, Olaf Spinczyk
Cache-Line Transactions: Building Blocks for Persistent Kernel Data Structures Enabled by AspectC++. PLOS@SOSP (2019)
Markus Buschhoff, Robert Falkenberg, Olaf Spinczyk
Energy-aware device drivers for embedded operating systems. SIGBED Rev. 16 (3) (2019)
Ulrich Thomas Gabor, Simon Dierl, Olaf Spinczyk
Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models. SAFECOMP (2019)
Alexander Lochmann, Horst Schirmeier, Hendrik Borghorst, Olaf Spinczyk
LockDoc: Trace-Based Analysis of Locking in the Linux Kernel. EuroSys (2019)
Hendrik Borghorst, Olaf Spinczyk
CyPhOS - A Component-Based Cache-Aware Multi-core Operating System. ARCS (2019)
Robert Höttger, Burkhard Igel, Olaf Spinczyk
Constrained Software Distribution for Automotive Systems. ICIST (2019)
Ulrich Thomas Gabor, Christoph-Cordt von Egidy, Olaf Spinczyk
Interface Injection with AspectC++ in Embedded Systems. HASE (2019)
Daniel Friesel, Olaf Spinczyk
C considered wasteful: saving energy with host-controlled pull-up resistors: poster abstract. IPSN (2019)
Ulrich Thomas Gabor, Daniel Ferdinand Siegert, Olaf Spinczyk
High-Accuracy Software Fault Injection in Source Code with Clang. PRDC (2019)
Daniel Friesel, Markus Buschhoff, Olaf Spinczyk
Parameter-Aware Energy Models for Embedded-System Peripherals. SIES (2018)
Andreas Grosche, Burkhard Igel, Olaf Spinczyk
Exploiting Modular Language Extensions in Legacy C Code: An Automotive Case Study. Modellierung (2018)
Boguslaw Jablkowski, Michael Müller, Olaf Spinczyk
High Availability in Cyber-physical Systems by Self-determined Virtual Machine Replication. SIES (2018)
Markus Buschhoff, Daniel Friesel, Olaf Spinczyk
Energy Models in the Loop. ANT/SEIT (2018)
Boguslaw Jablkowski, Markus Küch, Nils Dorsch, Andreas Kubis, Olaf Spinczyk, Christian Wietfeld, Christian Rehtanz
Poster Abstract: vGridLab - a testbed for virtualized smart grids. Comput. Sci. Res. Dev. 33 (1-2) (2018)
Robert Falkenberg, Mojtaba Masoudinejad, Markus Buschhoff, Aswin Karthik Ramachandran Venkatapathy, Daniel Friesel, Michael ten Hompel, Olaf Spinczyk, Christian Wietfeld
PhyNetLab: An IoT-Based Warehouse Testbed. CoRR (2017)
Christoph Borchert, Horst Schirmeier, Olaf Spinczyk
Generic Soft-Error Detection and Correction for Concurrent Data Structures. IEEE Trans. Dependable Secur. Comput. 14 (1) (2017)
Daniel Friesel, Markus Buschhoff, Olaf Spinczyk
Annotations in Operating Systems with Custom AspectC++ Attributes. PLOS@SOSP (2017)
Robert Hoettger, Burkhard Igel, Olaf Spinczyk
On reducing busy waiting in autosar via task-release-delta-based runnable reordering. DATE (2017)
Andreas Kohne, Marcel Krüger, Marco Pfahlberg, Olaf Spinczyk, Lars Nagel
Financial Evaluation of SLA-based VM Scheduling Strategies for Cloud Federations. CCB@EuroSys (2017)
Boguslaw Jablkowski, Ulrich Thomas Gabor, Olaf Spinczyk
Evolutionary planning of virtualized cyber-physical compute and control clusters. J. Syst. Archit. 73 (2017)
Alexander Lochmann, Fabian Bruckner, Olaf Spinczyk
Reproducible Load Tests for Android Systems with Trace-based Benchmarks. ICPE Companion (2017)
Robert Falkenberg, Mojtaba Masoudinejad, Markus Buschhoff, Aswin Karthik Ramachandran Venkatapathy, Daniel Friesel, Michael ten Hompel, Olaf Spinczyk, Christian Wietfeld
PhyNetLab: An IoT-Based Warehouse Testbed. FedCSIS (2017)
Thiago Santini, Christoph Borchert, Christian Dietrich, Horst Schirmeier, Martin Hoffmann, Olaf Spinczyk, Daniel Lohmann, Flávio Rech Wagner, Paolo Rech
Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems. ARCS (2017)
Andreas Kohne, Damian Pasternak, Lars Nagel, Olaf Spinczyk
Evaluation of SLA-based decision strategies for VM scheduling in cloud data centers. CrossCloud@EuroSys (2016)
Arthur Martens, Christoph Borchert, Manuel Nieke, Olaf Spinczyk, Rüdiger Kapitza
CrossCheck: A Holistic Approach for Tolerating Crash-Faults and Arbitrary Failures. EDCC (2016)
Muhammad Shafique, Philip Axer, Christoph Borchert, Jian-Jia Chen, Kuan-Hsun Chen, Björn Döbel, Rolf Ernst, Hermann Härtig, Andreas Heinig, Rüdiger Kapitza, Florian Kriebel, Daniel Lohmann, Peter Marwedel, Semeen Rehman, Florian Schmoll, Olaf Spinczyk
Multi-layer software reliability for unreliable hardware. it Inf. Technol. 57 (3) (2015)
Boguslaw Jablkowski, Olaf Spinczyk
CPS-Xen: A Virtual Execution Environment for Cyber-Physical Applications. ARCS (2015)
Boguslaw Jablkowski, Olaf Spinczyk
CPS-Remus: Eine Hochverfügbarkeitslösung für virtualisierte cyber-physische Anwendungen. Echtzeit (2015)
Matthias Meier, Mark Breddemann, Olaf Spinczyk
Interfacing the hardware API with a feature-based operating system family. J. Syst. Archit. 61 (10) (2015)
Christoph Borchert, Olaf Spinczyk
Hardening an L4 Microkernel Against Soft Errors by Aspect-Oriented Programming and Whole-Program Analysis. ACM SIGOPS Oper. Syst. Rev. 49 (2) (2015)
Christoph Borchert, Olaf Spinczyk
Hardening an L4 microkernel against soft errors by aspect-oriented programming and whole-program analysis. PLOS@SOSP (2015)
Horst Schirmeier, Martin Hoffmann, Christian Dietrich, Michael Lenz, Daniel Lohmann, Olaf Spinczyk
FAIL*: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance. EDCC (2015)
Horst Schirmeier, Christoph Borchert, Olaf Spinczyk
Avoiding Pitfalls in Fault-Injection Based Comparison of Program Susceptibility to Soft Errors. DSN (2015)
Boguslaw Jablkowski, Olaf Spinczyk, Markus Küch, Christian Rehtanz
A Hardware-in-the-Loop co-simulation architecture for power system applications in virtual execution environments. MSCPES@CPSWeek (2014)
Matthias Meier, Mark Breddemann, Olaf Spinczyk
Hardware APIs: A Software-Centric Approach for Automated Derivation of MPSoC Hardware Structures Based on Static Code Analysis. ARCS (2014)
Martin Hoffmann, Christoph Borchert, Christian Dietrich, Horst Schirmeier, Rüdiger Kapitza, Olaf Spinczyk, Daniel Lohmann
Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs. ISORC (2014)
Arthur Martens, Christoph Borchert, Tobias Oliver Geissler, Daniel Lohmann, Olaf Spinczyk, Rüdiger Kapitza
Crosscheck: Hardening Replicated Multithreaded Services. DSN (2014)
Andreas Kohne, Olaf Spinczyk
Model for SLA-Based VM Scheduling in Federated Cloud Environments. J. Integr. Des. Process. Sci. 18 (1) (2014)
Horst Schirmeier, Lars Rademacher, Olaf Spinczyk
Smart-hopping: Highly efficient ISA-level fault injection on real hardware. ETS (2014)
Andreas Kohne, Marc Spohr, Lars Nagel, Olaf Spinczyk
FederatedCloudSim: a SLA-aware federated cloud simulation framework. CCB@Middleware (2014)
Horst Schirmeier, Christoph Borchert, Olaf Spinczyk
Rapid Fault-Space Exploration by Evolutionary Pruning. SAFECOMP (2014)
Bjoern Dusza, Peter Marwedel, Olaf Spinczyk, Christian Wietfeld
A context-aware battery lifetime model for carrier aggregation enabled LTE-A systems. CCNC (2014)
Nils Dorsch, Boguslaw Jablkowski, Hanno Georg, Olaf Spinczyk, Christian Wietfeld
Analysis of communication networks for smart substations using a virtualized execution platform. ICC (2014)
Markus Buschhoff, Jochen Streicher, Björn Dusza, Christian Wietfeld, Olaf Spinczyk
MobiSIM: a simulation library for resource prediction of smartphones and wireless sensor networks. SpringSim (ANSS) (2013)
Nico Piatkowski, Jochen Streicher, Olaf Spinczyk, Katharina Morik
Open Smartphone Data for Structured Mobility and Utilization Analysis in Ubiquitous Systems. MSM/MUSE (2013)
Christoph Borchert, Horst Schirmeier, Olaf Spinczyk
Return-Address Protection in C/C++ Code by Dependability Aspects. GI-Jahrestagung (2013)
Markus Buschhoff, Christian Günter, Olaf Spinczyk
MIMOSA, a Highly Sensitive and Accurate Power Measurement Technique for Low-Power Systems. REALWSN (2013)
Jochen Streicher, Orwa Nassour, Olaf Spinczyk
System Support for Privacy-preserving and Energy-efficient Data Gathering in the Global Smartphone Network - Opportunities and Challenges. PECCS (2013)
Christoph Borchert, Horst Schirmeier, Olaf Spinczyk
Generative software-based memory error detection and correction for operating system data structures. DSN (2013)
Horst Schirmeier, Ingo Korb, Olaf Spinczyk, Michael Engel
Efficient online memory error assessment and circumvention for Linux with RAMpage. Int. J. Crit. Comput. Based Syst. 4 (3) (2013)
Boguslaw Jablkowski, Olaf Spinczyk
Continuous Performance Analysis of Fault-Tolerant Virtual Machines. GI-Jahrestagung (2012)
Markus Buschhoff, Christian Günter, Olaf Spinczyk
A unified approach for online and offline estimation of sensor platform energy consumption. IWCMC (2012)
Horst Schirmeier, Martin Hoffmann, Rüdiger Kapitza, Daniel Lohmann, Olaf Spinczyk
Fail*: Towards a Versatile Fault Injection Experiment Framework. ARCS Workshops (2012)
Daniel Lohmann, Olaf Spinczyk, Wanja Hofer, Wolfgang Schröder-Preikschat
The Aspect-Aware Design and Implementation of the CiAO Operating-System Family. LNCS Trans. Aspect Oriented Softw. Dev. 9 (2012)
Christoph Borchert, Daniel Lohmann, Olaf Spinczyk
CiAO/IP: a highly configurable aspect-oriented IP stack. MobiSys (2012)
Christoph Borchert, Horst Schirmeier, Olaf Spinczyk
Protecting the Dynamic Dispatch in C++ by Dependability Aspects. GI-Jahrestagung (2012)
Matthias Meier, Stefan Hanenberg, Olaf Spinczyk
AspectVHDL stage 1: the prototype of an aspect-oriented hardware description language. MISS@AOSD (2012)
Daniel Lohmann, Wanja Hofer, Wolfgang Schröder-Preikschat, Olaf Spinczyk
Aspect-aware operating system development. AOSD (2011)
Matthias Urban, Daniel Lohmann, Olaf Spinczyk
Puma: An Aspect-Oriented Code Analysis and Manipulation Framework for C and C++. LNCS Trans. Aspect Oriented Softw. Dev. 8 (2011)
Matthias Meier, Olaf Spinczyk
Lava: model-driven development of configurable mpsoc hardware structures for robots. GI-Jahrestagung (2011)
Horst Schirmeier, Martin Hoffmann, Rüdiger Kapitza, Daniel Lohmann, Olaf Spinczyk
Revisiting Fault-Injection Experiment-Platform Architectures. PRDC (2011)
Horst Schirmeier, Jens Neuhalfen, Ingo Korb, Olaf Spinczyk, Michael Engel
RAMpage: Graceful Degradation Management for Memory Errors in Commodity Linux Servers. PRDC (2011)
Matthias Meier, David Austin, Horst Schirmeier, Olaf Spinczyk
TMPL: A hardware transactional memory product line. HPCS (2011)
Eric Eide, Gilles Muller, Wolfgang Schröder-Preikschat, Olaf Spinczyk
Summary of PLOS 2011: the sixth workshop on programming languages and operating systems. ACM SIGOPS Oper. Syst. Rev. 45 (3) (2011)
Jörg Henkel, Lars Bauer, Joachim Becker, Oliver Bringmann, Uwe Brinkschulte, Samarjit Chakraborty, Michael Engel, Rolf Ernst, Hermann Härtig, Lars Hedrich, Andreas Herkersdorf, Rüdiger Kapitza, Daniel Lohmann, Peter Marwedel, Marco Platzner, Wolfgang Rosenstiel, Ulf Schlichtmann, Olaf Spinczyk, Mehdi Baradaran Tahoori, Jürgen Teich, Norbert Wehn, Hans-Joachim Wunderlich
Design and architectures for dependable embedded systems. CODES+ISSS (2011)
Jochen Streicher, Christoph Borchert, Olaf Spinczyk
Upcall dispatcher aspects: combining modularity with efficiency in the CiAO IP stack. MISS@AOSD (2011)
Reinhard Tartler, Daniel Lohmann, Fabian Scheler, Olaf Spinczyk
AspectC++: An integrated approach for static and dynamic adaptation of system software. Knowl. Based Syst. 23 (7) (2010)
Peter Fricke, Felix Jungermann, Katharina Morik, Nico Piatkowski, Olaf Spinczyk, Marco Stolpe
Towards Adjusting Mobile Devices to User's Behaviour. LWA (2010)
Matthias Urban, Daniel Lohmann, Olaf Spinczyk
The aspect-oriented design of the PUMA C/C++ parser framework. AOSD (2010)
Matthias Meier, Michael Engel, Matthias Steinkamp, Olaf Spinczyk
LavA: An Open Platform for Rapid Prototyping of MPSoCs. FPL (2010)
Peter Fricke, Felix Jungermann, Katharina Morik, Nico Piatkowski, Olaf Spinczyk, Marco Stolpe, Jochen Streicher
Towards Adjusting Mobile Devices to User's Behaviour. MSM/MUSE (2010)
Julio Sincero, Wolfgang Schröder-Preikschat, Olaf Spinczyk
Approaching Non-functional Properties of Software Product Lines: Learning from Products. APSEC (2010)
Horst Schirmeier, Matthias Bahne, Jochen Streicher, Olaf Spinczyk
Towards eCos Autoconfiguration by Static Application Analysis. ACoTA (2010)
Reinhard Tartler, Daniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk
Dynamic AspectC++: Generic Advice at Any Time. SoMeT (2009)
Michael Engel, Olaf Spinczyk
A Radical Approach to Network-on-Chip Operating Systems. HICSS (2009)
Horst Schirmeier, Olaf Spinczyk
Challenges in Software Product Line Composition. HICSS (2009)
Daniel Lohmann, Wanja Hofer, Wolfgang Schröder-Preikschat, Jochen Streicher, Olaf Spinczyk
CiAO: An Aspect-Oriented Operating-System Family for Resource-Constrained Embedded Systems. USENIX Annual Technical Conference (2009)
Julio Sincero, Wolfgang Schröder-Preikschat, Olaf Spinczyk
Towards Tool Support for the Configuration of Non-Functional Properties in SPLs. HICSS (2009)
Eric Eide, Gilles Muller, Olaf Spinczyk
PLOS 2009: fifth workshop on programming languages and operating systems. ACM SIGOPS Oper. Syst. Rev. 43 (4) (2009)
Marko Rosenmüller, Norbert Siegmund, Horst Schirmeier, Julio Sincero, Sven Apel, Thomas Leich, Olaf Spinczyk, Gunter Saake
FAME-DBMS: Tailor-made Data Management Solutions for Embedded Systems. Software Engineering for Tailor-made Data Management (2008)
Michael Engel, Olaf Spinczyk
System-on-chip integration of embedded automotive controllers. IIES@EuroSys (2008)
Sven Apel, Don S. Batory, Goetz Graefe, Gunter Saake, Olaf Spinczyk
08281 Executive Summary - Software Engineering for Tailor-made Data Management. Software Engineering for Tailor-made Data Management (2008)
Sven Apel, Don S. Batory, Goetz Graefe, Gunter Saake, Olaf Spinczyk
08281 Abstracts Collection - Software Engineering for Trailor-made Data Management. Software Engineering for Tailor-made Data Management (2008)
Michael Engel, Olaf Spinczyk
Aspects in hardware: what do they look like? ACP4IS@AOSD (2008)
Wasif Gilani, Julio Sincero, Olaf Spinczyk, Wolfgang Schröder-Preikschat
Aspectizing a Web Server for Adaptation. ISCC (2007)
Wasif Gilani, Olaf Spinczyk, Wolfgang Schröder-Preikschat
Dynamic weaving for runtime adaptation in middleware. MAI (2007)
Daniel Lohmann, Jochen Streicher, Wanja Hofer, Olaf Spinczyk, Wolfgang Schröder-Preikschat
Configurable memory protection by aspects. PLOS@SOSP (2007)

Olaf Spinczyk.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Olaf Spinczyk