Olaf Spinczyk

Orcid: 0000-0001-9469-2367

Affiliations:
  • Osnabrück University, Germany
  • University of Erlangen-Nuremberg, Germany (former)
  • Dortmund University of Technology, Germany (former)


According to our database1, Olaf Spinczyk authored at least 136 papers between 1998 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Compiler-Implemented Differential Checksums: Effective Detection and Correction of Transient and Permanent Memory Errors.
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Network, 2023

A Full-System Perspective on UPMEM Performance.
Proceedings of the 1st Workshop on Disruptive Memory Systems, 2023

2022
Data Serialization Formats for the Internet of Things.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2022

kconfig-webconf: retrofitting performance models onto kconfig-based software product lines.
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

On the relation of variability modeling languages and non-functional properties.
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

Black-box models for non-functional properties of AI software systems.
Proceedings of the 1st International Conference on AI Engineering: Software Engineering for AI, 2022

Declarative Stream-based Acquisition and Processing of OSData with kCQL.
Proceedings of the Machine Learning under Resource Constraints - Volume 1: Fundamentals, 2022

2021
Decoupling Application Logic from Persistent Memory Frameworks with AspectC++.
Proceedings of the PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, 2021

2020
mxkernel: A Novel System Software Stack for Data Processing on Modern Hardware.
Datenbank-Spektrum, 2020

From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes.
Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

Transformation- and Pattern-based State Machine Mining from Embedded C Code.
Proceedings of the 15th International Conference on Software Technologies, 2020

He..ro DB: A Concept for Parallel Data Processing on Heterogeneous Hardware.
Proceedings of the Architecture of Computing Systems - ARCS 2020, 2020

2019
Energy-aware device drivers for embedded operating systems.
SIGBED Rev., 2019

Cache-Line Transactions: Building Blocks for Persistent Kernel Data Structures Enabled by AspectC++.
Proceedings of the 10th Workshop on Programming Languages and Operating Systems, 2019

Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models.
Proceedings of the Computer Safety, Reliability, and Security, 2019

High-Accuracy Software Fault Injection in Source Code with Clang.
Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing, 2019

I<sup>2</sup>C considered wasteful: saving energy with host-controlled pull-up resistors: poster abstract.
Proceedings of the 18th International Conference on Information Processing in Sensor Networks, 2019

Constrained Software Distribution for Automotive Systems.
Proceedings of the Information and Software Technologies - 25th International Conference, 2019

Interface Injection with AspectC++ in Embedded Systems.
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

LockDoc: Trace-Based Analysis of Locking in the Linux Kernel.
Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

CyPhOS - A Component-Based Cache-Aware Multi-core Operating System.
Proceedings of the Architecture of Computing Systems - ARCS 2019, 2019

2018
Poster Abstract: vGridLab - a testbed for virtualized smart grids.
Comput. Sci. Res. Dev., 2018

High Availability in Cyber-physical Systems by Self-determined Virtual Machine Replication.
Proceedings of the 13th IEEE International Symposium on Industrial Embedded Systems, 2018

Parameter-Aware Energy Models for Embedded-System Peripherals.
Proceedings of the 13th IEEE International Symposium on Industrial Embedded Systems, 2018

Exploiting Modular Language Extensions in Legacy C Code: An Automotive Case Study.
Proceedings of the Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany, 2018

Energy Models in the Loop.
Proceedings of the 9th International Conference on Ambient Systems, 2018

2017
Generic Soft-Error Detection and Correction for Concurrent Data Structures.
IEEE Trans. Dependable Secur. Comput., 2017

Evolutionary planning of virtualized cyber-physical compute and control clusters.
J. Syst. Archit., 2017

Reproducible Load Tests for Android Systems with Trace-based Benchmarks.
Proceedings of the Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

Annotations in Operating Systems with Custom AspectC++ Attributes.
Proceedings of the 9th Workshop on Programming Languages and Operating Systems, 2017

PhyNetLab: An IoT-Based Warehouse Testbed.
Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017

Financial Evaluation of SLA-based VM Scheduling Strategies for Cloud Federations.
Proceedings of the 4th Workshop on CrossCloud Infrastructures & Platforms, CrossCloud@EuroSys 2017, Belgrade, Serbia, April 23, 2017

On reducing busy waiting in autosar via task-release-delta-based runnable reordering.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems.
Proceedings of the Architecture of Computing Systems - ARCS 2017, 2017

2016
Evaluation of SLA-based decision strategies for VM scheduling in cloud data centers.
Proceedings of the 3rd Workshop on CrossCloud Infrastructures & Platforms, 2016

CrossCheck: A Holistic Approach for Tolerating Crash-Faults and Arbitrary Failures.
Proceedings of the 12th European Dependable Computing Conference, 2016

2015
Hardening an L4 Microkernel Against Soft Errors by Aspect-Oriented Programming and Whole-Program Analysis.
ACM SIGOPS Oper. Syst. Rev., 2015

Interfacing the hardware API with a feature-based operating system family.
J. Syst. Archit., 2015

Multi-layer software reliability for unreliable hardware.
it Inf. Technol., 2015

CPS-Remus: Eine Hochverfügbarkeitslösung für virtualisierte cyber-physische Anwendungen.
Proceedings of the Betriebssysteme und Echtzeit, 2015

FAIL*: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance.
Proceedings of the 11th European Dependable Computing Conference, 2015

Avoiding Pitfalls in Fault-Injection Based Comparison of Program Susceptibility to Soft Errors.
Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

CPS-Xen: A Virtual Execution Environment for Cyber-Physical Applications.
Proceedings of the Architecture of Computing Systems - ARCS 2015, 2015

2014
Model for SLA-Based VM Scheduling in Federated Cloud Environments.
J. Integr. Des. Process. Sci., 2014

Rapid Fault-Space Exploration by Evolutionary Pruning.
Proceedings of the Computer Safety, Reliability, and Security, 2014

FederatedCloudSim: a SLA-aware federated cloud simulation framework.
Proceedings of the 2nd International Workshop on CrossCloud Systems, 2014

Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs.
Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014

Analysis of communication networks for smart substations using a virtualized execution platform.
Proceedings of the IEEE International Conference on Communications, 2014

Smart-hopping: Highly efficient ISA-level fault injection on real hardware.
Proceedings of the 19th IEEE European Test Symposium, 2014

Crosscheck: Hardening Replicated Multithreaded Services.
Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

A Hardware-in-the-Loop co-simulation architecture for power system applications in virtual execution environments.
Proceedings of the Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, 2014

A context-aware battery lifetime model for carrier aggregation enabled LTE-A systems.
Proceedings of the 11th IEEE Consumer Communications and Networking Conference, 2014

Hardware APIs: A Software-Centric Approach for Automated Derivation of MPSoC Hardware Structures Based on Static Code Analysis.
Proceedings of the Architecture of Computing Systems - ARCS 2014, 2014

2013
Efficient online memory error assessment and circumvention for Linux with RAMpage.
Int. J. Crit. Comput. Based Syst., 2013

MobiSIM: a simulation library for resource prediction of smartphones and wireless sensor networks.
Proceedings of the 46th Annual Simulation Symposium, 2013

MIMOSA, a Highly Sensitive and Accurate Power Measurement Technique for Low-Power Systems.
Proceedings of the Real-World Wireless Sensor Networks, 2013

Open Smartphone Data for Structured Mobility and Utilization Analysis in Ubiquitous Systems.
Proceedings of the Mining, Modeling, and Recommending 'Things' in Social Media, 2013

System Support for Privacy-preserving and Energy-efficient Data Gathering in the Global Smartphone Network - Opportunities and Challenges.
Proceedings of the PECCS 2013, 2013

Return-Address Protection in C/C++ Code by Dependability Aspects.
Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

Generative software-based memory error detection and correction for operating system data structures.
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012
The Aspect-Aware Design and Implementation of the CiAO Operating-System Family.
LNCS Trans. Aspect Oriented Softw. Dev., 2012

CiAO/IP: a highly configurable aspect-oriented IP stack.
Proceedings of the 10th International Conference on Mobile Systems, 2012

A unified approach for online and offline estimation of sensor platform energy consumption.
Proceedings of the 8th International Wireless Communications and Mobile Computing Conference, 2012

Continuous Performance Analysis of Fault-Tolerant Virtual Machines.
Proceedings of the 57. Jahrestagung der Deutschen Gesellschaft für Medizinische Informatik, Biometrie und Epidemiologie, 42. Jahrestagung der Gesellschaft für Informatik, Was bewegt uns in der/die Zukunft?, 2012

Protecting the Dynamic Dispatch in C++ by Dependability Aspects.
Proceedings of the 57. Jahrestagung der Deutschen Gesellschaft für Medizinische Informatik, Biometrie und Epidemiologie, 42. Jahrestagung der Gesellschaft für Informatik, Was bewegt uns in der/die Zukunft?, 2012

Fail*: Towards a Versatile Fault Injection Experiment Framework.
Proceedings of the ARCS 2012 Workshops, 28. Februar - 2. März 2012, München, Germany, 2012

AspectVHDL stage 1: the prototype of an aspect-oriented hardware description language.
Proceedings of the 2012 Workshop on Modularity in Systems Software, 2012

2011
Puma: An Aspect-Oriented Code Analysis and Manipulation Framework for C and C++.
LNCS Trans. Aspect Oriented Softw. Dev., 2011

Summary of PLOS 2011: the sixth workshop on programming languages and operating systems.
ACM SIGOPS Oper. Syst. Rev., 2011

RAMpage: Graceful Degradation Management for Memory Errors in Commodity Linux Servers.
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

Revisiting Fault-Injection Experiment-Platform Architectures.
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

TMPL: A hardware transactional memory product line.
Proceedings of the 2011 International Conference on High Performance Computing & Simulation, 2011

Lava: model-driven development of configurable mpsoc hardware structures for robots.
Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011


Upcall dispatcher aspects: combining modularity with efficiency in the CiAO IP stack.
Proceedings of the 1st workshop on Modularity in systems software, 2011

Aspect-aware operating system development.
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010
AspectC++: An integrated approach for static and dynamic adaptation of system software.
Knowl. Based Syst., 2010

Towards Adjusting Mobile Devices to User's Behaviour.
Proceedings of the LWA 2010, 2010

Towards Adjusting Mobile Devices to User's Behaviour.
Proceedings of the Analysis of Social Media and Ubiquitous Data, 2010

LavA: An Open Platform for Rapid Prototyping of MPSoCs.
Proceedings of the International Conference on Field Programmable Logic and Applications, 2010

Approaching Non-functional Properties of Software Product Lines: Learning from Products.
Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

The aspect-oriented design of the PUMA C/C++ parser framework.
Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

Towards eCos Autoconfiguration by Static Application Analysis.
Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications, 2010

2009
PLOS 2009: fifth workshop on programming languages and operating systems.
ACM SIGOPS Oper. Syst. Rev., 2009

CiAO: An Aspect-Oriented Operating-System Family for Resource-Constrained Embedded Systems.
Proceedings of the 2009 USENIX Annual Technical Conference, 2009

Dynamic AspectC++: Generic Advice at Any Time.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009

Towards Tool Support for the Configuration of Non-Functional Properties in SPLs.
Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

Challenges in Software Product Line Composition.
Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

A Radical Approach to Network-on-Chip Operating Systems.
Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

2008
System-on-chip integration of embedded automotive controllers.
Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems, 2008

FAME-DBMS: Tailor-made Data Management Solutions for Embedded Systems.
Proceedings of the EDBT'08 Workshop on Software Engineering for Tailor-made Data Management , 2008

08281 Executive Summary - Software Engineering for Tailor-made Data Management.
Proceedings of the Software Engineering for Tailor-made Data Management, 06.07., 2008

08281 Abstracts Collection - Software Engineering for Trailor-made Data Management.
Proceedings of the Software Engineering for Tailor-made Data Management, 06.07., 2008

Aspects in hardware: what do they look like?
Proceedings of the ACP4IS@AOSD 2008: Proceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software, Brussels, Belgium, 31 March, 2008

2007
The design and implementation of AspectC++.
Knowl. Based Syst., 2007

Dimensions of variability in embedded operating systems.
Inform. Forsch. Entwickl., 2007

On the Configuration of Non-Functional Properties in Software Product Lines.
Proceedings of the Software Product Lines, 11th International Conference, 2007

Tailoring Infrastructure Software Product Lines by Static Application Analysis.
Proceedings of the Software Product Lines, 11th International Conference, 2007

Configurable memory protection by aspects.
Proceedings of the 4th workshop on Programming languages and operating systems, 2007

Unification of Static and Dynamic AOP for Evolution in Embedded Software Systems.
Proceedings of the Software Composition - 6th International Symposium, 2007

Aspectizing a Web Server for Adaptation.
Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007

Dynamic weaving for runtime adaptation in middleware.
Proceedings of the 1st Workshop on Middleware-Application Interaction, 2007

Maßschneiderung von Infrastruktursoftwareproduktlinien durch statische Anwendungsanalyse.
Proceedings of the Datenbanksysteme in Business, 2007

Interrupt synchronization in the CiAO operating system: experiences from implementing low-level system policies by AOP.
Proceedings of the 6th workshop on Aspects, 2007

2006
Lean and Efficient System Software Product Lines: Where Aspects Beat Objects.
LNCS Trans. Aspect Oriented Softw. Dev., 2006

Using Feature Models for Product Derivation.
Proceedings of the Software Product Lines, 10th International Conference, 2006

Developing embedded software product lines with AspectC++.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Static and Dynamic Weaving in System Software with AspectC++.
Proceedings of the 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), 2006

A quantitative analysis of aspects in the eCos kernel.
Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006

Linguistic support for modern operating systems workshop on programming languages and operating systems 2006 (PLOS 2006).
Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, 2006

2005
Functional and Non-Functional Properties in a Family of Embedded Operating Systems.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Advances in AOP with AspectC++.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2005

On Typesafe Aspect Implementations in C++.
Proceedings of the Software Composition - 4th International Workshop, 2005

Dynamic Aspect Weaver Family for Family-based Adaptable Systems.
Proceedings of the NODe 2005, 2005

The Design of Application-Tailorable Operating System Product Lines.
Proceedings of the Construction and Analysis of Safe, 2005

2004
Using AOP to develop architectural-neutral operating system components.
Proceedings of the 11st ACM SIGOPS European Workshop, 2004

Modeling and building software product lines with eclipse.
Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

On adaptable middleware product lines.
Proceedings of the 3rd Workshop on Adaptive and Reflective Middleware, 2004

Generic Advice: On the Combination of AOP with Generative Programming in AspectC++.
Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

Programming Languages and Operating Systems.
Proceedings of the Object-Oriented Technology: ECOOP 2004 Workshop Reader, 2004

2003
Variant management for embedded software product lines with pure: : consul and AspectC++.
Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003

PURE/OSEK - Eine aspektorientierte Betriebssystemfamilie für Kraftfahrzeuge.
Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29, 2003

2002
On Aspect-Orientation in Distributed Real-time Dependable Systems.
Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

Program Instrumentation for Debugging and Monitoring with AspectC++.
Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

Finegrained Application Specific Customization of Embedded Software.
Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17<sup>th</sup> World Computer Congress, 2002

Aspektorientierung und Programmfamilien im Betriebssystembau.
Proceedings of the Ausgezeichnete Informatikdissertationen 2002, 2002

Object-Orientation and Operating Systems.
Proceedings of the Object-Oriented Technology, 2002

Aspektorientierung und Programmfamilien im Betriebssystembau.
PhD thesis, 2002

2001
Psi-Pervasive Services Infrastructure.
Proceedings of the Technologies for E-Services, Second International Workshop, 2001

2000
Streamlining Object-Oriented Software for Deeply Embedded Applications.
Proceedings of the TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 2000

On architecture transparency in operating systems.
Proceedings of the 9th ACM SIGOPS European Workshop, 2000

On Interrupt-Transparent Synchronization in an Embedded Object-Oriented Operating System.
Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

1999
The PURE Family of Object-Oriented Operating Systems for Deeply Embedded Systems.
Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999

Efficient Object-Oriented Software with Design Patterns.
Proceedings of the Generative and Component-Based Software Engineering, 1999

On the Development of Object-Oriented Operating Systems for Deeply Embedded Systems - The PURE Project.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998
Design Rationale of the PURE Object-Oriented Embedded Operation System.
Proceedings of the Distributed and Parallel Embedded Systems, 1998


  Loading...