Publications

2024

• Systematic Testing of a ROS Interface Specification BackendMey, J., Podlubne, A., Schöne, R., Gottschaldt, P., Göhringer, D. & Aßmann, U., 15 Apr 2024, Proceedings - 2024 IEEE/ACM 6th International Workshop on Robotics Software Engineering, RoSE 2024. Association for Computing Machinery, Inc, p. 25-30, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• One Flag to Rule Them All? On the Quest for Compiler Optimizations to Improve Fault ToleranceThunig, R., Johannfunke, M., Wang, T. & Schirmeier, H., 11 Apr 2024, Proceedings - 2024 19th European Dependable Computing Conference, EDCC 2024. Institute of Electrical and Electronics Engineers (IEEE), p. 33-40, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Positivity-hardness results on Markov decision processesPiribauer, J. & Baier, C., 8 Apr 2024, In:  TheoretiCS : an open access journal in theoretical computer science. 3, 47 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• The Abstract Expressive Power of First-Order and Description Logics with Concrete DomainsBaader, F. & De Bortoli, F., 8 Apr 2024, Proceedings of the 39th {ACM/SIGAPP} Symposium on Applied Computing. Association for Computing Machinery (ACM), New York, p. 754-761, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Sleep Well: Pragmatic Analysis of the Idle States of Intel ProcessorsSmejkal, T., Bierbaum, J., Oberhauser, T., Härtig, H. & Schirmeier, H., 3 Apr 2024, Proceedings of the IEEE/ACM 10th International Conference on Big Data Computing, Applications and Technologies (BDCAT). Association for Computing Machinery (ACM), New York, p. 04:1-04:10, 10 p., 4Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Learning to Control a Three-Dimensional Ferrofluidic RobotAhmed, R., Calandra, R. & Marvi, H., 1 Apr 2024, In: Soft robotics. 11, 2, p. 218-229, 12 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Secure Name Resolution in the IoTLenders, M. S., Schmidt, T. C. & Wählisch, M., Apr 2024, 1 p.Electronic (full-text) versionResearch output: Contribution to conferences > Abstract
• The Resource Public Key Infrastructure (RPKI): A Survey on Measurements and Future ProspectsRodday, N., Cunha, I., Bush, R., Katz-Bassett, E., Dreo Rodosek, G., Schmidt, T. C. & Wählisch, M., Apr 2024, In: IEEE Transactions on Network and Service Management. 21 (2024), 2, p. 2353-2373, 21 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Transparent DNS Forwarders: A (Still) Unnoticed Component of the Open DNS InfrastructureKoch, M., Nawrocki, M., Schmidt, T. C. & Wählisch, M., Apr 2024, 1 p.Electronic (full-text) versionResearch output: Contribution to conferences > Abstract
• Towards a Fault-Injection Benchmarking SuiteWang, T., Thunig, R. & Schirmeier, H., 29 Mar 2024Electronic (full-text) versionResearch output: Contribution to conferences > Abstract
• Leveraging GraphQL for Large-Scale Queries on Digital Twins in Industry 4.0Braunisch, N., Reiplinger, T. & Lehmann, R., 27 Mar 2024, ICIT 2024 - 2024 25th International Conference on Industrial Technology. Institute of Electrical and Electronics Engineers (IEEE), p. 1-6, 6 p., 10541016Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Backward Responsibility in Transition Systems Using General Power IndicesBaier, C., van den Bossche, R., Klüppelholz, S., Lehmann, J. & Piribauer, J., 25 Mar 2024, In: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 18, p. 20320-20327, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept AnalysisKriegel, F., 25 Mar 2024, Proceedings of the 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024), February 20--27, 2024, Vancouver, Canada. Wooldridge, M., Dy, J. & Natarajan, S. (eds.). 9 ed., Vol. 38. p. 10597-10606, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Lazy model checking for recursive state machinesDubslaff, C., Wienhöft, P. & Fehnker, A., 20 Mar 2024, In: Software and systems modeling. 23, 2, p. 369-401, 33 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• On the Timing Synchronization for Receivers with Temporally Oversampled 1-bit QuantizationZeitz, S., Seifert, D., Roth, F., Schluter, M., Dörpinghaus, M. & Fettweis, G., 19 Mar 2024, WSA 2024 – Proceedings of the 27th International Workshop on Smart Antennas. Uhle, T. (ed.). Institute of Electrical and Electronics Engineers (IEEE), p. 38-44, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• ibis - Informatische Bildung in Schulen. Ausgabe 2024(2)Grillenberger, A., Michaeli, T., Schulz, S. & Stechert, P., 11 Mar 2024Electronic (full-text) versionResearch output: Book/Report/Anthology > Anthology
• Human Activity Recognition Based on Wireless Electrocardiogram and Inertial SensorsFarrokhi, S., Dargie, W. & Poellabauer, C., Mar 2024, In: IEEE Sensors Journal. 24, 5, p. 6490-6499, 10 p., 10380309Electronic (full-text) versionResearch output: Contribution to journal > Letter
• A Digital 4D Information System on the World Scale: Research Challenges, Approaches, and Preliminary ResultsMünster, S., Maiwald, F., Bruschke, J., Kröber, C., Sun, Y., Dworak, D., Komorowicz, D. & 3 others, 28 Feb 2024, In: Applied Sciences. 14 (2024), 5, 48 p., 1992Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Robust Reconstruction of the Void Fraction from Noisy Magnetic Flux Density Using Invertible Neural NetworksKumar, N., Krause, L., Wondrak, T., Eckert, S., Eckert, K. & Gumhold, S., 14 Feb 2024, In: Sensors. 24, 4, 1213Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Introduction to the FPL 2021 Special SectionGöhringer, D., Keramidas, G. & Kumar, A., 12 Feb 2024, In: ACM Transactions on Reconfigurable Technology and Systems. 17, 1, 13Electronic (full-text) versionResearch output: Contribution to journal > Editorial (Lead article)
• Digital Fabrication als Brücke zwischen Making und InformatikBaberowski, D., Leonhardt, T. & Bergner, N., 5 Feb 2024, In: MedienPädagogik : Online-Zeitschrift für Theorie und Praxis der Medienbildung. 2024, 56, p. 314-330, 17 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Inclusive Data Visualization (Dagstuhl Seminar 23252)Lee, B., Marriott, K., Szafir, D. & Weber, G., 1 Feb 2024, In: Dagstuhl Reports : Dokumentationen zu Dagstuhl-Seminaren und Dagstuhl-Perspektiven-Workshops. 13, 6, p. 81-105, 25 p., 6Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Alternative Delta Time Encoding for Content-Centric Networking (CCNx) Using Compact Floating-Point ArithmeticGündogan, C., Schmidt, T. C., Oran, D. & Wählisch, M., Feb 2024, In: Request for comments. RFC 9510Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable StructuresHerrmann, L., Peth, V. & Rudolph, S., Feb 2024, 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. Murano, A. & Silva, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 33Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Exploring the design space of privacy-enhanced content discovery for bitswapDaniel, E. & Tschorsch, F., 28 Jan 2024, In: Computer communications : the international journal for the computer and telecommunications industry. 217 (2024), p. 12-24, 13 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article