2012
Behl J. Distler T. Heisig F. , Kapitza R. Schunter M. :Providing Fault-tolerant Execution of Web-service-based Workflows within Clouds 2nd International Workshop on Cloud Computing Platforms (Bern 10. April 2012 - 10. April 2012 )In: Proceedings of the 2nd International Workshop on Cloud Computing Platforms (CloudCP '12) 2012 10.1145/2168697.2168704 http://dl.acm.org/ft_gateway.cfm?id=2168704&type=pdf Behl J. Distler T. Kapitza R. DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (Toronto 1. Oktober 2012 - 4. Oktober 2012 )In: Proceedings of the 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS '12) 2012 10.1007/978-3-642-33536-5_21 http://www4.informatik.uni-erlangen.de/~distler/publications/behl12dqmp.pdf Borchert C. , Lohmann D. , Spinczyk O. :CiAO/IP: A Highly Configurable Aspect-Oriented IP Stack MobiSys '12 (Low Wood Bay, Lake District, United Kingdom 25. Juni 2012 - 29. Juni 2012 )In: MobiSys '12: Proceedings of the 10th international conference on Mobile systems, applications, and services , New York, NY, USA 2012 10.1145/2307636.2307676 http://www4.cs.fau.de/Publications/2012/borchert_12_mobisys.pdf Dietrich C. , Tartler R. , Schröder-Preikschat W. Lohmann D. :A Robust Approach for Variability Extraction from the Linux Build System 16th International Software Product Line Conference (Salvador - Brazil 2. September 2012 - 7. September 2012 )In: Proceedings of the 16th International Software Product Line Conference , New York 2012 10.1145/2362536.2362544 http://www4.cs.fau.de/Publications/2012/dietrich_12_splc.pdf Dietrich C. , Tartler R. , Schröder-Preikschat W. Lohmann D. :Understanding Linux Feature Distribution 2nd Workshop on Modularity In Systems Software (Potsdam 27. März 2012 - 27. März 2012 )In: Proceedings of the 2nd AOSD Workshop on Modularity in Systems Software (AOSD-MISS 12) , New York, NY, USA 2012 10.1145/2162024.2162030 http://www4.informatik.uni-erlangen.de/Publications/2012/dietrich_12_aosd-miss.pdf Distler T. Fischer F. , Kapitza R. Ling S. :Enhancing Coordination in Cloud Infrastructures with an Extendable Coordination Service 1st Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management (Montreal 3. Dezember 2012 - 4. Dezember 2012 )In: Proceedings of the 1st Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management (SDMCMM '12) 2012 10.1145/2405186.2405187 http://www4.cs.fau.de/Publications/2012/distler_12_sdmcmm.pdf Elsner C. :Automating Staged Product Derivation for Heterogeneous Multi-Product-Lines 2012 )http://www.opus.ub.uni-erlangen.de/opus/volltexte/2012/3265/ Elsner C. :Light-Weight Tool Support for Staged Product Derivation 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 2. September 2012 - 7. September 2012 )In: Proceedings of the 16th International Software Product Line Conference (SPLC 2012) , New York, NY, USA 2012 10.1145/2362536.2362557 http://www4.informatik.uni-erlangen.de/Publications/2012/elsner_12_splc.pdf Hofer W. , Danner D. , Müller R. , Scheler F. , Schröder-Preikschat W. Lohmann D. :Sloth on Time: Efficient Hardware-Based Scheduling for Time-Triggered RTOS 33rd IEEE Real-Time Systems Symposium (RTSS 2012) (San Juan, Puerto Rico 5. Dezember 2012 - 7. Dezember 2012 )In: Proceedings of the 33rd IEEE Real-Time Systems Symposium (RTSS 2012) , Los Alamitos, CA, USA 2012 10.1109/RTSS.2012.75 http://www4.cs.fau.de/Publications/2012/hofer_12_rtss.pdf Holl G. , Gruenbacher P. , Elsner C. , Klambauer T. :Supporting Awareness During Collaborative and Distributed Configuration of Multi Product Lines 19th Asia-Pacific Software Engineering Conference (APSEC 2012) (Hong Kong 4. Dezember 2012 - 7. Dezember 2012 )In: Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC 2012) , to appear 2012 10.1109/APSEC.2012.41 Holl G. , Thaller D. , Grünbacher P. , Elsner C. :Managing Emerging Configuration Dependencies in Multi Product Lines Sixth International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2012) (Leipzig, Germany 25. Januar 2012 - 27. Januar 2012 )In: Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems , New York, NY, USA 2012 10.1145/2110147.2110148 Hönig T. , Eibel C. Kapitza R. Schröder-Preikschat W. SEEP: Exploiting Symbolic Execution for Energy-Aware Programming In: Best Papers from SOSP 2011 Workshops New York Association for Computing Machinery (ACM) 2012 , S. 58-62 (ACM SIGOPS Operating Systems Review, Bd.45) 10.1145/2094091.2094106 http://www4.cs.fau.de/Publications/2012/hoenig_12_osr.pdf Hönig T. , Kapitza R. Schröder-Preikschat W. ProSEEP: A Proactive Approach to Energy-Aware Programming USENIX ATC 2012 (Boston, MA, USA In: Proceedings of the 2012 USENIX Annual Technical Conference (ATC 2012), Poster Session 2012 http://www4.cs.fau.de/Publications/2012/hoenig_12_atc.pdf Kapitza R. Behl J. Cachin C. , Distler T. Kuhnle S. , Mohammadi SV. , Schröder-Preikschat W. Stengel K. :CheapBFT: Resource-efficient Byzantine Fault Tolerance EuroSys 2012 (Bern 10. April 2012 - 13. April 2012 )In: Proceedings of the EuroSys 2012 Conference (EuroSys '12) 2012 10.1145/2168836.2168866 http://www4.cs.fau.de/Publications/2012/kapitza_12_eurosys.pdf Ko J. , Klues K. , Richter C. , Hofer W. , Kusy B. , Bruenig M. , Schmid T. , Wang Q. , Dutta P. , Terzis A. :Low Power or High Performance? A Tradeoff Whose Time Has Come (and Nearly Gone) 9th European Conference on Wireless Sensor Networks (EWSN 2012) (Trento, Italy 15. Februar 2011 - 17. Februar 2011 )In: Proceedings of the 9th European Conference on Wireless Sensor Networks (EWSN 2012) , Berlin 2012 10.1007/978-3-642-28169-3_7 http://www4.informatik.uni-erlangen.de/Publications/2012/ko_12_ewsn.pdf Lohmann D. , Spinczyk O. , Hofer W. , Schröder-Preikschat W. The Aspect-Aware Design and Implementation of the CiAO Operating-System Family Lecture Notes in Computer Science 2012 ), S. 168-215 ISSN: 0302-9743 10.1007/978-3-642-35551-6_5 http://www4.informatik.uni-erlangen.de/Publications/2012/lohmann_12_taosd.pdf Scheler F. :Atomic Basic Blocks - Eine Abstraktion für die gezielte Manipulation der Echtzeitsystemarchitektur Kolloquium zum GI Dissertationspreis 2011 (Dagstuhl In: Ausgezeichnete Informatikdissertationen 2011 , Bonn 2012 Schirmeier H. , Hoffmann M. , Kapitza R. Lohmann D. , Spinczyk O. :FAIL*: Towards a Versatile Fault-Injection Experiment Framework 25th International Conference on Architecture of Computing Systems (ARCS '12) (Munich 28. Februar 2012 - 2. März 2012 )In: Workshop on Dependability and Fault-Tolerance (VERFE) , Bonn 2012 http://www4.cs.fau.de/Publications/2012/hoffmann_12_verfe.pdf Stilkerich I. , Sechser B. :Fehlertoleranz-Techniken automatisiert einbetten Elektronikpraxis - Profiline 2012 2012 ), S. 26-28 ISSN: 0341-5589 Stilkerich M. :Memory Protection at Option - Application-Tailored Memory Safety in Safety-Critical Embedded Systems 2012 )http://www.opus.ub.uni-erlangen.de/opus/volltexte/2012/3969/pdf/MichaelStilkerichDissertation.pdf Stilkerich M. , Stilkerich I. , Wawersich C. , Schröder-Preikschat W. Tailor-made JVMs for statically configured embedded systems Concurrency and Computation-Practice & Experience 24 2012 ), S. 789-812 ISSN: 1532-0626 10.1002/cpe.1755 Söldner G. :Semantische Adaption von Komponenten 2012 )http://opus4.kobv.de/opus4-fau/files/2772/diss_1.pdf Tartler R. , Kurmus A. , Heinloth B. Rothberg V. , Ruprecht A. , Dorneanu D. , Kapitza R. Schröder-Preikschat W. Lohmann D. :Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability Eigth Workshop on Hot Topics in System Dependability (Hollywood, CA, USA 7. Oktober 2012 - 7. Oktober 2012 )In: USENIX Association (Hrsg.): Proceedings of the 8th Workshop on Hot Topics in System Dependability (HotDep '12) , Berkeley, CA, USA 2012 http://www4.cs.fau.de/Publications/2012/tartler_12_hotdep.pdf Tartler R. , Lohmann D. , Dietrich C. , Egger C. , Sincero J. :Configuration coverage in the analysis of large-scale system software Operating Systems Review 45 2012 ), S. 10-14 ISSN: 0163-5980 10.1145/2094091.2094095 http://www4.cs.fau.de/Publications/2012/tartler_12_osr.pdf Tartler R. , Sincero J. , Dietrich C. , Schröder-Preikschat W. Lohmann D. :Revealing and Repairing Configuration Inconsistencies in Large-Scale System Software International Journal on Software Tools for Technology Transfer 14 2012 ), S. 531-551 ISSN: 1433-2779 10.1007/s10009-012-0225-2 http://www4.cs.fau.de/Publications/2012/tartler_12_sttt.pdf Teich J. , Weichslgartner A. , Oechslein B. , Schröder-Preikschat W. Invasive Computing - Concepts and Overheads Forum on Specification & Design Languages (FDL) (Vienna 18. September 2012 - 20. September 2012 )In: Proc. of the Forum on Specification & Design Languages (FDL) , New York, NY, USA 2012 Ulbrich P. Franzmann FP. , Harkort C. , Hoffmann M. , Klaus T. Rebhan A. , Schröder-Preikschat W. Taking Control: Modular and Adaptive Robotics Process Control Systems 10th IEEE International Symposium on Robotic and Sensors Environments (ROSE '12) (Magdeburg 16. November 2012 - 18. November 2012 )In: Proceedings of the 10th IEEE International Symposium on Robotic and Sensors Environments , Los Alamitos 2012 10.1109/ROSE.2012.6402632 http://www4.cs.fau.de/Publications/2012/ulbrich_12_rose.pdf Ulbrich P. Franzmann FP. , Scheler F. , Schröder-Preikschat W. Design by Uncertainty: Towards the Use of Measurement Uncertainty in Real-Time Systems 7th Symposium on Industrial Embedded Systems (SIES '12) (Karlsruhe, Germany 20. Juni 2012 - 22. Juni 2012 )In: Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems , Los Alamitos 2012 10.1109/SIES.2012.6356595 http://www4.cs.fau.de/Publications/2012/ulbrich_12_sies.pdf Ulbrich P. Hoffmann M. , Kapitza R. Lohmann D. , Schröder-Preikschat W. Schmid R. :Eliminating Single Points of Failure in Software-Based Redundancy 9th European Dependable Computing Conference (EDCC '12) (Sibiu, Romania 8. Mai 2012 - 11. Mai 2012 )In: Correia, Miguel (Hrsg.): Proceedings of the 9th European Dependable Computing Conference , Los Alamitos 2012 10.1109/EDCC.2012.21 https://www4.cs.fau.de/Publications/2012/ulbrich_12_edcc.pdf Würstlein A. Design and Implementation of a Transparent Memory Encryption and Transformation System 2012 )https://www4.cs.fau.de/~arw/da-inf.pdf