Friedrich-Alexander-Universität Erlangen-Nürnberg  /   Technische Fakultät  /   Department Informatik

Publications in 2013 at CS 4 at FAU

Stilkerich, Isabella ; Strotz, Michael ; Erhardt, Christoph ; Hoffmann, Martin ; Lohmann, Daniel ; Scheler, Fabian ; Schröder-Preikschat, Wolfgang:
A JVM for Soft-Error-Prone Embedded Systems.
In: ACM (Ed.) : Proceedings of the 14th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems
(The 14th Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2013), Seattle, Washington, USA, June 2013).
2013, pp 21-32. - ISBN 978-1-4503-2085-6
Keywords: KESO; DanceOS; AORTA; Java; RTSJ; Embedded Systems; Real-Time Systems; Reliability
[doi>10.1145/2465554.2465571] (BibTeX)

Paul, Johny ; Stechele, Walter ; Kröhnert, Manfred ; Asfour, Tamim ; Oechslein, Benjamin ; Erhardt, Christoph ; Schedel, Jens ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
A Resource-Aware Nearest Neighbor Search Algorithm for K-Dimensional Trees.
In: Morawiec, Adam ; Hinderscheit, Jinnie (Ed.) : Proceedings of the 2013 Conference on Design & Architectures for Signal & Image Processing
(DASIP 2013, Cagliari, Italy).
2013, pp 80-87. - ISBN 979-10-92279-01-6 (BibTeX)

Drescher, Gabor ; Hönig, Timo ; Maier, Sebastian ; Oechslein, Benjamin ; Schröder-Preikschat, Wolfgang:
A Scalability-Aware Kernel Executive for Many-Core Operating Systems.
In: S. Lankes ; C. Clauss (Ed.) : Proceedings of the 1st Workshop on Runtime and Operating Systems for the Many-core Era
(ROME 2013, Aachen, August 26, 2013).
Berlin-Heidelberg : Springer-Verlag, 2013, pp 823-832. (Lecture Notes in Computer Science (LNCS))
Keywords: LAOS (BibTeX)

Holl, Gerald ; Grünbacher, Paul ; Elsner, Christoph ; Vierhauser, Michael:
An Infrastructure for the Life Cycle Management of Multi Product Lines.
In: Maldonado, Antonio (Org.):
28th Symposium On Applied Computing. Track on Software Architecture: Theory, Technology, and Applications (SAC-SATTA 2013)
(Proceedings of the 28th Symposium On Applied Computing (SAC 2013), Coimbra, Portugal, 03/18/2013).
to appear : to appear, 2013. (BibTeX)

Kurmus, Anil ; Tartler, Reinhard ; Dorneanu, Daniela ; Heinloth, Bernhard ; Rothberg, Valentin ; Ziegler, Andreas ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel ; Kapitza, Rüdiger:
Attack Surface Metrics and Automated Compile-Time OS Kernel Tailoring.
In: The Internet Society (Ed.) : Proceedings of the 20th Network and Distributed System Security Symposium (NDSS '13)
(Network and Distributed System Security Symposium, San Diego, CA United States, 24-27.2.2013).
2013, pp 1-18.
Keywords: VAMOS,Configurability, System Software, Software Engineering, Maintenance, Security, (BibTeX)

Hönig, Timo:
Challenges in Energy-Aware System Software Design.
Talk: Invited Talk, School of Engineering and Computer Science, Victoria University of Wellington,
Wellington, New Zealand, 22.11.2013 (BibTeX)

Fang, Miao ; Leyh, Georg ; Elsner, Christoph ; Dörr, Jörg:
Challenges in Managing Behavior Variability of Production Control Software.
In: Rubin, Julia ; Botterweck, Goetz (Org.):
Proceedings of the 4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE 2013)
(4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE 2013), San Francisco, CA, USA, 05/20/2013).
to appear : to appear, 2013. (BibTeX)

Holl, Gerald ; Grünbacher, Paul ; Elsner, Christoph ; Klambauer, Thomas ; Vierhauser, Michael:
Constraint Checking in Distributed Product Configuration of Multi Product Lines.
In: Kamolratanakul, Pirom (Org.):
Proceedings of the 20th Asia-Pacific Software Engineering Conference (APSEC 2013)
(20th Asia-Pacific Software Engineering Conference (APSEC 2013), Bangkok, Thailand, 12/2/2013).
2013. (BibTeX)

Hoffmann, Martin ; Dietrich, Christian ; Lohmann, Daniel:
dOSEK: A Dependable RTOS for Automotive Applications.
In: - ; - (Ed.) : Proceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '13)
(19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '13), Vancouver, British Columbia, Canada, 02.-04. Dez. 2013).
2013, pp 120-121.
Keywords: dependability, EAN, DanceOS, OSEK, dosek, embedded systems, CoRed
[doi>10.1109/PRDC.2013.22] (BibTeX)

Schröder-Preikschat, Wolfgang:
Embedded Computing Systems in the Multi-Core Era.
Talk: III. Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC 2013), Universidade Federal Fluminense,
Niterói, RJ, Brasil, 05.11.2013 (BibTeX)

Stengel, Klaus ; Schmaus, Florian ; Kapitza, Rüdiger:
EsseOS: Haskell-based Tailored Services for the Cloud.
In: ACM (Ed.) : Proceedings of the 12th International Workshop on Adaptive and Reflective Middleware (ARM '13)
(International Workshop on Adaptive and Reflective Middleware, Beijing, China).
2013, pp 1-4. - ISBN 978-1-4503-2553-0
Keywords: Haskell, cloud computing, functional programming, operating systems, security, software tailoring, TCLOUDS
[doi>10.1145/2541583.2541587] (BibTeX)

Fang, Miao ; Leyh, Georg ; Dörr, Jörg ; Elsner, Christoph:
Experiences During Extraction of Variability Models for Warehouse Management Systems.
In: Kamolratanakul, Pirom (Org.):
Proceedings of the 20th Asia-Pacific Software Engineering Conference (APSEC 2013)
(20th Asia-Pacific Software Engineering Conference (APSEC 2013), Bangkok, Thailand, 12/2/2013).
2013. (BibTeX)

Hoffmann, Martin ; Dietrich, Christian ; Lohmann, Daniel:
Failure by Design: Influence of the RTOS Interface on Memory Fault Resilience.
In: German Society of Informatics (Ed.) : Proceedings of the 2nd GI Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13)
(Informatik 2013, Koblenz, Germany).
2013. (BibTeX)

Li, Bijun ; Mutschlechner, Margit ; Kapitza, Rüdiger ; Dressler, Falko:
Improving Transmission Reliability in Sensor Networks for Energy-Constrained Wildlife Monitoring.
In: ACM (Ed.) : Proceedings of the 24th ACM Symposium on Operating Systems Principles (SOSP), Diversity Workshop, Poster Session
(ACM SOSP 2013, Farmington, PA, USA, November 3-6, 2013).
2013. (BibTeX)

Teich, Jürgen ; Schröder-Preikschat, Wolfgang ; Herkersdorf, Andreas:
Invasive Computing - Common Terms and Granularity of Invasion.
Cornell : Cornell University Library, 2013
(Dagstuhl Preprint Serie).
- 8 pages. (BibTeX)

Nadi, Sarah ; Dietrich, Christian ; Tartler, Reinhard ; Holt, Ric ; Lohmann, Daniel:
Linux Variability Anomalies: What Causes Them and How Do They Get Fixed?
In: Zimmermann, Thomas ; Di Penta, Massimiliano ; Sung, Kim (Ed.) : Proceedings of the 10th Working Conference on Mining Software Repositories
(MRS 2013: The 10th Working Conference on Mining Software Repositories, San Francisco, CA, USA, 18.-19. Mai).
Los Alamitos, CA, USA : IEEE Computer Society, 2013, pp 111-120. - ISBN 978-1-4673-2936-1
Keywords: VAMOS,Configurability, System Software, Software Engineering, Maintenance
[doi>10.1109/MSR.2013.6624017] (BibTeX)

Tartler, Reinhard:
Mastering Variability Challenges in Linux and Related Highly-Configurable System Software.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2013.
- 178 pages. (BibTeX)

Schultis, Klaus-Benedikt ; Elsner, Christoph ; Lohmann, Daniel:
Moving Towards Industrial Software Ecosystems: Are Our Software Architectures Fit for the Future?
In: Rubin, Julia ; Botterweck, Goetz (Org.):
Proceedings of the 4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE 2013)
(4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE 2013), San Francisco, CA, USA, 05/20/2013).
New York, NY, USA : IEEE, 2013, pp 9-12. - ISBN 978-1-4673-6449-2
[doi>10.1109/PLEASE.2013.6608655] (BibTeX)

Stilkerich, Isabella:
Presentation: A JVM for Soft-Error-Prone Embedded Systems.
Talk: Paper Presentation at LCTES 2013,
Seattle, Washington, USA, 20.06.2013
Keywords: KESO; AORTA; Java; RTSJ; Embedded Systems; Real-Time Systems; Reliability (BibTeX)

Hönig, Timo ; Eibel, Christopher ; Schröder-Preikschat, Wolfgang ; Cassens, Björn ; Kapitza, Rüdiger:
Proactive Energy-Aware System Software Design with SEEP.
In: Gesellschaft für Informatik (Ed.) : Proceedings of the 2nd Workshop on Energy Aware Software-Engineering and Development
(EASED 2013, Oldenburg, Germany, April 25, 2013).
2013, pp 6-7. (GI Softwaretechnik-Trends Vol. 33, No. 2) (BibTeX)

Müller, Rainer:
Slothful Linux: Ein effizientes, hybrides Echtzeitbetriebssystem durch Hardware-basierte Task-Einlastung.
In: Halang, Wolfgang A. (Ed.) : Funktionale Sicherheit
(Echtzeit 2013, Boppard, November 2013).
Berlin Heidelberg : Springer Berlin Heidelberg, 2013, pp 49-58. - ISBN 978-3-642-41308-7
[doi>10.1007/978-3-642-41309-4_6] (BibTeX)

Ulbrich, Peter:
Software-based Fault-tolerance - Mission (im)Possible?
Talk: The 29th CREST Open Workshop on Software Redundancy, Centre for Research on Evolution, Search and Testing,
London, UK, 18.11.2013
Keywords: CoRed; soft errors; software-based fault-tolerance; dependable systems; real-time systems (BibTeX)

Sincero, Julio:
Variability Bugs in System Software.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2013.
- 132 pages. (BibTeX)

Schröder-Preikschat, Wolfgang:
Virtual Machines.
Talk: INFORMATIK 2013, Workshop "Virtualisierung - gestern, heute und morgen (VIRT2013)", Universität Koblenz-Landau,
Koblenz, 19.09.2013 (BibTeX)