Publications

2022

• 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
• 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
• 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
• 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
• 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
• 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
• Formal Foundations for SCONE AttestationSardar, M. U. & Fetzer, C., 1 Jun 2022, p. 31-32, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Understanding Trust Assumptions for Attestation in Confidential ComputingSardar, M. U., 1 Jun 2022, p. 49-50, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Exploring Sketch-based Sound Associations for SonificationEngeln, L. & Keck, M., Jun 2022, AVI 2022 Workshop on Audio-Visual Analytics (WAVA22)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• MaNaBIT: A Versatile Tool for Manipulating and Analyzing FPGA BitstreamsCharaf, N., Tietz, C. & Goehringer, D., Jun 2022, Proceedings - 2022 IEEE 30th International Symposium on Field-Programmable Custom Computing Machines, FCCM 2022Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Sparkle Glyphs: A Glyph Design for the Analysis of Temporal Multivariate Audio FeaturesKeck, M. & Engeln, L., Jun 2022, AVI 2022: Proceedings of the 2022 International Conference on Advanced Visual InterfacesResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Stability selection enables robust learning of differential equations from limited noisy dataMaddu, S., Cheeseman, B. L., Sbalzarini, I. F. & Müller, C. L., Jun 2022, In: Proceedings of the Royal Society of London : Series A, Mathematical, physical and engineering sciences. 478, 2262, 25 p., 20210916Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Transparent Quality Optimization for Machine Learning-Based Regression in NeurologyWendt, K., Trentzsch, K., Haase, R., Weidemann, M. L., Weidemann, R., Aßmann, U. & Ziemssen, T., 31 May 2022, In: Journal of Personalized Medicine : open access journal. 12, 6, 13 p., 908Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxesBaader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 29 May 2022, Proceedings of the 19th Extended Semantic Web Conference (ESWC 2022), Hersonissos, Greece, May 29 - June 2, 2022. Groth, P., Vidal, M., Suchanek, F., Szekley, P., Kapanipathi, P., Pesquita, C., Skaf-Molli, H. & Tamper, M. (eds.). Springer, Berlin [u. a.], p. 130-146, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Version)Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 29 May 2022Electronic (full-text) versionResearch output: Contribution to conferences > Paper