Publikationen

2022

• CABAS: Real-Time for the MassesSmejkal, T., Bierbaum, J., von Oltersdorff-Kalettka, M. & Roitzsch, M., 5 Juli 2022, The 15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications. S. 21–27, 7 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Causality in configurable software systemsDubslaff, C., Weis, K., Baier, C. & Apel, S., 5 Juli 2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2022. Association for Computing Machinery (ACM), New York, S. 325-337, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The variance-penalized stochastic shortest path problemPiribauer, J., Sankur, O. & Baier, C., 1 Juli 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. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, S. 129:1–129:19, 19 S., 129Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Turbo-charging SPJ query plans with learned physical join operator selectionsHertzschuch, A., Hartmann, C., Habich, D. & Lehner, W., 1 Juli 2022, in: Proceedings of the VLDB Endowment. 15, 11, S. 2706–2718, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?Bednarczyk, B. & Demri, S., 1 Juli 2022, in: Logical methods in computer science. 18, 3, S. 5:1–5:46Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• A Stochastic Bin Packing Approach for Server Consolidation with ConflictsMartinovic, J., Hähnel, M., Scheithauer, G. & Dargie, W., Juli 2022, in: TOP. 30(2), S. 296-331, 36 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Conducive Design as an Iterative Process for Engineering CPPSKeßler, F., Lorenz, S., Miesen, F., Miesner, J., Pelzer, F., Satkowski, M., Klose, A. & 1 weitere, Juli 2022, Human Aspects of Advanced Manufacturing. New York, USA, Band 66. S. 13-20, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Learning-Oriented QoS- and Drop-Aware Task Scheduling for Mixed-Criticality Systems.Ranjbar, B., Alikhani, H., Safaei, B., Ejlali, A. & Kumar, A., Juli 2022, in: Computers : open access journal. 11, 7, 101Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• RTOS-supported Low Power Scheduling of Periodic Hardware Tasks in Flash-Based FPGAsWulf, C., Willig, M. & Göhringer, D., Juli 2022, in: Microprocessors and Microsystems. 92, 92, 14 S., 104566Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Classical Planning with Avoid ConditionsSteinmetz, M., Hoffmann, J., Kovtunova, A. & Borgwardt, S., 30 Juni 2022, Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022. S. 9944-9952, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Expressivity of Planning with Horn Description Logic OntologiesBorgwardt, S., Hoffmann, J., Kovtunova, A., Krötzsch, M., Nebel, B. & Steinmetz, M., 30 Juni 2022, Proceedings of the 36th AAAI Conference on Artificial Intelligence. S. 5503-5511, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Mobile Modeling with Real-Time Collaboration SupportHärtwig, M. & Götz, S., 30 Juni 2022, in: Journal of Object Technology. 21, 3, S. 1-15, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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 weitere, 30 Juni 2022, in: Small methods. 6, 6, 11 S., 2200149Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Rushing and Strolling among Answer Sets - Navigation Made EasyFichte, J. K., Gaggl, S. A. & Rusovac, D., 30 Juni 2022, S. 5651-5659, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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 Juni 2022, in: ACM transactions on accessible computing. 15, 2, S. 1-44, 44 S., 13Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Admissibility in Probabilistic ArgumentationKäfer, N., Baier, C., Diller, M., Dubslaff, C., Gaggl, S. A. & Hermanns, H., 26 Juni 2022, in: Journal of Artificial Intelligence Research. 74, S. 957-1009, 53 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• To use or not to use the SIMD gather instruction?Habich, D., Pietrzyk, J., Krause, A., Hildebrandt, J. & Lehner, W., 12 Juni 2022, Proceedings of the International Conference on Management of Data, DaMoN 2022. S. 9:1--9:5, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 Juni 2022, SIGMOD 2022 - Proceedings of the 2022 International Conference on Management of Data. Association for Computing Machinery, S. 2501-2502, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Guard the Cache: Dispatch Optimization in a Contextual Role-oriented LanguageSchütze, L., Kummer, C. & Castrillon, J., 7 Juni 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. (Hrsg.). Association for Computing Machinery, S. 27-34, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• ENTANGLE: An Enhanced Logic-locking Technique for Thwarting SAT and Structural Attacks.Darjani, A., Kavand, N., Rai, S., Wijtvliet, M. & Kumar, A., 6 Juni 2022, GLSVLSI 2022 - Proceedings of the Great Lakes Symposium on VLSI 2022. S. 147-151, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Scheduling of Hardware Tasks in Reconfigurable Mixed-Criticality SystemsWulf, C., Charaf, N. & Göhringer, D., 6 Juni 2022, Proceedings - 2022 IEEE 30th International Symposium on Field-Programmable Custom Computing Machines, FCCM 2022: New York City, NY, USA. 1 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 Juni 2022, in: Theoretical computer science : the journal of the EATCS. 919, C, S. 118-143, 26 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Answering Queries with Negation over Existential RulesEllmauthaler, S., Krötzsch, M. & Mennicke, S., 1 Juni 2022, Proceedings of the AAAI Conference on Artificial Intelligence, 36(5). 5 Aufl., Band 36. S. 5626–5633, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Dynamic Topology Construction in a Joint DeploymentWen, J. & Dargie, W., 1 Juni 2022, in: IEEE sensors journal. 22, 11, S. 11194-11204, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Formal Foundations for SCONE AttestationSardar, M. U. & Fetzer, C., 1 Juni 2022, S. 31-32, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper