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

Towards an Algorithm and Communication Cost Model for the Parallel Particle Swarm Optimization

Shuka, R., Niemann, S., Brehm, J. & Müller-Schloer, C., 27 Juni 2016, ARCS 2016 - 29th International Conference on Architecture of Computing Systems. Institute of Electrical and Electronics Engineers Inc., S. 1-4 4 S.

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

Adaptive Swarm Search

Shuka, R., 2015, Organic Computing: Doctoral Dissertation Colloquium 2015. Sick, B. & Tomforde, S. (Hrsg.). S. 45 1 S. (Intelligent Embedded Systems; Band 7).

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

On the Application Possibilities of Organic Computing Principles in Socio-technical Systems

Heck, H., Edenhofer, S., Gruhl, C., Lund, A., Shuka, R. & Hähner, J., 2015, Organic Computing: Doctoral Dissertation Colloquium 2015. Sick, B. & Tomforde, S. (Hrsg.). S. 165-

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