• Skip navigation
  • Skip to navigation
  • Skip to the bottom
Simulate organization breadcrumb open Simulate organization breadcrumb close
Friedrich-Alexander-Universität Lehrstuhl für Informatik 4 (Systemsoftware)
  • FAUTo the central FAU website
  1. Friedrich-Alexander-Universität
  2. Technische Fakultät
  3. Department Informatik
Suche öffnen
  • Deutsch
  • Campo
  • StudOn
  • FAUdir
  • Jobs
  • Map
  • Help
  1. Friedrich-Alexander-Universität
  2. Technische Fakultät
  3. Department Informatik
Friedrich-Alexander-Universität Lehrstuhl für Informatik 4 (Systemsoftware)
Navigation Navigation close
  • Chair
    • Team
    • News
    • Contact and directions
    • Mission Statement
    Portal Chair
  • Research
    • Research Fields
      • Confidential Computing
      • Distributed Systems
      • Embedded System Software
      • Operating Systems
    • Research Projects
      • AIMBOS
      • BALu
      • BFT2Chain
      • DOSS
      • Mirador
      • NEON
      • PAVE
      • ResPECT
      • Watwa
    • Project Initiatives
      • maRE
    • Seminar
      • Systemsoftware
    Portal Research
  • Publications
  • Teaching
    • List of German Lectures
    Portal Teaching
  • Theses
  1. Home
  2. Publications
  3. 2012

2012

In page navigation: Publications
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000

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
    DOI: 10.1145/2168697.2168704
    URL: 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. October 2012 - 4. October 2012)
    In: Proceedings of the 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS '12) 2012
    DOI: 10.1007/978-3-642-33536-5_21
    URL: 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. June 2012 - 29. June 2012)
    In: MobiSys '12: Proceedings of the 10th international conference on Mobile systems, applications, and services, New York, NY, USA: 2012
    DOI: 10.1145/2307636.2307676
    URL: 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
    DOI: 10.1145/2362536.2362544
    URL: 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. March 2012 - 27. March 2012)
    In: Proceedings of the 2nd AOSD Workshop on Modularity in Systems Software (AOSD-MISS ’12), New York, NY, USA: 2012
    DOI: 10.1145/2162024.2162030
    URL: 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. December 2012 - 4. December 2012)
    In: Proceedings of the 1st Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management (SDMCMM '12) 2012
    DOI: 10.1145/2405186.2405187
    URL: http://www4.cs.fau.de/Publications/2012/distler_12_sdmcmm.pdf
  • Elsner C.:
    Automating Staged Product Derivation for Heterogeneous Multi-Product-Lines (Dissertation, 2012)
    URL: 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
    DOI: 10.1145/2362536.2362557
    URL: 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. December 2012 - 7. December 2012)
    In: Proceedings of the 33rd IEEE Real-Time Systems Symposium (RTSS 2012), Los Alamitos, CA, USA: 2012
    DOI: 10.1109/RTSS.2012.75
    URL: 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. December 2012 - 7. December 2012)
    In: Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC 2012), to appear: 2012
    DOI: 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. January 2012 - 27. January 2012)
    In: Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, New York, NY, USA: 2012
    DOI: 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, p. 58-62 (ACM SIGOPS Operating Systems Review, Vol.45)
    DOI: 10.1145/2094091.2094106
    URL: 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
    URL: 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
    DOI: 10.1145/2168836.2168866
    URL: 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. February 2011 - 17. February 2011)
    In: Proceedings of the 9th European Conference on Wireless Sensor Networks (EWSN 2012), Berlin: 2012
    DOI: 10.1007/978-3-642-28169-3_7
    URL: 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
    In: Lecture Notes in Computer Science (2012), p. 168-215
    ISSN: 0302-9743
    DOI: 10.1007/978-3-642-35551-6_5
    URL: 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. February 2012 - 2. March 2012)
    In: Workshop on Dependability and Fault-Tolerance (VERFE), Bonn: 2012
    URL: http://www4.cs.fau.de/Publications/2012/hoffmann_12_verfe.pdf
  • Stilkerich I., Sechser B.:
    Fehlertoleranz-Techniken automatisiert einbetten
    In: Elektronikpraxis - Profiline 2012 (2012), p. 26-28
    ISSN: 0341-5589
  • Stilkerich M.:
    Memory Protection at Option - Application-Tailored Memory Safety in Safety-Critical Embedded Systems (Dissertation, 2012)
    URL: 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
    In: Concurrency and Computation-Practice & Experience 24 (2012), p. 789-812
    ISSN: 1532-0626
    DOI: 10.1002/cpe.1755
  • Söldner G.:
    Semantische Adaption von Komponenten (Dissertation, 2012)
    URL: 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. October 2012 - 7. October 2012)
    In: USENIX Association (ed.): Proceedings of the 8th Workshop on Hot Topics in System Dependability (HotDep '12), Berkeley, CA, USA: 2012
    URL: 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
    In: Operating Systems Review 45 (2012), p. 10-14
    ISSN: 0163-5980
    DOI: 10.1145/2094091.2094095
    URL: 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
    In: International Journal on Software Tools for Technology Transfer 14 (2012), p. 531-551
    ISSN: 1433-2779
    DOI: 10.1007/s10009-012-0225-2
    URL: 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
    DOI: 10.1109/ROSE.2012.6402632
    URL: 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. June 2012 - 22. June 2012)
    In: Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, Los Alamitos: 2012
    DOI: 10.1109/SIES.2012.6356595
    URL: 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. May 2012 - 11. May 2012)
    In: Correia, Miguel (ed.): Proceedings of the 9th European Dependable Computing Conference, Los Alamitos: 2012
    DOI: 10.1109/EDCC.2012.21
    URL: 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 (Diploma thesis, 2012)
    URL: https://www4.cs.fau.de/~arw/da-inf.pdf
Friedrich-Alexander-Universität
Erlangen-Nürnberg

Schlossplatz 4
91054 Erlangen
  • Impressum
  • Datenschutz
  • Barrierefreiheit
  • Facebook
  • RSS Feed
  • Xing
Up