Sprungmarken

Service navigation

Fakultät für Informatik Logo-Text ESS

Hauptnavigation


You are here:

Bereichsnavigation

Hauptinhalt


to appear


2022


2021

A. Lochmann. Aufzeichnungsbasierte Analyse von Sperren in Betriebssystemen. Dissertation, Technische Universität Dortmund, Dec. 2021. [ bib | DOI: 10.17877/DE290R-22500  | .pdf ]
A. Lochmann and H. Schirmeier. Beastie in for checkup: Analyzing FreeBSD with LockDoc. In Tagungsband des FGBS-Herbsttreffens 2021, Bonn, Germany, Sept. 2021. Gesellschaft für Informatik e.V. [ bib | DOI: 10.18420/fgbs2021h-04 ]

2020

A. Lochmann, R. Thunig, and H. Schirmeier. Improving Linux-kernel tests for LockDoc with feedback-driven fuzzing. In Tagungsband des FGBS-Herbsttreffens 2020, Bonn, Germany, Sept. 2020. Gesellschaft für Informatik e.V. [ bib | DOI: 10.18420/fgbs2020h-01 ]
H. Schirmeier. Part I: Cross-layer from operating system to application. In N. Dutt and J. Henkel, editors, Dependable Embedded Systems, pages 29–31. Springer, Heidelberg, BW, Germany, 2020. [ bib ]
H. Schirmeier, C. Borchert, M. Hoffmann, C. Dietrich, A. Martens, R. Kapitza, D. Lohmann, and O. Spinczyk. Dependability aspects in configurable embedded operating systems. In N. Dutt and J. Henkel, editors, Dependable Embedded Systems, chapter 4, pages 85–116. Springer, Heidelberg, BW, Germany, 2020. [ bib | DOI: 10.1007/978-3-030-52017-5_4 ]

2019

H. Borghorst, M. Müller, and O. Spinczyk. More or less? a discussion about the abstraction level of future operating systems. In Proceedings of the 1st International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems (NGOSCPS 2019), 2019. [ bib | .pdf ]
H. Borghorst and O. Spinczyk. CyPhOS – A component-based cache-aware multi-core operating system. In Proceedings of the 32th International Conference on Architecture of Computing Systems (ARCS '19), 2019. [ bib | DOI: 10.1007/978-3-030-18656-2_13 ]
M. Buschhoff. Energy-aware design of hardware and software for ultra-low-power systems. Dissertation, Technische Universität Dortmund, Sept. 2019. [ bib | DOI: 10.17877/DE290R-20241 | .pdf ]
U. T. Gabor, S. Dierl, and O. Spinczyk. Spectrum-based fault localization in deployed embedded systems with driver interaction models. In A. Romanovsky, E. Troubitsyna, and F. Bitsch, editors, Proceedings of the 38rd International Conference on Computer Safety, Reliability and Security (SAFECOMP '19), pages 97–112, Cham, 2019. Springer International Publishing. [ bib | DOI: 10.1007/978-3-030-26601-1_7 ]
U. T. Gabor, D. Siegert, and O. Spinczyk. High-accuracy software fault injection in source code with Clang. In Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '19), pages 75–84, Pasadena, CA, USA, Dec. 2019. IEEE Press. [ bib | DOI: 10.1109/PRDC47002.2019.00029 ]
U. T. Gabor, D. Siegert, and O. Spinczyk. Software-fault injection in source code with Clang. In Proceedings of the 32th International Conference on Architecture of Computing Systems (ARCS '19), Workshop Proceedings, pages 1–6, 2019. [ bib ]
U. T. Gabor, C.-C. von Egidy, and O. Spinczyk. Interface injection with AspectC++ in embedded systems. In Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering (HASE '19), pages 131–138. IEEE Press, Jan. 2019. [ bib | DOI: 10.1109/HASE.2019.00028 ]
Keywords: Embedded systems;C++ languages;Libraries;Testing;Standards;Java;Reliability;fault tolerance;software reliability;embedded software;software testing
B. Jablkowski. Design of Fault-Tolerant Virtual Execution Environments for Cyber-Physical Systems. Dissertation, Technische Universität Dortmund, Aug. 2019. [ bib | DOI: 10.17877/DE290R-20133 | .pdf ]
A. Lochmann, H. Schirmeier, H. Borghorst, and O. Spinczyk. LockDoc: Trace-based analysis of locking in the Linux kernel. In Proceedings of the 14th ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys '19), New York, NY, USA, Mar. 2019. ACM Press. [ bib | DOI: 10.1145/3302424.3303948 | .pdf ]
EDCC 2019 Distinguished Paper:
H. Schirmeier and M. Breddemann. Quantitative cross-layer evaluation of transient-fault injection techniques for algorithm comparison. In Proceedings of the 15th European Dependable Computing Conference (EDCC '19), pages 15–22, Piscataway, NJ, USA, Sept. 2019. IEEE Press. [ bib | DOI: 10.1109/EDCC.2019.00016 | .pdf ]
Keywords: failure analysis;fault diagnosis;flip-flops;integrated circuit reliability;microcontrollers;transient analysis;quantitative cross-layer evaluation;transient-fault injection techniques;soft-error problem;standard methodology;gate-level machine models;fast simulators;abstracted system models;ISA-level register injection;ISA-level FI techniques;specific sorting algorithm;relative inter-benchmark measurements;cross-layer alignment;algorithm-resilience rankings;fault resilience;flip-flop;ARM Cortex-M0 processor;gate-level baseline-injection techniques;machine-model levels;extrapolated absolute failure-count metric;ISA-level injection techniques;Logic gates;Benchmark testing;Registers;Sorting;Measurement;Runtime;Field programmable gate arrays;fault injection;algorithm comparison;soft errors;silent data corruption;extrapolated absolute failure count metric;EAFC
L. Schönberger, G. von der Brüggen, H. Schirmeier, and J.-J. Chen. Design optimization for hardware-based message filters in broadcast buses. In Proceedings of the 2019 Conference on Design, Automation & Test in Europe (DATE '19), Piscataway, NJ, USA, Mar. 2019. IEEE Press. [ bib | DOI: 10.23919/DATE.2019.8714793 ]

2018

M. Buschhoff, R. Falkenberg, and O. Spinczyk. Energy-aware device drivers for embedded operating systems. SIGBED Rev., 2018. [ bib ]
M. Buschhoff, D. Friesel, and O. Spinczyk. Energy models in the loop. Procedia Computer Science, 130:1063 – 1068, 2018. The 9th International Conference on Ambient Systems, Networks and Technologies (ANT 2018) / The 8th International Conference on Sustainable Energy Information Technology (SEIT-2018) / Affiliated Workshops. [ bib | DOI: 10.1016/j.procs.2018.04.154 | http ]
D. Friesel, M. Buschhoff, and O. Spinczyk. Parameter-aware energy models for embedded-system peripherals. In 2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES), pages 1–4, June 2018. [ bib | DOI: 10.1109/SIES.2018.8442096 | .pdf | http ]
Keywords: Hardware;Bit rate;Payloads;Adaptation models;Automata;Data models;Predictive models
A. Grosche, B. Igel, and O. Spinczyk. Exploiting modular language extensions in legacy C code: An automotive case study. In I. Schaefer, D. Karagiannis, A. Vogelsang, D. Méndez, and C. Seidl, editors, Modellierung 2018, pages 103–118, Bonn, 2018. Gesellschaft für Informatik e.V. [ bib | http ]

2017

C. Borchert. Aspect-Oriented Technology for Dependable Operating Systems. Dissertation, Technische Universität Dortmund, May 2017. [ bib | DOI: 10.17877/DE290R-17995 | .pdf ]
C. Borchert, H. Schirmeier, and O. Spinczyk. Generic soft-error detection and correction for concurrent data structures. IEEE Transactions on Dependable and Secure Computing, 14(1):22–36, Jan. 2017. [ bib | DOI: 10.1109/TDSC.2015.2427832 | http ]
Keywords: Benchmark testing;Data structures;Instruction sets;Kernel;Programming;Redundancy;Runtime;Concurrency;Fault tolerance;Object-Oriented Programming;Operating Systems
R. Falkenberg, M. Masoudinejad, M. Buschhoff, A. K. Ramachandran Venkatapathy, D. Friesel, M. ten Hompel, O. Spinczyk, and C. Wietfeld. PhyNetLab: An IoT-based warehouse testbed. In 2017 Federated Conference on Computer Science and Information Systems (FedCSIS), Sept. 2017. [ bib ]
D. Friesel, M. Buschhoff, and O. Spinczyk. Annotations in operating systems with custom AspectC++ attributes. In Proceedings of the 9th Workshop on Programming Languages and Operating Systems (PLOS '17), PLOS'17, pages 36–42, New York, NY, USA, 2017. ACM. [ bib | DOI: 10.1145/3144555.3144561 | .pdf ]
R. Höttger, B. Igel, and O. Spinczyk. On reducing busy waiting in AUTOSAR via task-release-delta-based runnable reordering. In Proceedings of the 2017 Conference on Design, Automation & Test in Europe (DATE '17), Piscataway, NJ, USA, Mar. 2017. IEEE Press. [ bib ]
B. Jablkowski, U. T. Gabor, and O. Spinczyk. Evolutionary planning of virtualized cyber-physical compute and control clusters. Journal of Systems Architecture, 73:17–27, Feb. 2017. [ bib | DOI: 10.1016/j.sysarc.2016.11.001 ]
B. Jablkowski, M. Kuech, N. Dorsch, A. Kubis, O. Spinczyk, C. Wietfeld, and C. Rehtanz. vGridLab: A testbed for virtualized smart grids. Journal of Computer Science-Research and Development, Aug 2017. Extended abstract. [ bib ]
S. Kerrison, M. Buschhoff, J. Nunez-Yanez, and K. Eder. Measuring energy. In G. Fagas, L. Gammaitoni, J. P. Gallagher, and D. J. Paul, editors, ICT - Energy Concepts for Energy Efficiency and Sustainability, chapter 03. InTech, Rijeka, 2017. [ bib | DOI: 10.5772/65989 | http ]
A. Kohne. SLA-basierte VM-Scheduling-Verfahren für Cloud-Föderationen. Dissertation, Technische Universität Dortmund, Oct. 2017. [ bib | DOI: 10.1007/978-3-658-20973-5 ]
A. Kohne, M. Krüger, M. Pfahlberg, L. Nagel, and O. Spinczyk. Financial evaluation of SLA-based VM scheduling strategies for cloud federations. In Proceedings of the 4th Workshop on CrossCloud Infrastructures & Platforms, CrossCloud '17, pages 1:1–1:7, New York, NY, USA, 2017. ACM. [ bib | DOI: 10.1145/3069383.3069384 | http ]
Keywords: FederatedCloudSim, SLA, auction, cloud accounting, cloud federation, scheduling, simulation, virtual machine trading
A. Lochmann, F. Bruckner, and O. Spinczyk. Reproducible load tests for Android systems with trace-based benchmarks. In Proceedings of the 8th ACM/SPEC International Conference on Performance Engineering Companion, ICPE '17 Companion, pages 73–76, New York, NY, USA, 2017. ACM Press. [ bib | DOI: 10.1145/3053600.3053615 ]
Keywords: Android, application tracing, benchmark, benchmark generator, load testing
M. Meier. Co-Konfiguration von Hardware- und Systemsoftware-Produktlinien. Dissertation, Technische Universität Dortmund, Mar. 2017. [ bib | DOI: 10.17877/DE290R-18024 | .pdf ]
T. Santini, C. Borchert, C. Dietrich, H. Schirmeier, M. Hoffmann, O. Spinczyk, D. Lohmann, F. R. Wagner, and P. Rech. Effectiveness of software-based hardening for radiation-induced soft errors in real-time operating systems. In Proceedings of the 30th International Conference on Architecture of Computing Systems (ARCS '17), pages 3–15, Cham, Switzerland, Apr. 2017. Springer. [ bib | DOI: 10.1007/978-3-319-54999-6_1 ]

2016

B. Bönninghoff and H. Schirmeier. Estimating maximum error impact in dynamic data-driven applications for resource-aware adaption of software-based fault-tolerance. In Proceedings of the 12th European Dependable Computing Conference (EDCC '16), Sept. 2016. Fast abstract. [ bib | http ]
C. Borchert and O. Spinczyk. Hardening an L4 microkernel against soft errors by aspect-oriented programming and whole-program analysis. ACM Operating Systems Review, 49(2):37–43, Jan. 2016. [ bib | DOI: 10.1145/2883591.2883600 ]
H. Borghorst, K. Bieling, and O. Spinczyk. Towards versatile models for contemporary hardware platforms. In Proceedings of the 12th Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '16), pages 7–9. RheinMain University of Applied Sciences, July 2016. [ bib | .pdf ]
M. Hoffmann, P. Ulbrich, C. Dietrich, H. Schirmeier, D. Lohmann, and W. Schröder-Preikschat. Experiences with software-based soft-error mitigation using AN codes. Software Quality Journal, 24(1):87–113, Mar. 2016. [ bib | DOI: 10.1007/s11219-014-9260-4 ]
Keywords: Fault injection; Arithmetic code; Dependability
A. Kohne, D. Pasternak, L. Nagel, and O. Spinczyk. Evaluation of sla-based decision strategies for vm scheduling in cloud data centers. In Proceedings of the 3rd Workshop on CrossCloud Infrastructures & Platforms, CrossCloud '16, pages 6:1–6:5, New York, NY, USA, 2016. ACM. [ bib | DOI: 10.1145/2904111.2904113 | http ]
Keywords: cloud computing, scheduling, service level agreement, simulation
M. Lenz and H. Schirmeier. DETOx: Towards optimal software-based soft-error detector configurations. In Proceedings of the 12th European Dependable Computing Conference (EDCC '16), Sept. 2016. Fast abstract. [ bib | http ]
A. Martens, C. Borchert, M. Nieke, O. Spinczyk, and R. Kapitza. CrossCheck: A holistic approach for tolerating crash-faults and arbitrary failures. In Proceedings of the 12th European Dependable Computing Conference (EDCC '16), pages 65–76, Piscataway, NJ, USA, Sept. 2016. IEEE Press. [ bib | DOI: 10.1109/EDCC.2016.29 | .pdf ]
T. Santini, C. Borchert, C. Dietrich, H. Schirmeier, M. Hoffmann, O. Spinczyk, D. Lohmann, F. R. Wagner, and P. Rech. Evaluating the radiation reliability of dependability-oriented real-time operating systems. In Proceedings of the 12th Workshop on Silicon Errors in Logic – System Effects (SELSE '16), Austin, TX, USA, Mar. 2016. [ bib | .pdf ]
H. Schirmeier. Efficient Fault-Injection-based Assessment of Software-Implemented Hardware Fault Tolerance. Dissertation, Technische Universität Dortmund, July 2016. [ bib | DOI: 10.17877/DE290R-17222 | .pdf ]

2015

C. Borchert and O. Spinczyk. Hardening an L4 microkernel against soft errors by aspect-oriented programming and whole-program analysis. In Proceedings of the 8th Workshop on Programming Languages and Operating Systems (PLOS '15), pages 1–7, New York, NY, USA, Oct. 2015. ACM Press. [ bib | DOI: 10.1145/2818302.2818304 | .pdf ]
H. Borghorst and O. Spinczyk. Increasing the predictability of modern COTS hardware through cache-aware OS-design. In Proceedings of the 11th Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '15), July 2015. [ bib | .pdf ]
B. Jablkowski and O. Spinczyk. CPS-Remus: Eine Hochverfügbarkeitslösung für virtualisierte cyber-physische Anwendungen. In W. A. Halang and O. Spinczyk, editors, Tagungsband zum Thema Betriebssysteme und Echtzeit (Echtzeit 2015). Springer, Nov. 2015. [ bib ]
B. Jablkowski and O. Spinczyk. CPS-Xen: A virtual execution environment for cyber-physical applications. In Proceedings of the 28th International Conference on Architecture of Computing Systems (ARCS '15), pages 108–119, Porto, Portugal, Mar. 2015. Springer. [ bib ]
A. Kubis, L. Robitzky, M. Küch, S.-C. Müller, B. Jablkowski, H. Georg, N. Dorsch, S. Krey, C. Langesberg, D. Surmann, D. Mayorga, C. Rehtanz, U. Häger, O. Spinczyk, C. Wietfeld, C. Weihs, U. Ligges, J. Myrzik, and J. Götze. Validation of ICT-based protection and control applications in electric power systems. In PowerTech Conference (POWERTECH), Eindhoven, Netherlands, June 2015. IEEE Press. [ bib ]
M. Meier, M. Breddemann, and O. Spinczyk. Interfacing the hardware API with a feature-based operating system family. Journal of Systems Architecture, 61(10):531–538, 2015. [ bib | DOI: 10.1016/j.sysarc.2015.07.010 ]
N. Piatkowski, J. Streicher, O. Spinczyk, and K. Morik. Open smartphone data for structured mobility and utilization analysis in ubiquitous systems. In M. Atzmueller, A. Chin, C. Scholz, and C. Trattner, editors, Mining, Modeling, and Recommending `Things' in Social Media, volume 8940 of Lecture Notes in Computer Science, pages 116–130. Springer International Publishing, 2015. [ bib | DOI: 10.1007/978-3-319-14723-9_7 ]
H. Schirmeier, C. Borchert, and O. Spinczyk. Avoiding pitfalls in fault-injection based comparison of program susceptibility to soft errors. In Proceedings of the 45th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN '15), pages 319–330, Piscataway, NJ, USA, June 2015. IEEE Press. [ bib | DOI: 10.1109/DSN.2015.44 | .pdf ]
H. Schirmeier, M. Hoffmann, C. Dietrich, M. Lenz, D. Lohmann, and O. Spinczyk. FAIL*: An open and versatile fault-injection framework for the assessment of software-implemented hardware fault tolerance. In Proceedings of the 11th European Dependable Computing Conference (EDCC '15), pages 245–255, Piscataway, NJ, USA, Sept. 2015. IEEE Press. [ bib | DOI: 10.1109/EDCC.2015.28 | .pdf ]
Keywords: Fault-Injection Tool, Hardware Fault Injection, Software-Implemented Hardware Fault Tolerance, Continuous Fault-Resilience Assessment, Fault-Resilience, Quantification, Post-Injection Analysis, Sensitive Spot Analysis, Error-Detection Measures
M. Shafique, P. Axer, C. Borchert, J. Chen, K. Chen, B. Döbel, R. Ernst, H. Härtig, A. Heinig, R. Kapitza, F. Kriebel, D. Lohmann, P. Marwedel, S. Rehman, F. Schmoll, and O. Spinczyk. Multi-layer software reliability for unreliable hardware. it - Information Technology, 57(3):170–180, June 2015. [ bib | DOI: 10.1515/itit-2014-1081 ]
J. Streicher, A. Lochmann, and O. Spinczyk. kCQL: Declarative stream-based acquisition and processing of diagnostic OS data. In Proceedings of the Conference on Timely Results in Operating Systems (TRIOS). ACM, 2015. [ bib ]

2014

N. Dorsch, B. Jablkowski, H. Georg, O. Spinczyk, and C. Wietfeld. Analysis of communication networks for smart substations using a virtualized execution platform. In Proceedings of the International Conference on Communications (ICC '14). IEEE Press, 2014. [ bib ]
M. Hoffmann, C. Borchert, C. Dietrich, H. Schirmeier, R. Kapitza, O. Spinczyk, and D. Lohmann. Effectiveness of fault detection mechanisms in static and dynamic operating system designs. In Proceedings of the 17th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '14), pages 230–237, Piscataway, NJ, USA, June 2014. IEEE Press. [ bib | DOI: 10.1109/ISORC.2014.26 | .pdf ]
M. Hoffmann, P. Ulbrich, C. Dietrich, H. Schirmeier, D. Lohmann, and W. Schröder-Preikschat. A practitioner's guide to software-based soft-error mitigation using AN-codes. In Proceedings of the 15th IEEE International Symposium on High Assurance Systems Engineering (HASE '14), pages 33–40, Miami, Florida, USA, Jan. 2014. IEEE Press. [ bib | DOI: 10.1109/HASE.2014.14 | .pdf ]
B. Jablkowski, M. Küch, O. Spinczyk, and C. Rehtanz. A hardware-in-the-loop co-simulation architecture for power system applications in virtual execution environments. In Proceedings of the Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES 2014), pages 1–6. IEEE Press, 2014. [ bib | DOI: 10.1109/MSCPES.2014.6842403 ]
A. Kohne and O. Spinczyk. Model for SLA-based VM scheduling in federated cloud environments. Journal of Integrated Design and Process Science, 18(1):39–52, 2014. [ bib | DOI: 10.3233/jid-2014-0002 ]
A. Kohne, M. Spohr, L. Nagel, and O. Spinczyk. FederatedCloudSim: a SLA-aware federated cloud simulation framework. In Proceedings of the 2nd International Workshop on CrossCloud Systems, CCB@Middleware 2014, Bordeaux, France, December 8, 2014, pages 3:1–3:5, 2014. [ bib | DOI: 10.1145/2676662.2676674 ]
A. Martens, C. Borchert, T. O. Geißler, D. Lohmann, O. Spinczyk, and R. Kapitza. Crosscheck: Hardening replicated multithreaded services. In Proceedings of the 4th International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology (DCDV '14), pages 648–653, Piscataway, NJ, USA, June 2014. IEEE Press. [ bib | DOI: 10.1109/DSN.2014.98 ]
M. Meier, M. Breddemann, and O. Spinczyk. Hardware APIs: A software-centric approach for automated derivation of MPSoC hardware structures based on static code analysis. In Proceedings of the 27th International Conference on Architecture of Computing Systems (ARCS '14), pages 111–122, Luebeck, Germany, Feb. 2014. Springer. [ bib | DOI: 10.1007/978-3-319-04891-8_10 ]
H. Schirmeier, C. Borchert, and O. Spinczyk. Rapid fault-space exploration by evolutionary pruning. In Proceedings of the 33rd International Conference on Computer Safety, Reliability and Security (SAFECOMP '14), pages 17–32, Cham, Switzerland, Sept. 2014. Springer. [ bib | DOI: 10.1007/978-3-319-10506-2_2 | .pdf ]
H. Schirmeier, L. Rademacher, and O. Spinczyk. Smart-hopping: Highly efficient ISA-level fault injection on real hardware. In Proceedings of the 19th IEEE European Test Symposium (ETS '14), pages 69–74. IEEE Press, May 2014. [ bib | DOI: 10.1109/ETS.2014.6847803 | .pdf ]

2013

C. Borchert, H. Schirmeier, and O. Spinczyk. Generative software-based memory error detection and correction for operating system data structures. In Proceedings of the 43rd IEEE/IFIP International Conference on Dependable Systems and Networks (DSN '13), Piscataway, NJ, USA, June 2013. IEEE Press. [ bib | DOI: 10.1109/DSN.2013.6575308 | .pdf ]
C. Borchert, H. Schirmeier, and O. Spinczyk. Return-address protection in C/C++ code by dependability aspects. In Proceedings of the 2nd GI Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13), Lecture Notes in Informatics, pages 2519–2533, Bonn, Germany, Sept. 2013. German Society of Informatics. [ bib | .pdf | .pdf ]
M. Buschhoff, C. Günter, and O. Spinczyk. MIMOSA, a highly sensitive and accurate power measurement technique for low-power systems. In Real-World Wireless Sensor Networks, Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2013. [ bib ]
M. Buschhoff, J. Streicher, B. Dusza, C. Wietfeld, and O. Spinczyk. MobiSIM: A simulation library for resource prediction of smartphones and wireless sensor networks. In Proceedings of the 46th Annual Simulation Symposium, ANSS '13, Society for Computer Simulation International, 2013. Society for Computer Simulation International. [ bib ]
B. Döbel, H. Schirmeier, and M. Engel. Investigating the limitations of PVF for realistic program vulnerability assessment. In Proceedings of the 5th HiPEAC Workshop on Design for Reliability (DFR '13), Berlin, Germany, Jan. 2013. [ bib | .pdf ]
A. Kohne. Modell für ein SLA-basiertes VM-Scheduling in föderierten Cloud-Umgebungen. In Informatik 2013, 43. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Informatik angepasst an Mensch, Organisation und Umwelt, 16.-20. September 2013, Koblenz, pages 3047–3061, 2013. [ bib ]
H. Schirmeier, I. Korb, O. Spinczyk, and M. Engel. Efficient online memory error assessment and circumvention for Linux with RAMpage. International Journal of Critical Computer-Based Systems, 4(3):227–247, 2013. Special Issue on PRDC 2011 Dependable Architecture and Analysis. [ bib | DOI: 10.1504/IJCCBS.2013.058397 | .pdf ]
J. Streicher, O. Nassour, and O. Spinczyk. System support for privacy-preserving and energy-efficient data gathering in the global smartphone network – opportunities and challenges. In Proceedings of the 3rd International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS '13), pages 80–85. SciTePress, Feb. 2013. [ bib | DOI: 10.5220/0004339200800085 ]
J. Streicher, N. Piatkowski, K. Morik, and O. Spinczyk. Open smartphone data for mobility and utilization analysis in ubiquitous environments. In M. Atzmüller and C. Scholz, editors, Proceedings of the 4th International Workshop on Mining Ubiquitous and Social Environments (MUSE), 2013. [ bib ]

2012

C. Borchert, D. Lohmann, and O. Spinczyk. CiAO/IP: A highly configurable aspect-oriented IP stack. In Proceedings of the 10th International Conference on Mobile Systems, Applications, and Services (MobiSys '12), pages 435–448, New York, NY, USA, June 2012. ACM Press. [ bib | DOI: 10.1145/2307636.2307676 | .pdf ]
C. Borchert, H. Schirmeier, and O. Spinczyk. Protecting the dynamic dispatch in C++ by dependability aspects. In Proceedings of the 1st GI Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '12), Lecture Notes in Informatics, pages 521–535, Bonn, Germany, Sept. 2012. German Society of Informatics. [ bib | .pdf | .pdf ]
M. Buschhoff, C. Günter, and O. Spinczyk. A unified approach for online and offline estimation of sensor platform energy consumption. In Proceedings of the 8th International Wireless Communications and Mobile Computing Conference (IWCMC '12), pages 1154–1158, Aug. 2012. [ bib | DOI: 10.1109/IWCMC.2012.6314369 ]
E. Eide, G. Muller, W. Schröder-Preikschat, and O. Spinczyk. Summary of PLOS 2011: the sixth workshop on programming languages and operating systems. ACM SIGOPS Operating Systems Review, 5:1–4, Jan. 2012. [ bib | DOI: 10.1145/2094091.2094093 ]
B. Jablkowski and O. Spinczyk. Continuous performance analysis of fault-tolerant virtual machines. In Proceedings of the 1st GI Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '12), Lecture Notes in Informatics, pages 494–505. German Society of Informatics, Sept. 2012. [ bib ]
D. Lohmann, O. Spinczyk, W. Hofer, and W. Schröder-Preikschat. The aspect-aware design and implementation of the CiAO operating-system family. In G. T. Leavens, S. Chiba, M. Haupt, K. Ostermann, and E. Wohlstadter, editors, Transactions on AOSD IX, number 7271 in Lecture Notes in Computer Science, pages 168–215. Springer, 2012. [ bib ]
M. Meier, S. Hanenberg, and O. Spinczyk. AspectVHDL Stage 1: The prototype of an aspect-oriented hardware description language. In Proceedings of the 2nd AOSD Workshop on Modularity in Systems Software (AOSD-MISS '12), pages 3–8, Potsdam, Germany, Mar. 2012. ACM Press. [ bib | DOI: 10.1145/2162024.2162028 ]
H. Schirmeier, M. Hoffmann, R. Kapitza, D. Lohmann, and O. Spinczyk. FAIL*: Towards a versatile fault-injection experiment framework. In G. Mühl, J. Richling, and A. Herkersdorf, editors, Proceedings of the 25th International Conference on Architecture of Computing Systems (ARCS '12), Workshop Proceedings, volume 200 of Lecture Notes in Informatics, pages 201–210. German Society of Informatics, Mar. 2012. [ bib | .pdf ]

2011

P. Fricke, F. Jungermann, K. Morik, N. Piatkowski, O. Spinczyk, M. Stolpe, and J. Streicher. Towards Adjusting Mobile Devices To User's Behaviour, volume 6904 of Lecture Notes in Computer Science, pages 99–118. Springer-Verlag, Berlin, Heidelberg, 2011. [ bib | DOI: 10.1007/978-3-642-23599-3_6 ]
J. Henkel, L. Bauer, J. Becker, O. Bringmann, U. Brinkschulte, S. Chakraborty, M. Engel, R. Ernst, H. Härtig, L. Hedrich, A. Herkersdorf, R. Kapitza, D. Lohmann, P. Marwedel, M. Platzner, W. Rosenstiel, U. Schlichtmann, O. Spinczyk, M. Tahoori, J. Teich, N. Wehn, and H.-J. Wunderlich. Design and architectures for dependable embedded systems. In R. P. Dick and J. Madsen, editors, Proceedings of the 9th IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '11), pages 69–78. ACM Press, Oct. 2011. [ bib | DOI: 10.1145/2039370.2039384 ]
D. Lohmann, W. Hofer, W. Schröder-Preikschat, and O. Spinczyk. Aspect-aware operating system development. In Proceedings of the 10th International Conference on Aspect-Oriented Software Development (AOSD '11), pages 69–80, New York, NY, USA, Mar. 2011. ACM Press. [ bib | DOI: 10.1145/1960275.1960285 ]
M. Meier, D. Austin, H. Schirmeier, and O. Spinczyk. TMPL: A hardware transactional memory product line. In Proceedings of the Workshop on Multiprocessor Systems on (Programmable) Chips (MPSoC 2011), pages 539–546, Istanbul, Turkey, July 2011. IEEE Press. [ bib | DOI: 10.1109/HPCSim.2011.5999872 ]
M. Meier and O. Spinczyk. LavA: Model-driven development of configurable MPSoC hardware structures for robots. In Proceedings of the Workshop on Software Language Engineering for Cyber-physical Systems (WS4C 2011), Lecture Notes in Informatics, Berlin, Germany, Oct. 2011. German Society of Informatics. [ bib ]
H. Schirmeier, M. Hoffmann, R. Kapitza, D. Lohmann, and O. Spinczyk. Revisiting fault-injection experiment-platform architectures. In Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '11), pages 284–285, Pasadena, CA, USA, Dec. 2011. IEEE Press. Fast abstract. [ bib | DOI: 10.1109/PRDC.2011.46 | .pdf ]
H. Schirmeier, R. Kapitza, D. Lohmann, and O. Spinczyk. DanceOS: Towards dependability aspects in configurable embedded operating systems. In A. Orailoglu, editor, Proceedings of the 3rd HiPEAC Workshop on Design for Reliability (DFR '11), pages 21–26, Heraklion, Greece, Jan. 2011. [ bib | .pdf ]
Keywords: Dependability, AOP, Operating System, DanceOS
H. Schirmeier, J. Neuhalfen, I. Korb, O. Spinczyk, and M. Engel. RAMpage: Graceful degradation management for memory errors in commodity Linux servers. In Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '11), pages 89–98, Pasadena, CA, USA, Dec. 2011. IEEE Press. [ bib | DOI: 10.1109/PRDC.2011.20 | .pdf ]
J. Streicher, C. Borchert, and O. Spinczyk. Upcall dispatcher aspects: Combining modularity with efficiency in the CiAO IP stack. In Proceedings of the 1st AOSD Workshop on Modularity in Systems Software (AOSD-MISS '11), pages 23–27, New York, NY, USA, Mar. 2011. ACM Press. [ bib | DOI: 10.1145/1960518.1960524 | .pdf ]
M. Urban, D. Lohmann, and O. Spinczyk. PUMA: An aspect-oriented code analysis and manipulation framework for C and C++. In C. Schwanninger and W. Joosen, editors, Transactions on AOSD VIII, number 6580 in Lecture Notes in Computer Science, pages 141–162. Springer, 2011. [ bib | DOI: 10.1007/978-3-642-22031-9_5 ]
Keywords: AOSD, Industrial Applications, OOP, AspectC++, Puma, Parser Framework, Compiler Construction, CiAO

2010

M. Engel, H. P. Reiser, O. Spinczyk, R. Kapitza, and J. Nolte. Proceedings of the workshop on isolation and integration for dependable systems (IIDS 2010). Paris, France, Apr. 2010. ACM Press. [ bib ]
P. Fricke, F. Jungermann, K. Morik, N. Piatkowski, O. Spinczyk, and M. Stolpe. Towards adjusting mobile devices to user's behaviour. In Lernen, Wissen & Adaptivität (LWA 2010) – Workshop Proceedings, pages 51–58, 2010. [ bib ]
P. Fricke, F. Jungermann, K. Morik, N. Piatkowski, O. Spinczyk, and M. Stolpe. Towards adjusting mobile devices to user's behaviour. In Proceedings of the International Workshop on Mining Ubiquitous and Social Environments (MUSE 2010), pages 7–22, Barcelona, Spain, 2010. [ bib ]
A. Heinig, M. Engel, F. Schmoll, and P. Marwedel. Improving transient memory fault resilience of an H.264 decoder. In Proceedings of the Workshop on Embedded Systems for Real-time Multimedia (ESTIMedia 2010), Scottsdale, AZ, USA, Oct. 2010. IEEE Press. [ bib | .pdf ]
A. Heinig, M. Engel, F. Schmoll, and P. Marwedel. Using application knowledge to improve embedded systems dependability. In Proceedings of the Workshop on Hot Topics in System Dependability (HotDep 2010), Vancouver, Canada, Oct. 2010. USENIX Association. [ bib | .pdf ]
M. Meier, M. Engel, M. Steinkamp, and O. Spinczyk. LavA: An open platform for rapid prototyping of MPSoCs. In Proceedings of the 20th International Conference on Field Programmable Logic and Applications (FPL '10), pages 452–457, Milano, Italy, 2010. IEEE Press. [ bib | DOI: 10.1109/FPL.2010.92 ]
K. Morik, F. Jungermann, N. Piatkowski, and M. Engel. Enhancing ubiquitous systems through system call mining. In Proceedings of the ICDM Workshop on Large-scale Analytics for Complex Instrumented Systems (LACIS 2010), pages 1338–1345, Sydney, Australia, Dec. 2010. IEEE Press. [ bib | DOI: 10.1109/ICDMW.2010.133 ]
H. Schirmeier, M. Bahne, J. Streicher, and O. Spinczyk. Towards eCos autoconfiguration by static application analysis. In Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications (ACoTA '10), CEUR Workshop Proceedings, pages 35–44, Antwerp, Belgium, Sept. 2010. CEUR-WS.org. [ bib ]
J. Sincero, W. Schröder-Preikschat, and O. Spinczyk. Approaching non-functional properties of software product lines: Learning from products. In Proceedings of the 17th Asia-Pacific Software Engineering Conference (APSEC '10), pages 147–155, Sydney, Australia, 2010. [ bib ]
R. Tartler, D. Lohmann, F. Scheler, and O. Spinczyk. AspectC++: An integrated approach for static and dynamic adaptation of system software. Knowledge-Based Systems, 23(7):704–720, Oct. 2010. Special issue on Intelligent Formal Techniques for Software Design: IFTSD. [ bib | DOI: 10.1016/j.knosys.2010.03.002 ]

2009

E. Eide, G. Muller, and O. Spinczyk. PLOS 2009: Fifth workshop on programming languages and operating systems. ACM SIGOPS Operating Systems Review, 43(4):31–34, 2009. [ bib | DOI: 10.1145/1713254.1713262 ]
M. Engel and J. Nolte, editors. Proceedings of the 2nd Workshop on Isolation and Integration in Embedded Systems (IIES 2009), Nuremberg, Germany, Apr. 2009. ACM Press. [ bib ]
M. Engel and O. Spinczyk. A Radical Approach to Network-on-Chip Operating Systems. In Proceedings of the 42nd Hawai'i International Conference on System Sciences (HICSS '09), Waikoloa, Big Island, Hawaii, Jan. 2009. IEEE Press. [ bib ]
D. Lohmann, W. Hofer, W. Schröder-Preikschat, J. Streicher, and O. Spinczyk. CiAO: An aspect-oriented operating-system family for resource-constrained embedded systems. In Proceedings of the 2009 USENIX Annual Technical Conference (ATC '09), pages 215–228, Berkeley, CA, USA, June 2009. USENIX Association. [ bib ]
H. Schirmeier and O. Spinczyk. Challenges in software product line composition. In Proceedings of the 42nd Hawai'i International Conference on System Sciences (HICSS '09), pages 1–7, Waikoloa, Big Island, Hawaii, Jan. 2009. IEEE Press. [ bib | DOI: 10.1109/HICSS.2009.106 ]
R. Tartler, D. Lohmann, W. Schröder-Preikschat, and O. Spinczyk. Dynamic AspectC++: Generic advice at any time. In H. Fujita and V. Marík, editors, Proceedings of the 2009 Conference on New Trends in Software Methodologies, Tools and Techniques (SoMeT '09), number 199 in Frontiers in Artificial Intelligence and Applications, pages 165–186, Amsterdam, The Netherlands, Sept. 2009. IOS Press. [ bib | DOI: 10.3233/978-1-60750-049-0-165 ]

2008

S. Apel, D. Batory, G. Graefe, G. Saake, and O. Spinczyk, editors. Software Engineering for Tailor-made Data Management, number 08281 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2008. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Germany. [ bib | http ]
S. Apel, M. Rosenmüller, G. Saake, and O. Spinczyk, editors. EDBT'08 Workshop on Software Engineering for Tailor-made Data Management (SETMDM). University of Magdeburg, Nantes, France, Mar. 2008. [ bib ]
M. Engel and O. Spinczyk. Aspects in hardware – what do they look like? In Proceedings of the 7th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (AOSD-ACP4IS '08), Brussels, Belgium, Apr. 2008. ACM Press. [ bib ]
M. Engel and O. Spinczyk, editors. Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems (IIES 2008), Glasgow, UK, Apr. 2008. ACM Press. [ bib ]
M. Engel and O. Spinczyk. System-on-chip integration of embedded automotive controllers. In Proceedings of the First Workshop on Isolation and Integration in Embedded Systems, Glasgow, UK, Apr. 2008. ACM Press. [ bib ]
M. Rosenmüller, N. Siegmund, H. Schirmeier, J. Sincero, S. Apel, T. Leich, O. Spinczyk, and G. Saake. FAME-DBMS: Tailor-made data management solutions for embedded systems. In Workshop on Software Engineering for Tailor-made Data Management, pages 1–6. School of Computer Science, University of Magdeburg, Mar. 2008. [ bib | .pdf ]

2007

C. Gibbs, M. Südholt, and O. Spinczyk, editors. Proceedings of the 6th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (AOSD-ACP4IS '07), Vancouver, Canada, Mar. 2007. ACM Press. [ bib ]
W. Gilani, F. Scheler, D. Lohmann, O. Spinczyk, and W. Schröder-Preikschat. Unification of static and dynamic aop for evolution in embedded software systems. In M. Lumpe and W. Vanderperren, editors, Proceedings of the Sixth International Symposium on Software Composition, volume 4829, pages 216–234, Braga, Portugal, 2007. Lecture Notes in Computer Science. [ bib | .pdf ]
W. Gilani, J. Sincero, and O. Spinczyk. Aspectizing a web server for adaptation. In Proceedings of the Twelfth IEEE Symposium on Computers and Communications (ISCC'07), pages 349–356, Aveiro, Portugal, 2007. IEEE Press. [ bib | .pdf ]
W. Gilani, O. Spinczyk, and W. Schröder-Preikschat. Dynamic weaving for runtime adaptation in middleware. In Proceedings of the First Workshop on Middleware-Application Interaction (MAI'2007), pages 15–20, Lisbon, Portugal, 2007. ACM Press. [ bib ]
M. Jarke, T. Seidl, C. Quix, D. Kensche, S. Conrad, E. Rahm, R. Klamma, H. Kosch, M. Granitzer, S. Apel, M. Rosenmüller, G. Saake, and O. Spinczyk, editors. Datenbanksysteme in Business, Technologie und Web (BTW 2007), Workshop Proceedings. Verlagshaus Mainz, Aachen, Mar. 2007. [ bib ]
D. Lohmann, J. Streicher, O. Spinczyk, and W. Schröder-Preikschat. Interrupt synchronization in the CiAO operating system. In Proceedings of the 6th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (AOSD-ACP4IS '07), New York, NY, USA, 2007. ACM Press. [ bib | DOI: 10.1145/1233901.1233907 ]
M. Rosenmüller, M. Kuhlemann, N. Siegmund, and H. Schirmeier. Avoiding variability of method signatures in software product lines: A case study. In GPCE Workshop on Aspect-Oriented Product Line Engineering, Oct. 2007. [ bib | .pdf ]
F. Scheler, M. Mitzlaff, W. Schröder-Preikschat, and H. Schirmeier. Towards a real-time systems compiler. In Proceedings of the 5th International Workshop on Intelligent Solutions in Embedded Systems (WISES '07), pages 62–75, Leganes (Madrid), Spain, June 2007. IEEE Press. [ bib | DOI: 10.1109/WISES.2007.4408506 ]
H. Schirmeier and O. Spinczyk. Maßschneiderung von Infrastrukturproduktlinien durch statische Anwendungsanalyse. In Jarke et al. [5], pages 355–365. [ bib | .pdf ]
H. Schirmeier and O. Spinczyk. Tailoring infrastructure software product lines by static application analysis. In Proceedings of the 11th Software Product Line Conference (SPLC '07), pages 255–260. IEEE Press, Sept. 2007. [ bib | DOI: 10.1109/SPLINE.2007.33 | .pdf ]
J. Sincero, H. Schirmeier, W. Schröder-Preikschat, and O. Spinczyk. Is the Linux kernel a software product line? In F. van der Linden and B. Lundell, editors, Proceedings of the International Workshop on Open Source Software and Product Lines (SPLC-OSSPL 2007), Kyoto, Japan, Sept. 2007. [ bib | .pdf ]
O. Spinczyk and D. Lohmann. The design and implementation of AspectC++. Knowledge-Based Systems, Special Issue on Techniques to Produce Intelligent Secure Software, 20(7):636–651, Oct. 2007. [ bib | DOI: 10.1016/j.knosys.2007.05.004 | .pdf ]
O. Spinczyk and H. Papajewski. Using feature models for product derivation. In Proceedings of the 11th Software Product Line Conference (SPLC '07), pages 5–6, Kyoto, Japan, Sept. 2007. Tutorial Description. [ bib | .pdf ]

2006

D. Lohmann, F. Scheler, R. Tartler, O. Spinczyk, and W. Schröder-Preikschat. A quantitative analysis of aspects in the eCos kernel. In Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys '06), pages 191–204, New York, NY, USA, Apr. 2006. ACM Press. [ bib | DOI: 10.1145/1218063.1217954 | .pdf ]
D. Lohmann and O. Spinczyk. Developing embedded software product lines with AspectC++. In P. L. Tarr and W. R. Cook, editors, Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2006), pages 740–742, Portland, Oregon, USA, 2006. ACM Press. [ bib | DOI: 10.1145/1176617.1176702 | .pdf ]
D. Lohmann, O. Spinczyk, and W. Schröder-Preikschat. Lean and efficient system software product lines: Where aspects beat objects. In A. Rashid and M. Akşit, editors, Transactions on AOSD II, number 4242 in Lecture Notes in Computer Science, pages 227–255. Springer, 2006. [ bib | DOI: 10.1007/11922827_8 | .pdf ]
W. Schröder-Preikschat, D. Lohmann, W. Gilani, F. Scheler, and O. Spinczyk. Static and dynamic weaving in system software with AspectC++. In Y. Coady, J. Gray, and R. Klefstad, editors, Proceedings of the 39th Hawaii International Conference on System Sciences (HICSS '06) - Track 9, volume 9. IEEE Press, 2006. [ bib | DOI: 10.1109/HICSS.2006.437 | .pdf ]
O. Spinczyk, D. Lohmann, and W. Schröder-Preikschat. Concern hierarchies. In 1st GPCE Workshop on Aspect-Oriented Product Line Engineering (GPCE-AOPLE '06), Oct. 2006. [ bib | .pdf ]
O. Spinczyk and H. Papajewski. Using feature models for product derivation. In Proceedings of the 10th Software Product Line Conference (SPLC '06), page 225, Baltimore, Maryland, Aug. 2006. tutorial description. [ bib | .pdf ]