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, p. 138-147 10 p. ( Proceedings IEEE Pacific Rim International Symposium on Dependable Computing).

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › 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). p. XX-XXI 2 p.

Research output: Chapter in book/report/conference proceeding › Foreword/postscript › Research › 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 Jun 2018, 30th Euromicro Conference on Real-Time Systems, ECRTS 2018. Altmeyer, S. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 24. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 106).

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

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

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

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › 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. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 196-203 8 p. 8102260

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

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

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

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

OSEK-V: Application-Specific RTOS Instantiation in Hardware

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

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › 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. (eds.). Gesellschaft fur Informatik (GI), p. 1425-1436 12 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. 275).

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › 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., p. 172-180 9 p.

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › 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 Jun 2016, ARCS 2016 - 29th International Conference on Architecture of Computing Systems. Institute of Electrical and Electronics Engineers Inc., p. 1-4 4 p.

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

Adaptive Swarm Search

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

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research

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. (eds.). p. 165-

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research

A model based approach for computing speedup on parallel machines using static code analysis

Zgeras, I., Brehm, J. & Sprodowski, T., 2011, Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Systems, PDCS 2011. p. 335-342 8 p. (Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Systems).

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review