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

Publications in 2012 at CS 4 at FAU

Dietrich, Christian ; Tartler, Reinhard ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
A Robust Approach for Variability Extraction from the Linux Build System.
In: ACM Press (Ed.) : Proceedings of the 16th International Software Product Line Conference
(16th International Software Product Line Conference, Salvador - Brazil, September 02 - 07, 2012). Vol. 1.
New York : ACM Press, 2012, pp 21-30. - ISBN 978-1-4503-1094-9
Keywords: Algorithms, Design, Experimentation, Management, Languages, Configurability, Maintenance, Linux, Kbuild, Static Analysis, Variability, VAMOS
[doi>10.1145/2362536.2362544] (BibTeX)

Schultis, Klaus-Benedikt ; Elsner, Christoph ; Lohmann, Daniel:
Architectural Guidance and Governance in Industrial Software Ecosystems.
Talk: First European Workshop on Software Ecosystems, SAP AG,
Partner-Port, Walldorf, Germany, 12.12.2012
Keywords: ISBN 9783848223145 (BibTeX)

Scheler, Fabian:
Atomic Basic Blocks - Eine Abstraktion für die gezielte Manipulation der Echtzeitsystemarchitektur.
In: Hölldobler, Steffen (Ed.) : Ausgezeichnete Informatikdissertationen 2011
(Kolloquium zum GI Dissertationspreis 2011, Dagstuhl, 13.05.2012 - 16.05.2012).
Bonn : Bonner Köllen Verlag, 2012, pp 18 -190. (GI-Edition: Lecture Notes in Informatics Vol. D-12) - ISBN 978-3-88579-416-5 (BibTeX)

Tartler, Reinhard ; Kurmus, Anil ; Ziegler, Andreas ; Heinloth, Bernhard ; Rothberg, Valentin ; Dorneanu, Daniela ; Kapitza, Rüdiger ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability.
In: USENIX (Ed.) : Proceedings of the 8th Workshop on Hot Topics in System Dependability (HotDep '12)
(Eigth Workshop on Hot Topics in System Dependability, Hollywood, CA, USA, 7.10.2012).
2012.
Keywords: VAMOS,Configurability, System Software, Software Engineering, Maintenance, Security, (BibTeX)

Elsner, Christoph:
Automating Staged Product Derivation for Heterogeneous Multi-Product-Lines.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2012.
- 172 pages.
Keywords: Software Engineering; Software Reuse; Software Product Line Engineering; Product Derivation; Model-Driven Development (BibTeX)

Schröder-Preikschat, Wolfgang:
Betriebssysteme in Erlangen: 2002-2022.
Talk: 40-jähriges Gründungsjubiläum des Lehrstuhls für Betriebssysteme an der FAU Erlangen-Nürnberg, Friedrich-Alexander-Universität Erlangen-Nürnberg, Lehrstuhl Informatik 4,
Erlangen, 29.06.2012 (BibTeX)

Kapitza, Rüdiger ; Behl, Johannes ; Cachin, Christian ; Distler, Tobias ; Kuhnle, Simon ; Mohammadi, Seyed Vahid ; Schröder-Preikschat, Wolfgang ; Stengel, Klaus:
CheapBFT: Resource-efficient Byzantine Fault Tolerance.
In: European Chapter of ACM SIGOPS (Org.):
Proceedings of the EuroSys 2012 Conference (EuroSys '12)
(EuroSys 2012, Bern, 10-13 April).
2012, pp 295-308.
Keywords: TCLOUDS;REFIT
[doi>10.1145/2168836.2168866] (BibTeX)

Borchert, Christoph ; Lohmann, Daniel ; Spinczyk, Olaf:
CiAO/IP: A Highly Configurable Aspect-Oriented IP Stack.
In: Seshan, Srinivasan ; Zhong, Lin (Ed.) : MobiSys '12: Proceedings of the 10th international conference on Mobile systems, applications, and services
(MobiSys '12, Low Wood Bay, Lake District, United Kingdom).
New York, NY, USA : ACM Press, 2012, pp 435-448. - ISBN 978-1-4503-1301-8
Keywords: aop, aspect-oriented programming, aspectc++, embedded systems, internet protocol, network protocol stacks, operating systems, tcp/ip, CiAO, DanceOS
[doi>10.1145/2307636.2307676] (BibTeX)

Tartler, Reinhard ; Lohmann, Daniel ; Dietrich, Christian ; Egger, Christoph ; Sincero, Julio:
Configuration coverage in the analysis of large-scale system software.
In: SIGOPS Oper. Syst. Rev. (ACM OSR) 45 (2012), No. 3, pp 10-14
Keywords: VAMOS,Configurability, System Software, Software Engineering, Maintenance
[doi>10.1145/2094091.2094095] (BibTeX)

Strübe, Moritz ; Lukas, Florian ; Kapitza, Rüdiger:
Demo Abstract: CoojaTrace, Extensive Profiling for WSNs.
In: EWSN (Org.):
Adjunct Proc. of the 9th European Conference on Wireless Sensor Networks (EWSN), demo session
(European Conference on Wireless Sensor Networks (EWSN), Trento, Italy, February 2012).
2012, pp 1-2.
Keywords: RDSP (BibTeX)

Ulbrich, Peter ; Franzmann, Florian ; Scheler, Fabian ; Schröder-Preikschat, Wolfgang:
Design by Uncertainty: Towards the Use of Measurement Uncertainty in Real-Time Systems.
In: Nolte, Thomas (Ed.) : Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems
(7th Symposium on Industrial Embedded Systems (SIES '12), Karlsruhe, Germany, 20-22 June 2012).
Los Alamitos : IEEE Computer Society, 2012, pp 275-278. - ISBN 978-1-4673-2685-8
Keywords: AORTA; ARES; QRONOS
[doi>10.1109/SIES.2012.6356595] (BibTeX)

Behl, Johannes ; Distler, Tobias ; Kapitza, Rüdiger:
DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments.
In: SSS (Org.):
Proceedings of the 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS '12)
(14th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Toronto, 1-4 October).
2012, pp 217-231.
Keywords: TCLOUDS (BibTeX)

Ulbrich, Peter:
Eliminating Single Points of Failure in Software-Based Redundancy.
Talk: Diskusstionskreis Fehlertoleranz (DFT '12), Siemens AG,
Nünberg, 22.11.2012 (BibTeX)

Ulbrich, Peter ; Hoffmann, Martin ; Kapitza, Rüdiger ; Lohmann, Daniel ; Schmid, Reiner ; Schröder-Preikschat, Wolfgang:
Eliminating Single Points of Failure in Software-Based Redundancy.
In: Correia, Miguel (Ed.) : Proceedings of the 9th European Dependable Computing Conference
(9th European Dependable Computing Conference (EDCC '12), Sibiu, Romania, 08-11 May 2012).
Los Alamitos : IEEE Computer Society, 2012, pp 49-60. - ISBN 978-1-4673-0938-7
Keywords: Domain-specific architectures , Fault-tolerance , Frameworks , Reliability , Soft errors , Software and System Safety, DanceOS
[doi>10.1109/EDCC.2012.21] (BibTeX)

Hönig, Timo:
Energiegewahre Programmierung unter Verwendung von symbolischer Ausführung.
Talk: Invited Talk, Institut für Betriebssysteme und Rechnerverbund (IBR), Technische Universität Braunschweig,
Braunschweig, Germany, 17.1.2012 (BibTeX)

Distler, Tobias ; Fischer, Frank ; Kapitza, Rüdiger ; Ling, Siqi:
Enhancing Coordination in Cloud Infrastructures with an Extendable Coordination Service.
In: SDMCMM (Org.):
Proceedings of the 1st Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management (SDMCMM '12)
(1st Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management, Montreal, 4 December).
2012, pp 1-6.
Keywords: TCLOUDS (BibTeX)

Schirmeier, Horst ; Hoffmann, Martin ; Kapitza, Rüdiger ; Lohmann, Daniel ; Spinczyk, Olaf :
FAIL: Towards a Versatile Fault-Injection Experiment Framework.
In: German Society of Informatics (Ed.) : Mühl, Gero ; Richling, Jan ; Herkersdorf, Andreas (Org.):
Workshop on Dependability and Fault-Tolerance (VERFE)
(25th International Conference on Architecture of Computing Systems (ARCS '12), Munich, 28.02.2012). Vol. 200.
Bonn : Köllen Druck+Verlag GmbH, 2012, pp 201-210. - ISBN 978-3-88579-294-9 (BibTeX)

Stilkerich, Isabella ; Sechser, Bernhard:
Fehlertoleranz-Techniken automatisiert einbetten.
In: Elektronikpraxis (2012), No. 13, pp 26-28
Keywords: KESO; AUTOSAR (BibTeX)

Mück, Tiago Rogério ; Fröhlich, Antônio Augusto Medeiros ; Gernoth, Michael ; Schröder-Preikschat, Wolfgang:
Implementing OS Components in Hardware using AOP.
In: Best Papers from 2011 Brazilian Symposium on Computing Systems Engineering (SBESC).
New York, NY, USA : ACM Press, 2012, (ACM SIGOPS Operating Systems Review Vol. 46, No. 1), pp 64-72. (BibTeX)

Schröder-Preikschat, Wolfgang:
Invasive Computing: A Systems-Programming Perspective.
Talk: Université Pierre et Marie Curie (UPMC), Laboratoire d'Informatique de Paris (LIP6),
Paris, 28.09.2012 (BibTeX)

Stilkerich, Isabella ; Sechser, Bernhard:
KESO - Functional Safety and the Use of Java in Embedded Systems.
Talk: Paper Presentation at ESE 2012, Embedded Systems Engineering Kongress,
Sindelfingen, Germany, 05.12.2012
Keywords: KESO, Functional Safety, Java, AUTOSAR, OSEK (BibTeX)

Elsner, Christoph:
Light-Weight Tool Support for Staged Product Derivation.
In: Schwanninger, Christa (Ed.) : Proceedings of the 16th International Software Product Line Conference (SPLC 2012)
(16th International Software Product Line Conference (SPLC 2012) (ACM, (2012). This is the authors version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 16th International Software Product Line Conference (SPLC 2012) – Volume 1. http://doi.acm.org/10.1145/2362536.2362557), Salvador, Brasil, 09/05/2012).
New York, NY, USA : ACM Press, 2012, pp 146-155. (BibTeX)

Ko, JeongGil ; Klues, Kevin ; Richter, Christian ; Hofer, Wanja ; Kusy, Branislav ; Brünig, Michael ; Schmid, Thomas ; Wang, Qiang ; Dutta, Prabal ; Terzis, Andreas:
Low Power or High Performance? A Tradeoff Whose Time Has Come (and Nearly Gone).
In: Heinzelman, Wendi ; Picco, Gian Pietro (Ed.) : Proceedings of the 9th European Conference on Wireless Sensor Networks (EWSN 2012)
(9th European Conference on Wireless Sensor Networks (EWSN 2012), Trento, Italy, February 2012).
Berlin : Springer, 2012, pp 16. (Lecture Notes in Computer Science Vol. 7158) - ISBN 978-3-642-28168-6
Keywords: Wireless Sensor Networks; Mote Platform; ARM Cortex-M3; TinyOS
[doi>10.1007/978-3-642-28169-3_7] (BibTeX)

Holl, Gerald ; Thaller, Daniel ; Grünbacher, Paul ; Elsner, Christoph:
Managing Emerging Configuration Dependencies in Multi Product Lines.
In: Eisenecker, Ulrich (Org.):
Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems
(Sixth International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2012), Leipzig, Germany, 01/25/2012).
New York, NY, USA : ACM, 2012, pp 3-10. (BibTeX)

Stilkerich, Michael:
Memory Protection at Option - Application-Tailored Memory Safety in Safety-Critical Embedded Systems.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2012.
- 191 pages.
Keywords: memory protection, embedded system, Java Virtual Machine, AUTOSAR, OSEK, KESO, CiAO (BibTeX)

Hönig, Timo:
Proactive Energy-Aware Programming.
Talk: Invited Talk, Computer Science and Artificial Intelligence Laboratory (CSAIL), Massachusetts Institute of Technology (MIT),
Boston, MA, USA, 12.6.2012 (BibTeX)

Hönig, Timo:
Proactive Energy-Aware Programming by Exploiting Symbolic Execution.
Talk: Invited Talk, Center for Experimental Research in Computer Systems (CERCS), Georgia Institute of Technology,
Atlanta, GA, USA, 5.6.2012 (BibTeX)

Hönig, Timo:
Proaktive energiegewahre Programmierung.
Talk: Invited Talk, Intel Research,
Braunschweig, Germany, 25.5.2012 (BibTeX)

Hönig, Timo ; Kapitza, Rüdiger ; Schröder-Preikschat, Wolfgang:
ProSEEP: A Proactive Approach to Energy-Aware Programming.
In: USENIX Association (Ed.) : Proceedings of the 2012 USENIX Annual Technical Conference (ATC 2012), Poster Session
(USENIX ATC 2012, Boston, MA, USA, June 13-15, 2012).
2012. (BibTeX)

Behl, Johannes ; Distler, Tobias ; Heisig, Florian ; Kapitza, Rüdiger ; Schunter, Matthias:
Providing Fault-tolerant Execution of Web-service-based Workflows within Clouds.
In: Pierre, Guillaume ; Cristea, Valentin (Ed.) : Proceedings of the 2nd International Workshop on Cloud Computing Platforms (CloudCP '12)
(2nd International Workshop on Cloud Computing Platforms, Bern, 10 April).
2012, pp 39-44.
Keywords: TCLOUDS
[doi>10.1145/2168697.2168704] (BibTeX)

Tartler, Reinhard ; Sincero, Julio ; Dietrich, Christian ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Revealing and Repairing Configuration Inconsistencies in Large-Scale System Software.
In: International Journal on Software Tools for Technology Transfer (STTT) 14 (2012), No. 225, pp 531-551
Keywords: Algorithms; Design; Experimentation; Management; Languages; Configurability; Maintenance; Linux; Static Analysis; VAMOS; i4vamos
[doi>10.1007/s10009-012-0225-2] (BibTeX)

Hönig, Timo ; Eibel, Christopher ; Kapitza, Rüdiger ; Schröder-Preikschat, Wolfgang:
SEEP: Exploiting Symbolic Execution for Energy-Aware Programming.
In: ACM SIGOPS (Ed.) : Best Papers from SOSP 2011 Workshops.
New York : Association for Computing Machinery (ACM), 2012, (ACM SIGOPS Operating Systems Review Vol. 45, No. 3), pp 58-62. ISSN 0163-5980
[doi>10.1145/2094091.2094106] (BibTeX)

Hönig, Timo:
SEEP: Proaktive Methodik zur energiegewahren Programmierung mittels symbolischer Ausführung.
Talk: Fachgruppentreffen, Fachgruppe Betriebssysteme, Gesellschaft für Informatik, Universität Koblenz-Landau,
Koblenz, Germany, 9.11.2012 (BibTeX)

Söldner, Guido:
Semantische Adaption von Komponenten.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2012.
- 144 pages. (BibTeX)

Hofer, Wanja ; Danner, Daniel ; Müller, Rainer ; Scheler, Fabian ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Sloth on Time: Efficient Hardware-Based Scheduling for Time-Triggered RTOS.
In: Lu, Chenyang ; Almeida, Luis (Ed.) : Proceedings of the 33rd IEEE Real-Time Systems Symposium (RTSS 2012)
(33rd IEEE Real-Time Systems Symposium (RTSS 2012), San Juan, Puerto Rico, December 2012).
Los Alamitos, CA, USA : IEEE Computer Society, 2012, pp 237-247. - ISBN 978-0-7695-4869-2
Keywords: Sloth; Operating Systems; Embedded Systems; Real-Time Systems; Interrupt Handling; Timers; Time-Triggered Scheduling; OSEK; AUTOSAR; Infineon TriCore
[doi>10.1109/RTSS.2012.75] (BibTeX)

Holl, Gerald ; Grünbacher, Paul ; Elsner, Christoph ; Klambauer, Thomas:
Supporting Awareness During Collaborative and Distributed Configuration of Multi Product Lines.
In: Tse, T. H. ; Cheung, S. C. (Ed.) : Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC 2012)
(19th Asia-Pacific Software Engineering Conference (APSEC 2012), Hong Kong, 12/4/2012).
to appear : to appear, 2012. (BibTeX)

Stilkerich, Michael ; Stilkerich, Isabella ; Wawersich, Christian ; Schröder-Preikschat, Wolfgang:
Tailor-made JVMs for statically configured embedded systems.
In: Concurrency and Computation: Practice and Experience 24 (2012), No. 8, pp 789-812
Keywords: KESO; embedded systems; tailored JVM;
[doi>10.1002/cpe.1755] (BibTeX)

Ulbrich, Peter ; Franzmann, Florian ; Harkort, Christian ; Hoffmann, Martin ; Klaus, Tobias ; Rebhan, Anja ; Schröder-Preikschat, Wolfgang:
Taking Control: Modular and Adaptive Robotics Process Control Systems.
In: Payeur, Pierre ; Ben-Tzvi, Pinhas (Ed.) : Proceedings of the 10th IEEE International Symposium on Robotic and Sensors Environments
(10th IEEE International Symposium on Robotic and Sensors Environments (ROSE '12), Magdeburg, 16-18 November 2012).
Los Alamitos : IEEE Computer Society, 2012, pp 55-60. - ISBN 978-1-4673-2705-3
Keywords: Architecture; Software Design; Operating Systems; Robotics and Automation; Sensor Systems; Control Engineering; Measurement System Data Handling; AORTA; ARES; QRONOS
[doi>10.1109/ROSE.2012.6402632] (BibTeX)

Lohmann, Daniel ; Spinczyk, Olaf ; Hofer, Wanja ; Schröder-Preikschat, Wolfgang:
The Aspect-Aware Design and Implementation of the CiAO Operating-System Family.
In: Transactions on Aspect-Oriented Software Development (TAOSD IX) (2012), No. 7271, pp 168-215
Keywords: AOP; Aspect-Oriented Programming; AspectC++; Operating Systems; Embedded Systems; CiAO
[doi>10.1007/978-3-642-35551-6_5] (BibTeX)

Dietrich, Christian ; Tartler, Reinhard ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Understanding Linux Feature Distribution.
In: ACM Press (Ed.) : Proceedings of the 2nd AOSD Workshop on Modularity in Systems Software (AOSD-MISS ’12)
(2nd Workshop on Modularity In Systems Software, Potsdam, 27.3.2012).
New York, NY, USA : ACM, 2012, pp 15-19. - ISBN 978-1-4503-1222-6
Keywords: Algorithms, Design, Experimentation, Management, Languages, Configurability, Maintenance, Linux, Static Analysis, Variability, VAMOS
[doi>10.1145/2162024.2162030] (BibTeX)