- , , , , :
A Scalability-Aware Kernel Executive for Many-Core Operating Systems
International Workshop on Runtime and Operating Systems for the Many-core Era (ROME 2013) (Aachen, 26. August 2013)
In: Proceedings of the 1st Workshop on Runtime and Operating Systems for the Many-core Era, Berlin-Heidelberg: 2013
DOI: 10.1007/978-3-642-54420-0_80
URL: https://www4.cs.fau.de/Publications/2013/drescher_13_rome.pdf - :
Analysing and attacking the I2P Network Database (Bachelor thesis, 2013)
URL: https://static.siccegge.de/pdfs/bachelor-thesis.pdf - , , , :
Experiences During Extraction of Variability Models for Warehouse Management Systems
20th Asia-Pacific Software Engineering Conference (APSEC 2013) (Bangkok, Thailand, 2. December 2013 - 5. December 2013)
In: Proceedings of the 20th Asia-Pacific Software Engineering Conference (APSEC 2013) 2013
DOI: 10.1109/APSEC.2013.124 - , , , :
Challenges in Managing Behavior Variability of Production Control Software
4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE 2013) (San Francisco, CA, USA, 20. May 2013 - 20. May 2013)
In: Proceedings of the 4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE 2013) 2013
DOI: 10.1109/PLEASE.2013.6608658
URL: http://www4.informatik.uni-erlangen.de/Publications/2013/elsner_13_please.pdf - , , :
Reasoning with Bounded Self-reference Using Logical Interpreters
26th International Workshop on Description Logics, DL 2013 (Ulm, 23. July 2013 - 26. July 2013)
In: Proc. 26th International Workshop on Description Logics, DL 2013, Aachen: 2013
Open Access: http://ceur-ws.org/Vol-1014/paper_75.pdf - , , :
dOSEK: A Dependable RTOS for Automotive Applications
19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '13) (Vancouver, British Columbia, Canada, 2. December 2013 - 4. December 2013)
In: Proceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '13) 2013
DOI: 10.1109/PRDC.2013.22
URL: http://www4.cs.fau.de/Publications/2013/hoffmann_13_prdc.pdf - , , :
Failure by Design: Influence of the RTOS Interface on Memory Fault Resilience
Informatik 2013 (Koblenz, Germany)
In: Proceedings of the 2nd GI Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13) 2013
URL: http://www4.cs.fau.de/Publications/2013/hoffmann_13_sobres.pdf - , , , :
An Infrastructure for the Life Cycle Management of Multi Product Lines
Proceedings of the 28th Symposium On Applied Computing (SAC 2013) (Coimbra, Portugal, 18. March 2013 - 22. March 2013)
In: 28th Symposium On Applied Computing. Track on Software Architecture: Theory, Technology, and Applications (SAC-SATTA 2013), to appear: 2013
DOI: 10.1145/2480362.2480691 - Hönig Timo, Eibel Christopher, Schröder-Preikschat Wolfgang, Cassens Björn, Kapitza Rüdiger:
Proactive Energy-Aware System Software Design with SEEP
EASED (Oldenburg, Germany, 25. April 2013 - 25. April 2013)
In: Proceedings of the 2nd Workshop on Energy Aware Software-Engineering and Development 2013
URL: http://www4.cs.fau.de/Publications/2013/hoenig_13_eased.pdf - , , , , , , , , :
Attack Surface Metrics and Automated Compile-Time OS Kernel Tailoring
Network and Distributed System Security Symposium (San Diego, CA United States, 24. February 2013 - 27. February 2013)
In: Proceedings of the 20th Network and Distributed System Security Symposium (NDSS '13) 2013
URL: http://www4.cs.fau.de/Publications/2013/kurmus_13_ndss.pdf - :
Leveraging Non-Blocking Synchronization in a Process-Based Many-Core OS Kernel (Master thesis, 2013) - :
Slothful Linux: Ein effizientes, hybrides Echtzeitbetriebssystem durch Hardware-basierte Task-Einlastung
Echtzeit 2013 (Boppard)
In: Funktionale Sicherheit, Berlin Heidelberg: 2013
DOI: 10.1007/978-3-642-41309-4_6 - , , , :
STARK Tamperproof Authentication to Resist Keylogging
Financial Cryptography and Data Security 2013 (Okinawa, Japan, 1. April 2013 - 5. April 2013)
In: Proceedings of FC2013 2013
DOI: 10.1007/978-3-642-39884-1_25 - , , , , :
Linux Variability Anomalies: What Causes Them and How Do They Get Fixed?
MRS 2013: The 10th Working Conference on Mining Software Repositories (San Francisco, CA, USA, 18. May 2013 - 19. May 2013)
In: Proceedings of the 10th Working Conference on Mining Software Repositories, Los Alamitos, CA, USA: 2013
DOI: 10.1109/MSR.2013.6624017
URL: http://www4.cs.fau.de/Publications/2013/nadi_13_msr.pdf - , , , , , , , , :
A Resource-Aware Nearest Neighbor Search Algorithm for K-Dimensional Trees
DASIP 2013 (Cagliari, Italy, 8. October 2013 - 10. October 2013)
In: Proceedings of the 2013 Conference on Design & Architectures for Signal & Image Processing 2013 - , , :
Moving Towards Industrial Software Ecosystems: Are Our Software Architectures Fit for the Future?
4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE 2013) (San Francisco, CA, USA, 20. May 2013 - 20. May 2013)
In: Proceedings of the 4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE 2013), to appear: 2013
DOI: 10.1109/PLEASE.2013.6608655
URL: http://www4.informatik.uni-erlangen.de/Publications/2013/schultis_13_please.pdf - , , :
Porting an Engine Control Application to a Virtual Environment by using an Open Source Real Time Operating System
Embedded World Conference (Nuremberg)
In: Embedded World Conference Proceedings, Haar: 2013 - , , :
EsseOS: Haskell-based Tailored Services for the Cloud
International Workshop on Adaptive and Reflective Middleware (Beijing, China, 9. December 2013 - 13. December 2013)
In: Proceedings of the 12th International Workshop on Adaptive and Reflective Middleware (ARM '13) 2013
DOI: 10.1145/2541583.2541587
URL: http://doi.acm.org/10.1145/2541583.2541587 - , , , , , , :
A JVM for Soft-Error-Prone Embedded Systems
The 14th Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2013) (Seattle, Washington, USA, 20. June 2013 - 21. June 2013)
In: Proceedings of the 14th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems 2013
DOI: 10.1145/2465554.2465571
URL: http://www4.cs.fau.de/Publications/2013/lctes167-stilkerich.pdf - :
Mastering Variability Challenges in Linux and Related Highly-Configurable System Software (Dissertation, 2013)
URL: http://opus4.kobv.de/opus4-fau/files/3613/ReinhardTartlerDissertation.pdf - , , :
Invasive Computing - Common Terms and Granularity of Invasion
Cornell: Cornell University Library, 2013
(Dagstuhl Preprint Serie)
URL: http://arxiv.org/pdf/1304.6067v1.pdf