Olaf Spinczyk
Orcid: 0000-0001-9469-2367Affiliations:
- 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 139 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the Companion of the 15th ACM/SPEC International Conference on Performance Engineering, 2024
Proceedings of the 2nd Workshop on Disruptive Memory Systems, 2024
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
Proceedings of the 1st Workshop on Disruptive Memory Systems, 2023
Proceedings of the 2023 Workshop on Compilers, Deployment, and Tooling for Edge AI, 2023
2022
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
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022
Proceedings of the 1st International Conference on AI Engineering: Software Engineering for AI, 2022
Proceedings of the Machine Learning under Resource Constraints - Volume 1: Fundamentals, 2022
2021
Proceedings of the PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, 2021
2020
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
Proceedings of the 15th International Conference on Software Technologies, 2020
Proceedings of the Architecture of Computing Systems - ARCS 2020, 2020
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
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
Proceedings of the Information and Software Technologies - 25th International Conference, 2019
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019
Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019
Proceedings of the Architecture of Computing Systems - ARCS 2019, 2019
2018
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
Proceedings of the 13th IEEE International Symposium on Industrial Embedded Systems, 2018
Proceedings of the Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany, 2018
Proceedings of the 9th International Conference on Ambient Systems, 2018
2017
IEEE Trans. Dependable Secur. Comput., 2017
J. Syst. Archit., 2017
Proceedings of the Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017
Proceedings of the 9th Workshop on Programming Languages and Operating Systems, 2017
Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017
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
Proceedings of the 3rd Workshop on CrossCloud Infrastructures & Platforms, 2016
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
J. Syst. Archit., 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
Proceedings of the Architecture of Computing Systems - ARCS 2015, 2015
2014
J. Integr. Des. Process. Sci., 2014
Proceedings of the Computer Safety, Reliability, and Security, 2014
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
Proceedings of the 19th IEEE European Test Symposium, 2014
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
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
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
LNCS Trans. Aspect Oriented Softw. Dev., 2012
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
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
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
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
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
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011
Proceedings of the 2011 International Conference on High Performance Computing & Simulation, 2011
Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011
Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011
Upcall dispatcher aspects: combining modularity with efficiency in the CiAO IP stack.
Proceedings of the 1st workshop on Modularity in systems software, 2011
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
Proceedings of the LWA 2010, 2010
Proceedings of the Analysis of Social Media and Ubiquitous Data, 2010
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
Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010
Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications, 2010
2009
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
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009
Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009
Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009
Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009
2008
Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems, 2008
Proceedings of the EDBT'08 Workshop on Software Engineering for Tailor-made Data Management , 2008
Proceedings of the Software Engineering for Tailor-made Data Management, 06.07., 2008
Proceedings of the Software Engineering for Tailor-made Data Management, 06.07., 2008
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
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
Proceedings of the Software Product Lines, 11th International Conference, 2007
Proceedings of the 4th workshop on Programming languages and operating systems, 2007
Proceedings of the Software Composition - 6th International Symposium, 2007
Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007
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
LNCS Trans. Aspect Oriented Softw. Dev., 2006
Proceedings of the Software Product Lines, 10th International Conference, 2006
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006
Proceedings of the 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), 2006
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
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2005
Proceedings of the Software Composition - 4th International Workshop, 2005
Proceedings of the NODe 2005, 2005
Proceedings of the Construction and Analysis of Safe, 2005
2004
Proceedings of the 11st ACM SIGOPS European Workshop, 2004
Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004
Proceedings of the 3rd Workshop on Adaptive and Reflective Middleware, 2004
Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004
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
Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29, 2003
2002
Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002
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
Proceedings of the Ausgezeichnete Informatikdissertationen 2002, 2002
Proceedings of the Object-Oriented Technology, 2002
2001
Proceedings of the Technologies for E-Services, Second International Workshop, 2001
2000
Proceedings of the TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 2000
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
Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999
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