Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)

Run-Time Enforcement of Non-Functional Application Requirements in Heterogeneous Many-Core Systems (2020) Teich J, Pourmohseni B, Keszöcze O, Spieck J, Wildermann S Conference contribution, Original article Run-Time Enforcement of Non-functional Program Properties on MPSoCs (2020) Teich J, Mahmoody P, Pourmohseni B, Roloff S, Schröder-Preikschat W, Wildermann S Book chapter / Article in edited volumes Improving SAT Solving Using Monte Carlo Tree Search-based Clause Learning (2020) Keszöcze O, Schmitz K, Schloeter J, Drechsler R Book chapter / Article in edited volumes Robustness Approaches for the Examination Timetabling Problem under Data Uncertainty (2019) Bassimir B, Wanka R Conference contribution, Original article Thermally Composable Hybrid Application Mapping for Real-Time Applications in Heterogeneous Many-Core Systems (2019) Pourmohseni B, Smirnov F, Khdr H, Wildermann S, Teich J, Henkel J Conference contribution, other Swarm Intelligence (2019) Wanka R Journal article, Editorial Igor, get me the optimum! Prioritizing important design decisions during the DSE of embedded systems (2019) Smirnov F, Pourmohseni B, GLAß M, Teich J Journal article Polyhedral Fragments: An Efficient Representation for Symbolically Generating Code for Processor Arrays (2019) Witterauf M, Hannig F, Teich J Conference contribution, Conference Contribution Chatbot-Based Assertion Generation from Natural Language Specifications (2019) Keszöcze O, Harris IG Conference contribution Efficient Mapping of CNNs onto Tightly Coupled Processor Arrays (2019) Heidorn C, Witterauf M, Hannig F, Teich J Journal article