Publications

2022

• 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
• To use or not to use the SIMD gather instruction?Habich, D., Pietrzyk, J., Krause, A., Hildebrandt, J. & Lehner, W., 12 Jun 2022, Proceedings of the International Conference on Management of Data, DaMoN 2022. p. 9:1--9:5, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Publication Culture and Review Processes in the Data Management Community: An Open DiscussionAmer-Yahia, S., Bhowmick, S. S., Dong, X. L., Idreos, S., Lehner, W. & Srivastava, D., 10 Jun 2022, SIGMOD 2022 - Proceedings of the 2022 International Conference on Management of Data. Association for Computing Machinery, p. 2501-2502, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Guard the Cache: Dispatch Optimization in a Contextual Role-oriented LanguageSchütze, L., Kummer, C. & Castrillon, J., 7 Jun 2022, COP 2022 - Proceedings of the 14th International Workshop on Context-Oriented Programming and Advanced Modularity, Co-located with ECOOP 2022. Tanabe, Y., Lincke, J., Hirschfeld, R., Igarashi, A. & Masuhara, H. (eds.). Association for Computing Machinery, p. 27-34, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• ENTANGLE: An Enhanced Logic-locking Technique for Thwarting SAT and Structural Attacks.Darjani, A., Kavand, N., Rai, S., Wijtvliet, M. & Kumar, A., 6 Jun 2022, GLSVLSI 2022 - Proceedings of the Great Lakes Symposium on VLSI 2022. p. 147-151, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Scheduling of Hardware Tasks in Reconfigurable Mixed-Criticality SystemsWulf, C., Charaf, N. & Göhringer, D., 6 Jun 2022, Proceedings - 2022 IEEE 30th International Symposium on Field-Programmable Custom Computing Machines, FCCM 2022: New York City, NY, USA. 1 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids.Droste, M., Fülöp, Z., Kószó, D. & Vogler, H., 5 Jun 2022, In: Theoretical computer science : the journal of the EATCS. 919, C, p. 118-143, 26 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Answering Queries with Negation over Existential RulesEllmauthaler, S., Krötzsch, M. & Mennicke, S., 1 Jun 2022, Proceedings of the AAAI Conference on Artificial Intelligence, 36(5). 5 ed., Vol. 36. p. 5626–5633, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Dynamic Topology Construction in a Joint DeploymentWen, J. & Dargie, W., 1 Jun 2022, In: IEEE sensors journal. 22, 11, p. 11194-11204, 11 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article