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

Publications in 2011 at CS 4 at FAU

Mück, Tiago Rogério ; Gernoth, Michael ; Schröder-Preikschat, Wolfgang ; Fröhlich, Antônio Augusto Medeiros:
A Case Study of AOP and OOP Applied to Digital Hardware Design.
In: Fröhlich, Antônio Augusto Medeiros ; Becker, Leandro Buss ; da Silva Barros, Edna Natividade ; da Silva, Dilma Maria ; de Araújo Lima, George Marconi ; Petters, Stefan (Ed.) : Proceedings of the 2011 Brazilian Symposium on Computing System Engineering (SBESC)
(2011 Brazilian Symposium on Computing System Engineering (SBESC), Florianópolis, Brazil, November 7-11, 2011).
Los Alamitos, CA, USA : IEEE Digital Library, 2011, pp 66-71. - ISBN 978-1-4673-0427-6 (BibTeX)

Stellwag, Philippe ; Scheler, Fabian ; Krainz, Jakob ; Schröder-Preikschat, Wolfgang:
A Wait-Free NCAS Library for Parallel Applications with Timing Constraints.
In: Proceedings of Principles and Practice of Parallel Programming Conference (Ed.) : ACM SIGPLAN (Org.):
Principles and Practice of Parallel Programming 2011 (PPoPP 2011)
(16th ACM SIGPLAN Annual Symp. on Principles and Practice of Parallel Programming, San Antonio, TX).
2011, pp 301-302. - ISBN 978-1-4503-0119-0
Keywords: pCtrl; wait freedom; disjoint-access parallelism; NCAS; real-time systems (BibTeX)

Elsner, Christoph ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
An Infrastructure for Composing Build Systems of Software Product Lines.
In: Botterweck, Goetz (Org.):
Proceedings of 15th International Software Product Line Conference (SPLC 2011), Volume 2
(Joint Workshop of the 3rd International Workshop on Model-driven Approaches in Software Product Line Engineering and 3rd Workshop on Scalable Modeling Techniques for Software Product Lines (MAPLE/SCALE '11), Munich, Germany, 08/22/2011).
New York, NY, USA : ACM, 2011, pp 1-8.
[doi>10.1145/2019136.2019157] (BibTeX)

Pollner, Niko ; Daum, Michael ; Dressler, Falko ; Meyer-Wegener, Klaus:
An Overlay Network for Integration of WSNs in Federated Stream-Processing Environments.
In: IEEE (Ed.) : The 10th IFIP Annual Mediterranean Ad Hoc Networking Workshop
(MedHocNet 2011, Favignana, Italien, Juni 2011).
2011, pp 157-164.
Keywords: DSAM; Data Stream Application Manager; RDSP; overlay network; WSN; wireless sensor networks; embedded systems; heterogeneous systems; data stream processing; data stream systems; heterogeneous networks; routing; distributed systems; ressource efficiency
[doi>10.1109/Med-Hoc-Net.2011.5970483] (BibTeX)

Lohmann, Daniel ; Hofer, Wanja ; Schröder-Preikschat, Wolfgang ; Spinczyk, Olaf:
Aspect-Aware Operating System Development.
In: Chiba, Shigeru (Ed.) : Proceedings of the 10th International Conference on Aspect-Oriented Software Development (AOSD 2011)
(10th International Conference on Aspect-Oriented Software Development (AOSD 2011), Porto de Galinhas, Brazil, March 2011).
New York, NY, USA : ACM Press, 2011, pp 69-80. - ISBN 978-1-4503-0605-8
Keywords: CiAO; AOP; Aspect-Oriented Programming; AspectC++; Operating Systems; Embedded Systems; VAMOS
[doi>10.1145/1960275.1960285] (BibTeX)

Scheler, Fabian:
Atomic Basic Blocks: Eine Abstraktion für die gezielte Manipulation der Echtzeitsystemarchitektur.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2011.
- 171 pages.
Keywords: Echtzeitsystemarchitektur; Atomic Basic Blocks; ABB; Real-Time Systems Compiler; RTSC; zeitgesteuerte Systeme; ereignisgesteuerte Systeme; Real-Time Systems Architecture; Atomic Basic Blocks; Real-Time Systems Compiler; Time-triggered; Event-triggered (BibTeX)

Kurmus, Anil ; Sorniotti, Alessandro ; Kapitza, Rüdiger:
Attack Surface Reduction For Commodity OS Kernels.
In: Kirda, Engin ; Hand, Steven (Ed.) : Proceedings of the Fourth European Workshop on System Security
(EUROSEC 2011 European Workshop on System Security, Salzburg,Austria, 10. April).
-- : ACM, 2011, pp 6.
Keywords: TCLOUDS (BibTeX)

Stilkerich, Isabella ; Stilkerich, Michael ; Kapitza, Rüdiger ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
Automated Application of Fault Tolerance Mechanisms in a Component-Based System.
In: Wellings, Andy ; Ravn, Anders P. (Ed.) : Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
(The 9th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2011), York, UK, 26.9.-28.9.2011).
New York, NY, USA : ACM, 2011, pp 87-95. - ISBN 978-1-4503-0731-4
Keywords: Java; embedded systems; fault tolerance; TMR; KESO; DanceOS
[doi>10.1145/2043910.2043925] (BibTeX)

Stellwag, Philippe ; Schröder-Preikschat, Wolfgang:
Challenges in Real-Time Synchronization.
In: McCool, Michael ; Rosenblum, Mendel (Ed.) : Proceedings of the 3rd USENIX Workshop on Hot Topics in Parallelism (HotPar '11)
(USENIX Workshop on Hot Topics in Parallelism (HotPar '11), Berkeley, CA, USA, 26.-27.05.2011).
2011, pp 1-6.
Keywords: pCtrl; multi-core; many-core; nonblocking synchronization; real-time (BibTeX)

Hönig, Timo:
Cloud Computing: „At First Sunny With Cloudy Intervals, Then Overcast”.
Talk: Invited Talk, SUSE Linux Products GmbH,
Nuremberg, Germany, 28.1.2011 (BibTeX)

Tartler, Reinhard ; Lohmann, Daniel ; Dietrich, Christian ; Egger, Christoph ; Sincero, Julio:
Configuration Coverage in the Analysis of Large-Scale System Software.
In: ACM SIGOPS (Ed.) : Proceedings of the 4th Workshop on Programming Languages and Operating Systems
(4th Workshop on Programming Languages and Operating Systems (PLOS 2011), Cascais, Portugal, October 23, 2011).
2011.
Keywords: Algorithms, Design, Experimentation, Management, Languages, Configurability, Maintenance, Linux, Static Analysis, VAMOS (BibTeX)

Hofer, Wanja ; Sincero, Julio ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
Configuration of Non-Functional Properties in Embedded Operating Systems: The CiAO Approach.
In: Milanovic, Nikola (Ed.) : Engineering Reliable Service Oriented Architecture: Managing Complexity and Service Level Agreements.
Hershey, PA, USA : IGI Global, 2011, pp 84-103. - ISBN 978-1-60960-493-6
Keywords: CiAO; Non-Functional Properties; Software Product Lines; VAMOS
[doi>10.4018/978-1-60960-493-6] (BibTeX)

Schirmeier, Horst ; Kapitza, Rüdiger ; Lohmann, Daniel ; Spinczyk, Olaf:
DanceOS: Towards Dependability Aspects in Configurable Embedded Operating Systems.
In: Orailoglu, Alex (Org.):
Proceedings of the 3rd HiPEAC Workshop on Design for Reliability (DFR '11)
(The 3rd HiPEAC Workshop on Design for Reliability (DFR’11), Heraklion, Greece, 23.1.2011).
2011, pp 21-26.
Keywords: Dependability, AOP, Operating System, DanceOS (BibTeX)

Villanueva, Felix J. ; Daum, Michael ; Strübe, Moritz ; Lopez, J. C. ; Kapitza, Rüdiger ; Dressler, Falko:
Deployment-aware Energy Model for Operator Placement in Sensor Networks.
In: IEEE (Ed.) : Proceedings of 7th IEEE/ACM International Conference on Distributed Computing in Sensor Systems (DCOSS 2011), 2nd International Workshop on Interconnections of Wireless Sensor Networks (IWSN 2011)
(7th IEEE/ACM International Conference on Distributed Computing in Sensor Systems (DCOSS 2011), Barcelona, Spain, June 2011).
2011, pp 1-6.
Keywords: RDSP (BibTeX)

Henkel,Jörg ; Bauer,Lars ; Becker,Joachim ; Bringmann,Oliver ; Brinkschulte,Uwe ; Chakraborty,Samarjit ; Engel,Michael ; Ernst,Rolf ; Härtig,Hermann ; Hedrich,Lars ; Herkersdorf,Andreas ; Kapitza, Rüdiger ; Lohmann, Daniel ; Marwedel,Peter ; Platzner,Marco ; Rosenstiel,Wolfgang ; Schlichtmann,Ulf ; Spinczyk,Olaf ; Tahoori,Mehdi ; Teich, Jürgen ; Wehn,Norbert ; Wunderlich,Hans-Joachim:
Design and Architectures for Dependable Embedded Systems.
In: Dick, Robert P. ; Madsen, Jan (Ed.) : Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '11)
(9th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '11), Taipei, Taiwan, 9.-14. Oktober 2011).
New York, NY, USA : ACM Press, 2011, pp 69-78. - ISBN 978-1-4503-0715-4
Keywords: embedded systems, dependable systems, danceos
[doi>10.1145/2039370.2039384] (BibTeX)

Stellwag, Philippe:
Design Patterns of Parallel Control Systems.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2011.
- 169 pages.
Keywords: pCtrl, Nonblocking Coordination, Synchronization, Real-Time Systems, Control Systems (BibTeX)

Kobbe, Sebastiaon ; Bauer, Lars ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang ; Henkel, Jörg:
DistRM: Distributed Resource Management for On-Chip Many-Core Systems.
In: Dick, Robert P. ; Madsen, Jan (Ed.) : Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '11)
(9th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '11), Teipei, Taiwan, 9.-10. Oktober 2011).
New York, NY, USA : ACM Press, 2011, pp 119-128. - ISBN 978-1-4503-0715-4
Keywords: embedded systems, operating systems, resource management, invasic
[doi>10.1145/2039370.2039392] (BibTeX)

Hönig, Timo ; Eibel, Christopher ; Kapitza, Rüdiger ; Schröder-Preikschat, Wolfgang:
Energy-Aware Programming Utilizing the SEEP Framework and Symbolic Execution.
In: ACM SIGOPS (Ed.) : Proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP 2011), Poster Session
(SOSP 2011, Cascais, Portugal, October 23-26, 2011).
2011. (BibTeX)

Stilkerich, Michael ; Schedel, Jens ; Ulbrich, Peter ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Escaping the Bonds of the Legacy: Step-Wise Migration to a Type-Safe Language in Safety-Critical Embedded Systems.
In: Karsai, Gabor ; Polze, Andreas ; Kim, Doo-Hyun ; Steiner, Wilfried (Ed.) : Proceedings of the 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC '11)
(IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing, Newport Beach, CA, USA, March 2011).
Los Alamitos, California : IEEE Computer Society, 2011, pp 163-170. - ISBN 978-0-7695-4368-0
Keywords: CiAO; Java; KESO; OSEK/VDX; embedded systems; memory protection; spatial isolation
[doi>10.1109/ISORC.2011.29] (BibTeX)

Erhardt, Christoph ; Stilkerich, Michael ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
Exploiting Static Application Knowledge in a Java Compiler for Embedded Systems: A Case Study.
In: Wellings, Andy ; Ravn, Anders P. (Ed.) : Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
(The 9th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2011), York, UK, 26.9.-28.9.2011).
New York, NY, USA : ACM, 2011, pp 96-105 -- Best Papers at JTRES. - ISBN 978-1-4503-0731-4
Keywords: Java; KESO; embedded systems; compiler optimizations;
[doi>10.1145/2043910.2043927] (BibTeX)

Tartler, Reinhard ; Lohmann, Daniel ; Sincero, Julio ; Schröder-Preikschat, Wolfgang:
Feature Consistency in Compile-Time Configurable System Software.
In: Heiser, Gernoth ; Kirsch, Christoph (Ed.) : Proceedings of the EuroSys 2011 Conference (EuroSys '11)
(EuroSys 2011, Salzburg, 10-13 April 2011).
New York, NY, USA : ACM, 2011, pp 47-60. - ISBN 978-1-4503-0634-8
Keywords: VAMOS,Configurability, System Software, Software Engineering, Maintenance
[doi>10.1145/1966445.1966451] (BibTeX)

Tartler, Reinhard:
Finding and burying Configuration Defects in Linux with the undertaker.
Talk: Linux Plumbers Conference 2011,
Santa Rosa, 6.9.2011 (BibTeX)

Elsner, Christoph ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
Fixing Configuration Inconsistencies Across File Type Boundaries.
In: Abrahamsson, Pekka (Org.):
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications
(37th EUROMICRO Conference on Software Engineering and Advanced Applications, Oulu, Finland, 08/30/2011).
Los Alamitos, CA, USA : IEEE Computer Society, 2011, pp 116-123.
[doi>10.1109/SEAA.2011.26] (BibTeX)

Ulbrich, Peter ; Kapitza, Rüdiger ; Harkort, Christian ; Schmid, Reiner ; Schröder-Preikschat, Wolfgang:
I4Copter: An Adaptable and Modular Quadrotor Platform.
In: ACM (Ed.) : Proceedings of the 26th ACM Symposium on Applied Computing
(26th ACM Symposium on Applied Computing (SAC '11), TaiChung, Taiwan, 21 March 2011).
New York, NY, USA : ACM, 2011, pp 380-396. - ISBN 978-1-4503-0113-8
Keywords: I4Copter; Safety-critical mission scenario; Real-time application development; Static analysis; Research demonstrator; Quadrocopter; Quadrotor; Quadcopter
[doi>10.1145/1982185.1982267] (BibTeX)

Distler, Tobias ; Kapitza, Rüdiger:
Increasing Performance in Byzantine Fault-Tolerant Systems with On-Demand Replica Consistency.
In: European Chapter of ACM SIGOPS (Org.):
Proceedings of the EuroSys 2011 Conference (EuroSys '11)
(EuroSys 2011, Salzburg, 10-13 April).
2011, pp 91-105.
Keywords: REFIT (BibTeX)

Teich, Jürgen ; Henkel, Jörg ; Herkersdorf, Andreas ; Schmitt-Landsiedel, Doris ; Schröder-Preikschat, Wolfgang ; Snelting, Gregor:
Invasive Computing: An Overview.
In: Hübner, Michael ; Becker, Jürgen (Arr.):
Multiprocessor System-on-Chip - Hardware Design and Tool Integration.
New York : Springer, 2011, pp 241-268. - ISBN 978-1-4419-6459-5 (BibTeX)

Elsner, Christoph ; Groher, Iris ; Fiege, Ludger ; Völter, Markus:
Model-Driven Engineering Support For Product Line Engineering.
In: Rashid, Awais ; Royer, Jean-Claude ; Rummler, Andreas (Ed.) : Aspect-Oriented, Model-Driven Software Product Lines - The AMPLE Way.
New York, NY, USA : Cambridge University Press, 2011, pp -. - ISBN 978-0-521-76722-4 (BibTeX)

Oechslein, Benjamin ; Schedel, Jens ; Kleinöder, Jürgen ; Bauer, Lars ; Henkel, Jörg ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
OctoPOS: A Parallel Operating System for Invasive Computing.
In: McIlroy, Ross ; Sventek, Joe ; Harris, Tim ; Roscoe, Timothy (Ed.) : Proceedings of the International Workshop on Systems for Future Multi-Core Architectures (SFMA'11)
(Systems for Future Multi-Core Architectures (SFMA'11), Salzburg, 10.04.2011). Vol. USB Proceedings.
2011, pp 9-14.
Keywords: invasive computing; operating system; multi core; many core (BibTeX)

Stilkerich, Isabella:
Presentation: Automatische Anwendung von Fehlertoleranz Techniken in einer Java Virtual Machine für statische eingebettete Systeme.
Talk: Diskussionskreis Fehlertoleranz 2011, Deutsche Fehlertoleranzgemeinde,
Berlin, 01.12.2011
Keywords: KESO, software-based configurable fault tolerance, embedded systems, safety-critical systems, static analysis (BibTeX)

Söldner, Guido ; Kapitza, Rüdiger ; Rene, Meier:
Providing Context-Aware Adaptations Based on a Semantic Model.
In: Pascale Felber ; Romain Rouvoy (Ed.) : Proceedings of the 11th IFIP International Conference on Distributed Applications and Interoperable Systems
(11th IFIP International Conference on Distributed Applications and Interoperable Systems, Reykjavik, Iceland, Jun 6, 2011 - Jun 9, 2011).
Berlin : Springer, 2011, pp 57-70. (LNCS, No. 6723)
Keywords: AOCI
[doi>10.1007/978-3-642-21387-8_5] (BibTeX)

Urban, Matthias ; Lohmann, Daniel ; Spinczyk, Olaf:
Puma: An Aspect-Oriented Code Analysis and Manipulation Framework for C and C++.
In: Schwanninger, Christine ; Joosen, Wouter (Arr.):
Transactions on Aspect-Oriented Software Development (TAOSD).
Vol. VIII. Berlin : Springer, 2011, (LNCS, No. 6580), pp 141-162.
Keywords: AOSD, Industrial Applications, OOP, AspectC++, Puma, Parser Framework, Compiler Construction, CiAO
[doi>10.1007/978-3-642-22031-9_5] (BibTeX)

Franzmann, Florian ; Ulbrich, Peter:
Qualitätsgewahre digitale Signalverarbeitung.
Talk: Eingebettete Systeme und Betriebssysteme,
Otto-von-Guericke-Universität Magdeburg, 08.11.2011 (BibTeX)

Strübe, Moritz ; Böhm, Simon ; Kapitza, Rüdiger ; Dressler, Falko:
RealSim: Real-time Mapping of Real World Sensor Deployments into Simulation Scenarios.
In: ACM (Ed.) : Proceedings of the 6th ACM international workshop on Wireless network testbeds, experimental evaluation and characterization (WiNTECH '11)
(The Sixth ACM International Workshop on Wireless Network Testbeds, Experimental evaluation and Characterization, Las Vegas, Nevada, USA, September 2011).
2011, pp 95-96. - ISBN 978-1-4503-0867-0
Keywords: RDSP
[doi>10.1145/2030718.2030740] (BibTeX)

Schirmeier, Horst ; Hoffmann, Martin ; Kapitza, Rüdiger ; Lohmann, Daniel ; Spinczyk, Olaf:
Revisiting Fault-Injection Experiment-Platform Architectures.
In: Tsai, Timothy ; Yoneda. Tomohiro (Ed.) : Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '11)
(17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '11), Pasadena, CA, USA, 12.-14. Dez. 2011).
Los Alamitos, CA, USA : IEEE Computer Society, 2011, pp 284-285. - ISBN 978-1-4577-2005-5
Keywords: dependability, fault-injection, DanceOS
[doi>10.1109/PRDC.2011.46] (BibTeX)

Ulbrich, Peter:
Safety-critical Embedded Systems: From Theory to the (Flying) Real World.
Talk: Lehrstuhl für Informationstechnik für Luft- und Raumfahrt,
Universität Würzburg, 18.01.2011
Keywords: Redundanz, I4Copter, eingebettete Systeme, embedded Systems, Echtzeitsysteme, Quadrocopter, sicherheitskritische Systeme, CoSa, CoRed (BibTeX)

Ulbrich, Peter ; Franzmann, Florian:
Safety-critical Embedded Systems: From Theory to the (Flying) Real World.
Talk: Eingebettete Systeme und Betriebssysteme,
Otto-von-Guericke-Universität Magdeburg, 08.11.2011
Keywords: Redundanz, I4Copter, eingebettete Systeme, embedded Systems, Echtzeitsysteme, Quadrocopter, sicherheitskritische Systeme, CoSa, CoRed (BibTeX)

Hönig, Timo:
SEEP: Energy-Aware Programming by Exploiting Symbolic Execution.
Talk: Invited Talk, École Polytechnique Fédérale de Lausanne (EPFL),
Lausanne, Switzerland, 14.10.2011 (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.) : Proceedings of the 4th Workshop on Power-Aware Computing and Systems (HotPower 2011)
(4th Workshop on Power-Aware Computing and Systems (HotPower '11), in conjunction with the 23rd ACM Symposium on Operating Systems Principles (SOSP), Cascais, 23 October).
2011.
[doi>10.1145/2039252.2039256] (BibTeX)

Hofer, Wanja ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
Sleepy Sloth: Threads as Interrupts as Threads.
In: Almeida, Luis ; Brandt, Scott (Ed.) : Proceedings of the 32nd IEEE Real-Time Systems Symposium (RTSS 2011)
(32nd IEEE Real-Time Systems Symposium (RTSS 2011), Vienna, Austria, November 2011).
Los Alamitos, CA, USA : IEEE Computer Society, 2011, pp 67-77. - ISBN 978-0-7695-4591-2
Keywords: Sloth; Operating Systems; Embedded Systems; Real-Time Systems; Thread Management; Interrupt Handling; OSEK; Infineon TriCore; Priority-Driven Scheduling; Blocking Threads
[doi>10.1109/RTSS.2011.14] (BibTeX)

Kazandjieva, Maria ; Heller, Brandon ; Gnawali, Omprakash ; Hofer, Wanja ; Levis, Philip ; Kozyrakis, Christos:
Software or Hardware: The Future of Green Enterprise Computing.
Stanford, CA, USA : Stanford University. 2011
(CSTR 2011-02). - Internal report. 13 pages
Keywords: Green Computing; Energy Conservation; Thin Clients; Servers; Virtual Machines; Total Cost of Ownership (BibTeX)

Ulbrich, Peter:
Software-Based Redundancy Techniques for High-Reliability Embedded Real-Time Systems.
Talk: Brown Bag Talks, Deutsches Forschungszentrum für künstliche Intelligenz (DFKI),
Bremen, 19.04.2011
Keywords: Redundanz; I4Copter; eingebettete Systeme; embedded Systems; Echtzeitsysteme; Quadrocopter; sicherheitskritische Systeme; CoSa; CoRed (BibTeX)

Groher, Iris ; Fiege, Ludger ; Elsner, Christoph ; Schwanninger, Christa ; Völter, Markus:
Solution-Driven Software Product Line Engineering.
In: Rashid, Awais ; Royer, Jean-Claude ; Rummler, Andreas (Ed.) : Aspect-Oriented, Model-Driven Software Product Lines - The AMPLE Way.
New York, NY, USA : Cambridge University Press, 2011, pp -. - ISBN 978-0-521-76722-4 (BibTeX)

Distler, Tobias ; Kapitza, Rüdiger ; Popov, Ivan ; Reiser, Hans P. ; Schröder-Preikschat, Wolfgang:
SPARE: Replicas on Hold.
In: Internet Society (ISOC) (Org.):
Proceedings of the 18th Network and Distributed System Security Symposium (NDSS '11)
(18th Network and Distributed System Security Symposium (NDSS '11), San Diego, 6-9 February).
2011, pp 407-420.
Keywords: REFIT (BibTeX)

Schröder-Preikschat, Wolfgang:
System Software in the Many-Core Era.
Talk: Future Trends in SOC 2011 - The Annual Symposium of the HPI Research School, Hasso-Plattner-Institut,
Potsdam, 16.6.2011 (BibTeX)

Scheler, Fabian ; Schröder-Preikschat, Wolfgang:
The Real-Time Systems Compiler: migrating event-triggered systems to time-triggered systems.
In: Software: Practice and Experience 41 (2011), No. 12, pp 1491-1515
Keywords: Atomic Basic Blocks; ABB; RTSC; Real-Time Systems Compiler; Real-Time Systems; Echtzeitsysteme; Event-Triggered Systems; Time-Triggered Systems
[doi>10.1002/spe.1099] (BibTeX)

Wawersich, Christian ; Stilkerich, Isabella ; Stilkerich, Michael:
The Use of Java in the Context of AUTOSAR 4.0.
In: Scheinig, Katrin (Ed.) : Embedded World Proceedings & Conference Materials
(Embedded World 2011, Nürnberg, 1.3.-3.3.2011).
Nürnberg, Germany : Embedded World, 2011. - ISBN 978-3-7723-0861-1
Keywords: KESO, Java, AUTOSAR (BibTeX)