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

Publications in 2010 at CS 4 at FAU

Rabiser, Rick ; Heider, Wolfgang ; Elsner, Christoph ; Grünbacher, Paul ; Schwanninger, Christa:
A Flexible Approach for Generating Product-Specific Documents in Product Lines.
In: Bosch, Jan ; Lee, Jaejoon (Ed.) : Proceedings of the 14th International Software Product Line Conference (SPLC 2010)
(14th International Software Product Line Conference (SPLC 2010), Jeju Island, South Korea, 09/13/2010).
Berlin/Heidelberg, Germany : Springer, 2010, pp 47-61.
Keywords: Document Generation; Software Product Line Engineering; Model-Driven Software Development; (BibTeX)

Mitzlaff, Martin ; Lang, Michael ; Kapitza, Rüdiger ; Schröder-Preikschat, Wolfgang:
A Membership Service for a Distributed, Embedded System Based on a Time-Triggered FlexRay Network.
In: Gil-Vicente, Pedro ; Taiani, Francois (Org.):
Proceedings of the Eight European Dependable Computing Conference
(Eighth European Dependable Computing Conference (EDCC 2010), Valencia, Spain, 28.04.-30.04.2010).
Los Alamitos : IEEE Computer Society, 2010, pp 155-162. - ISBN 978-0-7695-4007-8
Keywords: Fault Tolerance, Distributed and Embedded Systems, Membership, Algorithm/Protocol Design and Analysis, Automotive, FlexRay, AUTOSAR (BibTeX)

Stellwag, Philippe ; Krainz, Jakob ; Schröder-Preikschat, Wolfgang:
A Wait-Free Dynamic Storage Allocator by Adopting the Helping Queue Pattern.
In: International Association of Science and Technology for Development (IASTED) (Ed.) : Parallel and Distributed Computing and Networks (PDCN 2010)
(PDCN 2010, Innsbruck, Austria, February 16-18, 2010). Vol. 676.
Calgary, AB, Canada : ACTA Press, 2010, pp 79-87. - ISBN 978-0-88986-820-5
Keywords: pCtrl; storage allocator; malloc; wait-freedom; nonblocking; real-time systems (BibTeX)

Sincero, Julio ; Tartler, Reinhard ; Lohmann, Daniel:
An Algorithm for Quantifying the Program Variability Induced by Conditional Compilation.
Erlangen : University of Erlangen, Dept. of Computer Science. 2010
(CS-2010-02). - Internal report. 19 pages
Keywords: Linux, Conditional Compilation, Variability, Metrics, VAMOS (BibTeX)

Behrens, Frank ; MacKeben, Manfred ; Schröder-Preikschat, Wolfgang:
An Improved Algorithm for Automatic Detection of Saccades in Eye Movement Data and for Calculating Saccade Parameters.
In: Behavior Research Methods 42 (2010), No. 3, pp 701-708 (BibTeX)

Sincero, Julio ; Schröder-Preikschat, Wolfgang ; Spinczyk, Olaf:
Approaching Non-Functional Properties of Software Product Lines: Learning from Products.
In: IEEE Computer Society Press (Ed.) : Proceedings of the 17th Asia-Pacific Software Engineering Conference (APSEC 2010)
(17th Asia-Pacific Software Engineering Conference (APSEC 2010), Sydney, Australia, Nov 30 - Dec 3, 2010).
Los Alamitos, CA, USA : IEEE Computer Society, 2010, pp 147-155. - ISBN 978-0-7695-4266-9 (BibTeX)

Tartler, Reinhard ; Lohmann, Daniel ; Scheler, Fabian ; Spinczyk, Olaf:
AspectC++: An integrated approach for static and dynamic adaptation of system software.
In: Knowledge-Based Systems (2010), No. 23, pp 704-720
Keywords: AOP; C++; AspectC++; Programming languages; Adaptable systems
[doi>10.1016/j.knosys.2010.03.002] (BibTeX)

Gernoth, Michael ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang ; Sincero, Julio ; Tartler, Reinhard ; Wischermann, Dirk:
Challenges in Operating-Systems Reengineering for Many Cores.
In: Pankratius, Victor ; Philippsen, Michael (Ed.) : ACM/IEEE (Org.):
Proceedings of the Third International Workshop on Multicore Software Engineering (IWMSE10)
(International Workshop on Multicore Software Engineering, Cape Town, South Africa, May 1, 2010).
Los Alamitos, CA, USA : ACM Press, 2010, pp 52-53. - ISBN 978-1-60558-964-0
Keywords: VAMOS; Critical section engineering, operating systems, OS
[doi>10.1145/1808954.1808968] (BibTeX)

Tartler, Reinhard ; Sincero, Julio ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
Configurability Bugs in Linux: The 10000 Feature Challenge.
In: USENIX Association (Ed.) : 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI '10), Poster Session
(OSDI '10, Vancouver, BC, Canada, October 4–6, 2010).
2010.
Keywords: VAMOS (BibTeX)

Elsner, Christoph ; Ulbrich, Peter ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
Consistent Product Line Configuration Across File Type and Product Line Boundaries.
In: Bosch, Jan ; Lee, Jaejoon (Ed.) : Proceedings of the 14th International Software Product Line Conference (SPLC 2010)
(14th International Software Product Line Conference (SPLC 2010), Jeju Island, South Korea, 09/13/2010).
Berlin/Heidelberg, Germany : Springer, 2010, pp 181-195 --- Best Paper Award (out of 90 submitted / 28 accepted papers).
Keywords: SPL; Software Product Lines, VAMOS, CiAO
[doi>10.1007/978-3-642-15579-6_13] (BibTeX)

Eliassen, Frank ; Kapitza, Rüdiger (Ed.):
Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference.
(DAIS '10 Amsterdam, The Netherlands 7-9, June, 2010)
Vol. 6115/2010. Berlin / Heidelberg : Springer, 2010
(Lecture Notes in Computer Science Vol. 6115).
- 242 pages. ISBN 978-3-642-13644-3. ISSN 1611-3349
[doi>10.1007/978-3-642-13645-0] (BibTeX)

Strübe, Moritz ; Daum, Michael ; Kapitza, Rüdiger ; Villanueva, Felix ; Dressler, Falko:
Dynamic Operator Replacement in Sensor Networks.
In: IEEE (Org.):
7th IEEE International Conference on Mobile Ad-hoc and Sensor Systems (MASS 2010), Demo Session
(7th IEEE International Conference on Mobile Ad-hoc and Sensor Systems (MASS), San Francisco, CA, USA, November 2010).
2010, pp 748-750. - ISBN 978-1-4244-7488-2
Keywords: RDSP
[doi>10.1109/MASS.2010.5663821] (BibTeX)

Sincero, Julio ; Tartler, Reinhard ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
Efficient Extraction and Analysis of Preprocessor-Based Variability.
In: Visser, E. (Ed.) : Proceedings of the 9th International Conference on Generative Programming and Component Engineering (GPCE '10)
(Generative Programming and Component Engineering (GPCE '10), Eindhoven, The Netherlands, October 2010).
New York, NY, USA : ACM Press, 2010, pp 33-42. - ISBN 978-1-4503-0154-1
Keywords: VAMOS
[doi>10.1145/1868294.1868300] (BibTeX)

Ko, JeongGil ; Wang, Qiang ; Schmid, Thomas ; Hofer, Wanja ; Dutta, Prabal ; Terzis, Andreas:
Egs: A Cortex-M3-Based Mote Platform.
In: Basagni, Stefano ; La Porta, Tom (Org.):
Proceedings of the Demo Session of the 7th IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communication and Networks (SECON-Demo 2010)
(Demo Session of the 7th IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communication and Networks (SECON-Demo 2010), Boston, MA, USA, June 2010).
Los Alamitos, CA, USA : IEEE Communications Society, 2010, pp 3.
Keywords: Wireless Sensor Networks; Mote Platform; ARM Cortex-M3; TinyOS (BibTeX)

Mitzlaff, Martin ; Kapitza, Rüdiger ; Schröder-Preikschat, Wolfgang:
Enabling Mode Changes in a Distributed Automotive System.
In: Fabre, Jean-Charles ; Guetta, Olivier ; Trapp, Mario (Org.):
Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety
(Workshop on Critical Automotive Applications: Robustness & Safety (CARS@EDCC2010), Valencia, 27.04.2010).
New York : The Association of Computing Machinery, 2010, pp 75-78. (Supplemental Volume of the Eight European Dependable Computing Conference) - ISBN 978-1-60558-915-2
Keywords: FlexRay, membership, mode change, software-update, automotive, scheduling (BibTeX)

Hönig, Timo:
Exploiting Resources of Mobile Devices in Energy Critical Environments.
Talk: Invited Talk, Victoria University of Wellington, School of Engineering and Computer Science,
Wellington, New Zealand, 15.1.2010 (BibTeX)

Hönig, Timo:
Extending Limited Mobile Devices by Exploiting Remote Resources.
Talk: Invited Talk, NICTA, Australia's ICT Research Centre of Excellence, Neville Roach Laboratory,
Sydney, Australia, 15.2.2010 (BibTeX)

Hönig, Timo ; Kapitza, Rüdiger ; Schröder-Preikschat, Wolfgang:
Extending Mobile Devices by Exploiting Remote Resources.
In: ACM SIGOPS (Org.):
Proceedings of ACM European Conference on Computer Systems (EuroSys 2010), Poster Session
(EuroSys 2010, Paris, France, 14.4.2010).
2010. (BibTeX)

Hönig, Timo:
Extending the Scope of Mobile Devices Running GNU/Linux.
Talk: Invited Talk, linux.conf.au,
Wellington, New Zealand, 19.1.2010 (BibTeX)

Sincero, Julio ; Tartler, Reinhard ; Egger, Christoph ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Facing the Linux 8000 Feature Nightmare.
In: ACM SIGOPS (Org.):
Proceedings of ACM European Conference on Computer Systems (EuroSys 2010), Best Posters and Demos Session
(EUROSYS 2010, Paris, France, April 2010).
2010.
Keywords: VAMOS,Configurability, System Software, Software Engineering, Maintenance (BibTeX)

Stilkerich, Michael ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
Gradual Software-Based Memory Protection.
In: ACM (Ed.) : Proceedings of the Workshop on Isolation and Integration for Dependable Systems (IIDS '10)
(EuroSys 2010, Paris, 13.04.2010).
New York : ACM, 2010. - ISBN 978-1-4503-0120-6
Keywords: KESO; Configurable Memory Protection; CiAO (BibTeX)

Stilkerich, Isabella ; Stilkerich, Michael ; Wawersich, Christian ; Schröder-Preikschat, Wolfgang:
KESO: An Open-Source Multi-JVM for Deeply Embedded Systems.
In: Kalibera, Tomas ; Vitek, Jan (Org.):
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
(The 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2010), Prague, Czech Republic, 19.8.-21.8.2010).
New York, NY, USA : ACM, 2010, pp 109-119 -- Best Papers at JTRES. - ISBN 978-1-4503-0122-0
Keywords: AUTOSAR; Java; KESO; OSEK/VDX; embedded systems; memory protection; spatial isolation
[doi>10.1145/1850771.1850788] (BibTeX)

Schröder-Preikschat, Wolfgang:
Laufzeitsysteme mehrkerniger Prozessoren - Aspekte der Synchronisation in Betriebssystemen.
Talk: Multicore Architecture and Programming Model Co-Optimization, TU München,
Kloster Seeon, 13.4.2010 (BibTeX)

Hofer, Wanja ; Elsner, Christoph ; Blendinger, Frank ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Leviathan: SPL Support on Filesystem Level.
In: Bosch, Jan ; Jaejoon, Lee (Org.):
Proceedings of the 14th International Software Product Line Conference (SPLC-Poster 2010)
(14th International Software Product Line Conference (SPLC-Poster 2010), Jeju Island, South Korea, September 2010).
Berlin/Heidelberg, Germany : Springer, 2010, pp 491. - ISBN 978-3-642-15578-9
Keywords: Leviathan; Software Product Lines; Variability Implementation; Preprocessor-Based Configuration; Toolchain-Independent Variability Support; Filesystem Views; VAMOS
[doi>10.1007/978-3-642-15579-6_43] (BibTeX)

Hofer, Wanja ; Elsner, Christoph ; Blendinger, Frank ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Leviathan: Taming the #ifdef Beast in Linux et al..
In: Howell, Jon (Org.):
Proceedings of the Poster Session of the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI-Poster 2010)
(Poster Session of the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI-Poster 2010), Vancouver, BC, Canada, October 2010).
Berkeley, CA, USA : USENIX Association, 2010, pp 1.
Keywords: Leviathan; Preprocessor-Based Configuration; Linux; Filesystem Views; VAMOS (BibTeX)

Stilkerich, Michael ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
Memory Protection at Option.
In: ACM (Ed.) : Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety
(Eighth European Dependable Computing Conference, Valencia, Spain, 26.04.2010).
New York : ACM, 2010, pp 17-20. - ISBN 978-1-60558-915-2
Keywords: KESO; Configurable Memory Protection; CiAO
[doi>10.1145/1772643.1772649] (BibTeX)

Wischermann, Dirk ; Schröder-Preikschat, Wolfgang:
Modelle als Mittel zur Verstärkung von strukturellen Tests sicherheitskritischer Software.
In: Fähnrich, Klaus-Peter ; Franczyk, Bogdan (Ed.) : Informatik 2010 - Service Science – Neue Perspektiven für die Informatik"
(Workshop on Model-based Testing (MoTes 2010), Leipzig, 28.09.2010). Vol. 176.
Bonn : GI, 2010, pp 363-368. - ISBN 978-3-88579-270-3 (BibTeX)

Elsner, Christoph ; Schwanninger, Christa ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Multi-Level Product Line Customization.
In: Fujita, Hamido (Ed.) : New Trends in Software Methodologies, Tools and Techniques (SoMeT 2010)
(9th International Conference on Software Methodologies, Tools and Techniques (SoMeT 2010), Yokohama, Japan, 09/29/2010--10/01/2010).
Amsterdam, Netherlands : IOS Press, 2010, pp 37-58. - ISBN 978-1-60750-628-7
[doi>10.3233/978-1-60750-629-4-37] (BibTeX)

Stilkerich, Isabella ; Stilkerich, Michael ; Wawersich, Christian ; Schröder-Preikschat, Wolfgang:
Presentation: KESO: An Open-Source Multi-JVM for Deeply Embedded Systems.
Talk: The 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2010), Charles University,
Prague, Czech Republic, 20.08.2010
Keywords: AUTOSAR; Java; KESO; OSEK/VDX; embedded systems; memory protection; spatial isolation (BibTeX)

Adams, Bram ; Haupt, Michael ; Lohmann, Daniel (Ed.):
Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (AOSD-ACP4IS '10).
(9th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software Rennes and Saint-Malo, France March 16)
Potsdam, Germany : Universitätsverlag Potsdam, 2010
(Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam Vol. 33).
- 56 pages. ISBN 978-3-86956-043-4
Keywords: systems software, middleware, virtual machines, operating systems, aspect-oriented software development, components (BibTeX)

Wischermann, Dirk ; Schröder-Preikschat, Wolfgang:
Separating Testing Concerns by Means of Models.
In: ECOOP (Ed.) : Workshop on Testing Object-Oriented Software Systems
(ETOOS 2010, Maribor, Slovenia, 21 June 2010).
Maribor : ECOOP, 2010, pp 38-44. (BibTeX)

Hoffmann, Martin:
Softwarebasierte Redundanz für zuverlässige eingebettete Echtzeitsysteme - CoRed - Combined Software Redundancy.
Talk: GI Fachgruppentreffen Betriebssysteme, IBM Deutschland Research & Development,
Böblingen, 15.10.2010 (BibTeX)

Distler, Tobias ; Kapitza, Rüdiger ; Reiser, Hans P.:
State Transfer for Hypervisor-Based Proactive Recovery of Heterogeneous Replicated Services.
In: Alkassar, Ammar ; Flegel, Ulrich ; Freiling, Felix C. (Ed.) : Proceedings of the 5th "Sicherheit, Schutz und Zuverlässigkeit" Conference (SICHERHEIT '10)
(SICHERHEIT '10, Berlin, 5-7 October).
2010, pp 61-72.
Keywords: REFIT (BibTeX)

Strübe, Moritz ; Kapitza, Rüdiger ; Stengel, Klaus ; Daum, Michael ; Dressler, Falko:
Stateful Mobile Modules for Robust In-network Processing.
In: ACM SIGOPS (Org.):
Proceedings of ACM European Conference on Computer Systems (EuroSys 2010), Poster Session
(EUROSYS 2010, Paris, France, April 2010).
2010.
Keywords: RDSP (BibTeX)

Strübe, Moritz ; Kapitza, Rüdiger ; Stengel, Klaus ; Daum, Michael ; Dressler, Falko:
Stateful Mobile Modules for Sensor Networks.
In: Rajaraman, Rajmohan ; Moscibroda, Thomas ; Dunkels, Adam ; Scaglione, Anna (Ed.) : IEEE (Org.):
Distributed Computing in Sensor Systems (6th IEEE International Conference, DCOSS 2010, Proceedings)
(6th IEEE International Conference for Distributed Computing in Sensor Systems (DCOSS ’10), Santa Barbara, California, June 2010).
Berlin : Springer, 2010, pp 63-76. (Lecture Notes in Computer Science Vol. LNCS, No. 6131) - ISBN 978-3-642-13650-4
Keywords: RDSP
[doi>10.1007/978-3-642-13651-1_5] (BibTeX)

Kapitza, Rüdiger ; Schunter, Matthias ; Cachin, Christian ; Stengel, Klaus ; Distler, Tobias:
Storyboard: Optimistic Deterministic Multithreading.
In: Verissimo, Paulo ; Weatherspoon, Hakim (Ed.) : Proceedings of the 6th Workshop on Hot Topics in System Dependability (HotDep '10)
(6th Workshop on Hot Topics in System Dependability (HotDep '10), Vancouver, Canada, 3.10.2010).
2010, pp 1-6.
Keywords: TCLOUDS,REFIT (BibTeX)

Schröder-Preikschat, Wolfgang:
Systemsoftware im Zeitalter mehrkerniger Prozessoren.
Talk: Innovation Forum Embedded Systems 2010, BICC-NET,
München, 23.4.2010 (BibTeX)

Schröder-Preikschat, Wolfgang:
Systemsoftware im Zeitalter mehrkerniger Prozessoren.
Talk: GI-Fachgruppe Betriebssysteme, IBM,
Böblingen, 15.10.2010
Keywords: multi-core; nonblocking synchronization (BibTeX)

Urban, Matthias ; Lohmann, Daniel ; Spinczyk, Olaf:
The Aspect-Oriented Design of the PUMA C/C++ Framework.
In: Südholt, Mario ; Hohenstein, Uwe ; Jézéquel, Jean-Marc ; Baudry, Benoit (Ed.) : AOSD '10: Proceedings of the 9th International Conference on Aspect-Oriented Software Development
(9th International Conference on Aspect-Oriented Software Development, Rennes and Saint-Malo, France, March 15-19).
New York, NY, USA : ACM Press, 2010, pp 217-221. - ISBN 978-1-60558-958-9
Keywords: AOSD, Industrial Applications, OOP, AspectC++, Puma, Parser Framework, Compiler Construction, CiAO
[doi>10.1145/1739230.1739256] (BibTeX)

Scheler, Fabian ; Schröder-Preikschat, Wolfgang:
The RTSC: Leveraging the Migration from Event-Triggered to Time-Triggered Systems.
In: Obermaisser, Roman (Ed.) : Proceedings of the 13th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC '10)
(IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing, Carmona, May 2010).
Washington : IEEE Press, 2010, pp 34-41. - ISBN 978-0-7695-4037-5
Keywords: ABBs; RTSC; Real-Time Systems; Event-Triggered Systems; Time-Triggered Systems
[doi>10.1109/ISORC.2010.11] (BibTeX)

Hofer, Wanja ; Elsner, Christoph ; Blendinger, Frank ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Toolchain-Independent Variant Management with the Leviathan Filesystem.
In: Kästner, Christian (Org.):
Proceedings of the 2nd Workshop on Feature-Oriented Software Development (FOSD 2010)
(2nd Workshop on Feature-Oriented Software Development (FOSD 2010), Eindhoven, The Netherlands, October 2010).
New York, NY, USA : ACM Press (Digital Library), 2010, pp 18-24. - ISBN 978-1-4503-0208-1
Keywords: Leviathan; Software Product Lines; Variability Implementation; Preprocessor-Based Configuration; Toolchain-Independent Variability Support; Filesystem Views; Käsebrot; VAMOS; CiAO
[doi>10.1145/1868688.1868692] (BibTeX)

Ulbrich, Peter ; Elsner, Christoph ; Hoffmann, Martin ; Schmid, Reiner ; Schröder-Preikschat, Wolfgang:
Using MARTE in Code-centric Real-time Projects Providing Evolution Support.
In: Boulet, Pierre ; Cancila, Daniela ; Espinoza, Huascar ; Morawiec, Adam (Org.):
Proceedings of the First Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2010)
(First Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2010), Dresden, Germany, 03/12/2010).
2010, pp 25-29.
Keywords: Real-time System; MARTE; Reverse Engineering; I4Copter (BibTeX)

Elsner, Christoph ; Botterweck, Goetz ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
Variability in Time - Product Line Variability and Evolution Revisited.
In: Grünbacher, Paul (Org.):
Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2010)
(Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2010), Linz, Austria, 01/27/2010).
Duisburg-Essen, Germany : Institut für Informatik unid Wirtschaftsinformatik, 2010, pp 131-138. (ICB-Research Reports Vol. 37)
Keywords: Variability over Time; Software Product Line Engineering; Software Evolution (BibTeX)