Multiverse: Compiler-Assisted Management of Dynamic Variability in Low-Level System Software

Rommel, F., Dietrich, C., Rodin, M. & Lohmann, D., 25 März 2019, Proceedings of the 14th EuroSys Conference 2019. New York, 13 S. 37

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Semi-Extended Tasks: Efficient Stack Sharing among Blocking Threads

Dietrich, C. & Lohmann, D., 7 Jan. 2019, 39th IEEE Real-Time Systems Symposium (RTSS). Institute of Electrical and Electronics Engineers Inc., S. 338-349 12 S. 8603225. (Proceedings Real-Time Systems Symposium).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

cHash: Detection of Redundant Compilations via AST Hashing

Dietrich, C., Rothberg, V., Füracker, L., Ziegler, A. & Lohmann, D., 1 Jan. 2019, Proceedings of the 2017 USENIX Annual Technical Conference, USENIX ATC 2017. S. 527-538 12 S.

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Program-Structure–Guided Approximation of Large Fault Spaces

Pusz, O., Kiechle, D., Dietrich, C. & Lohmann, D., 2019, 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE Computer Society, S. 138-147 10 S. ( Proceedings IEEE Pacific Rim International Symposium on Dependable Computing).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

SISSY 2018 Foreword: 5th International Workshop on Self-Improving Systems Integration

Bellman, K., Tomforde, S., Würtz, R. P., Botev, J., Brinkschulte, U., Diaconescu, A., Esterle, L., Geihs, K., Hoffmann, M., Karl, W., Lewis, P., Maehle, E., Mühl, G., Müller-Schloer, C., Ponsar, H., Reif, W., Rudolph, S., Schiele, G., Sick, B., Stein, A., Stewart, C., Tessone, C. J. & Wacker, A., Sept. 2018, 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W). S. XX-XXI 2 S.

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Vorwort/Nachwort › Forschung › Peer-Review

Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems

Wägemann, P., Dietrich, C., Distler, T., Ulbrich, P. & Schröder-Preikschat, W., 22 Juni 2018, 30th Euromicro Conference on Real-Time Systems, ECRTS 2018. Altmeyer, S. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 24. (Leibniz International Proceedings in Informatics, LIPIcs; Band 106).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Cross-Layer Fault-Space Pruning for Hardware-Assisted Fault Injection

Dietrich, C., Schmider, A., Pusz, O., Payá Vayá, G. & Lohmann, D., Juni 2018, Proceedings of the 55th Annual Design Automation Conference, DAC 2018. Institute of Electrical and Electronics Engineers Inc., 79. (Proceedings - Design Automation Conference; Band Part F137710).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Automatic Verification of Application-Tailored OSEK Kernels

Deifel, H. P., Gottlinger, M., Milius, S., Schroder, L., Dietrich, C. & Lohmann, D., 9 Nov. 2017, Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD 2017). Weissenbacher, G. & Stewart, D. (Hrsg.). Institute of Electrical and Electronics Engineers Inc., S. 196-203 8 S. 8102260

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems

Dietrich, C., Wägemann, P., Ulbrich, P. & Lohmann, D., 5 Juni 2017, Proceedings - 2017 IEEE 23rd Real-Time and Embedded Technology and Applications Symposium, RTAS 2017. Parmer, G. (Hrsg.). Institute of Electrical and Electronics Engineers Inc., S. 37-48 12 S. 7939019

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

OSEK-V: Application-Specific RTOS Instantiation in Hardware

Dietrich, C. & Lohmann, D., Juni 2017, LCTES 2017: Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems. Shao, Z. & Nagarajan, V. (Hrsg.). Association for Computing Machinery (ACM), S. 111-120 10 S. (Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

VeraPlan: Eine kollaborative Cloudanwendung zur Veranstaltungsplanung

Meyer, F., Klocke-Wurm, T., Busse, K. T., Kuhlmann, F., Brehm, J. & Hoffmann, M., 2017, 47. Jahrestagung der Gesellschaft fur Informatik, Informatik 2017. Eibl, M. & Gaedke, M. (Hrsg.). Gesellschaft fur Informatik (GI), S. 1425-1436 12 S. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); Band 275).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Dynamic Self-Reconfiguration of a MIPS-Based Soft-Processor Architecture

Nolting, S., Payá-Vayá, G., Giesemann, F., Blume, H., Niemann, S. & Müeller-Schloer, C., 4 Aug. 2016, 2016 IEEE 30th International Parallel and Distributed Processing Symposium: Program & Proceedings. Institute of Electrical and Electronics Engineers Inc., S. 172-180 9 S.

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review