Spinczyk, Olaf

Profile

Full Name
Spinczyk, Olaf
 
Variants
Spinczyk, O
Spinczyk, Olaf
 
Main Affiliation
 
FIS NetID
 
ORCID
 
Country
Germany
 
Lädt ... 2 0 20 0 false
 
Lädt ... 3 0 20 0 false
 

Publications


1-20 von 25

ErscheinungsdatumTitelAutor(en)
12019LockDoc: Trace-based analysis of locking in the linux kernelLochmann, A.; Schirmeier, H.; Borghorst, H.; Spinczyk, O. 
22019Constrained software distribution for automotive systemsHöttger, R.; Igel, B.; Spinczyk, O. 
32019Interface injection with aspectC++ in embedded systemsGabor, U.T.; Von Egidy, C.-C.; Spinczyk, O. 
42019Operating systems for many-core systemsBorghorst, H.; Spinczyk, O. 
52019Spectrum-based fault localization in deployed embedded systems with driver interaction modelsGabor, U.T.; Dierl, S.; Spinczyk, O. 
62019CyPhOS – A component-based cache-aware multi-core operating systemBorghorst, H.; Spinczyk, O. 
72019Cache-line transactions: Building blocks for persistent kernel data structures enabled by AspecTC++Köppen, M.; Traue, J.; Borchert, C.; Nolte, J.; Spinczyk, O. 
82019High-Accuracy software fault injection in source code with clangGabor, U.T.; Siegert, D.F.; Spinczyk, O. 
92019Poster abstract: I2C considered wasteful: Saving energy with host-controlled pull-up resistorsFriesel, D.; Spinczyk, O. 
102020From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded ProcessesRommel, Florian; Dietrich, Christian; Friesel, Daniel; Köppen, Marcel; Borchert, Christoph; Müller, Michael; Spinczyk, Olaf ; Lohmann, Daniel
112020Transformation- and Pattern-based State Machine Mining from Embedded C Code.Grosche, Andreas; Igel, Burkhard; Spinczyk, Olaf 
122020From global to local quiescence: Wait-Free code patching of multi-threaded processesRommel, F.; Dietrich, C.; Friesel, D.; Köppen, M.; Borchert, C.; Müller, M.; Spinczyk, O. ; Lohmann, D.
132020He.ro db: A concept for parallel data processing on heterogeneous hardwareMüller, M.; Leich, T.; Pionteck, T.; Saake, G.; Teubner, J.; Spinczyk, O. 
142020mxkernel: A Novel System Software Stack for Data Processing on Modern HardwareMühlig, Jan; Müller, Michael; Spinczyk, Olaf ; Teubner, Jens
152020Transformation- And pattern-based state machine mining from embedded C codeGrosche, A.; Igel, B.; Spinczyk, O. 
162021Dependability Aspects in Configurable Embedded Operating SystemsSchirmeier, Horst; Borchert, Christoph; Hoffmann, Martin; Dietrich, Christian; Martens, Arthur; Kapitza, Rüdiger; Lohmann, Daniel; Spinczyk, Olaf 
172021Data Serialization Formats for the Internet of ThingsFriesel, D.; Spinczyk, O. 
182021Automatic energy model generation with MSP430 EnergyTraceFriesel, D.; Kaiser, L.; Spinczyk, O. 
192021Decoupling Application Logic from Persistent Memory Frameworks with AspectC++Köppen, M.; Friesel, D.; Borchert, C.; Spinczyk, O. 
202022kconfig-webconf: Retrofitting Performance Models onto Kconfig-Based Software Product LinesFriesel, D.; Elmenhorst, K.; Kaiser, L.; Müller, M.; Spinczyk, O.