Publications

2022

• Comprehensive Management Function Model: Generality and WorkflowSoler Perez Olaya, S. & Wollschlaeger, M., 28 Jul 2022, 2022 IEEE 20th International Conference on Industrial Informatics (INDIN). IEEE, p. 594-599, 6 p., 9976129Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Semi-Automatic Testing of Data-Focused Software Development Kits for Industrie 4.0Miny, T., Heppner, S., Garmaev, I., Kleinert, T., Ristin, M., Venn, H. W. V. D., Otto, B. & 4 others, 28 Jul 2022, 2022 IEEE 20th International Conference on Industrial Informatics (INDIN). IEEE, p. 269-274, 6 p., 9976069Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• DNA Pre-Alignment Filter Using Processing Near Racetrack MemoryHameed, F., Khan, A. A., Ollivier, S., Jones, A. K. & Castrillon, J., 22 Jul 2022, In: IEEE computer architecture letters. 21 (2022), 2, p. 53-56, 4 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Hardware/Software Co-design of 2D THz SAR Imaging for FPGA-based Systems-on-ChipKamaleldin, A., Aliagha, E., Batra, A., Wiemeler, M., Kaiser, T. & Göhringer, D., 21 Jul 2022, p. 1-5, 5 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Secure communication protocol for network-on-chip with authenticated encryption and recovery mechanismHaase, J., Jaster, S., Franz, E. & Göhringer, D., 14 Jul 2022, 2022 IEEE 33rd International Conference on Application-specific Systems, Architectures and Processors (ASAP). Pericas, M., Pnevmatikatos, D. N., Trancoso, P. P. M. & Sourdis, I. (eds.).p. 156-160, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Digital Solutions for Inclusive Mobility: Solutions and Accessible Maps for Indoor and Outdoor Mobility: Introduction to the Special Thematic SessionLoitsch, C., Müller, K., Weber, G., Petrie, H. & Stiefelhagen, R., 13 Jul 2022, Computers Helping People with Special Needs - 18th International Conference, ICCHP-AAATE 2022, Proceedings. Miesenberger, K., Kouroupetroglou, G., Mavrou, K., Manduchi, R., Covarrubias Rodriguez, M. & Penáz, P. (eds.).p. 95-101, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Robotic and Virtual Reality Technologies for Children with Disabilities and Older AdultsSamaddar, S., Desideri, L., Encarnação, P., Gollasch, D., Petrie, H. & Weber, G., 13 Jul 2022, Computers Helping People with Special Needs - 18th International Conference, ICCHP-AAATE 2022, Proceedings. Miesenberger, K., Kouroupetroglou, G., Mavrou, K., Manduchi, R., Covarrubias Rodriguez, M. & Penáz, P. (eds.).p. 203-210, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• DELTA: DEsigning a stealthy trigger mechanism for analog hardware trojans and its detection analysis.Gupta, N., Desai, M. S., Wijtvliet, M., Rai, S. & Kumar, A., 10 Jul 2022, Proceedings of the 59th ACM/IEEE Design Automation Conference, DAC 2022. p. 787-792, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards an Open Source Fully Modular Multi Unmanned Aerial Vehicle Simulation FrameworkHardes, T., Logan, D., Pritom, T. H. & Sommer, C., 10 Jul 2022, Proceedings - 2022 IEEE 42nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2022. Bologna, Italy: IEEE, p. 284-289, 6 p., 9951363Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• CABAS: Real-Time for the MassesSmejkal, T., Bierbaum, J., von Oltersdorff-Kalettka, M. & Roitzsch, M., 5 Jul 2022, The 15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications. p. 21–27, 7 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Causality in configurable software systemsDubslaff, C., Weis, K., Baier, C. & Apel, S., 5 Jul 2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2022. Association for Computing Machinery (ACM), New York, p. 325-337, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The variance-penalized stochastic shortest path problemPiribauer, J., Sankur, O. & Baier, C., 1 Jul 2022, 49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022: ICALP 2022, July 4–8, 2022, Paris, France. Bojańczyk, M., Merelli, E. & Woodruff, D. P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 129:1–129:19, 19 p., 129Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Turbo-charging SPJ query plans with learned physical join operator selectionsHertzschuch, A., Hartmann, C., Habich, D. & Lehner, W., 1 Jul 2022, In: Proceedings of the VLDB Endowment. 15, 11, p. 2706–2718, 13 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?Bednarczyk, B. & Demri, S., 1 Jul 2022, In: Logical methods in computer science. 18, 3, p. 5:1–5:46Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A Stochastic Bin Packing Approach for Server Consolidation with ConflictsMartinovic, J., Hähnel, M., Scheithauer, G. & Dargie, W., Jul 2022, In: TOP. 30(2), p. 296-331, 36 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Conducive Design as an Iterative Process for Engineering CPPSKeßler, F., Lorenz, S., Miesen, F., Miesner, J., Pelzer, F., Satkowski, M., Klose, A. & 1 others, Jul 2022, Human Aspects of Advanced Manufacturing. New York, USA, Vol. 66. p. 13-20, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Learning-Oriented QoS- and Drop-Aware Task Scheduling for Mixed-Criticality Systems.Ranjbar, B., Alikhani, H., Safaei, B., Ejlali, A. & Kumar, A., Jul 2022, In: Computers : open access journal. 11, 7, 101Electronic (full-text) versionResearch output: Contribution to journal > Research article
• RTOS-supported Low Power Scheduling of Periodic Hardware Tasks in Flash-Based FPGAsWulf, C., Willig, M. & Göhringer, D., Jul 2022, In: Microprocessors and Microsystems. 92, 92, 14 p., 104566Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Classical Planning with Avoid ConditionsSteinmetz, M., Hoffmann, J., Kovtunova, A. & Borgwardt, S., 30 Jun 2022, Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022. p. 9944-9952, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Expressivity of Planning with Horn Description Logic OntologiesBorgwardt, S., Hoffmann, J., Kovtunova, A., Krötzsch, M., Nebel, B. & Steinmetz, M., 30 Jun 2022, Proceedings of the 36th AAAI Conference on Artificial Intelligence. p. 5503-5511, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Mobile Modeling with Real-Time Collaboration SupportHärtwig, M. & Götz, S., 30 Jun 2022, In: Journal of Object Technology. 21, 3, p. 1-15, 15 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Quantifying Molecular Dynamics within Complex Cellular Morphologies using LLSM-FRAPColin-York, H., Heddleston, J., Wait, E., Karedla, N., deSantis, M., Khuon, S., Chew, T. & 2 others, 30 Jun 2022, In: Small methods. 6, 6, 11 p., 2200149Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Rushing and Strolling among Answer Sets - Navigation Made EasyFichte, J. K., Gaggl, S. A. & Rusovac, D., 30 Jun 2022, p. 5651-5659, 9 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Traveling more Independently: A Study on the Diverse Needs and Challenges of People with Visual or Mobility Impairments in Unfamiliar Indoor EnvironmentsMüller, K., Engel, C., Loitsch, C., Stiefelhagen, R. & Weber, G., 30 Jun 2022, In: ACM transactions on accessible computing. 15, 2, p. 1-44, 44 p., 13Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Admissibility in Probabilistic ArgumentationKäfer, N., Baier, C., Diller, M., Dubslaff, C., Gaggl, S. A. & Hermanns, H., 26 Jun 2022, In: Journal of Artificial Intelligence Research. 74, p. 957-1009, 53 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article