Publications

2023

• Mango-IO: I/O Metrics Consistency AnalysisLiem, R., Oeste, S., Lofstead, J. & Kunkel, J., 31 Oct 2023, Proceedings - 2023 IEEE International Conference on Cluster Computing Workshops and Posters, CLUSTER Workshops 2023. Institute of Electrical and Electronics Engineers (IEEE), p. 18-24, 7 p., 10321835Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• PMC-VIS: An Interactive Visualization Tool for Probabilistic Model CheckingKorn, M., Méndez, J., Klüppelholz, S., Langner, R., Baier, C. & Dachselt, R., 31 Oct 2023, Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. Ferreira, C. & Willemse, T. A. C. (eds.). Cham: Springer, Cham, p. 361-375, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• High-performance Deterministic Concurrency Using Lingua FrancaMenard, C., Lohstroh, M., Bateni, S., Chorlian, M., Deng, A., Donovan, P., Fournier, C. & 6 others, 26 Oct 2023, In: ACM transactions on architecture and code optimization. 20, 4, 29 p., 48Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Inter-Regional Routing in Interplanetary Networks with Shortcuts and Contact PassagewaysDe Jonckère, O. & Fraire, J. A., 25 Oct 2023, p. 87-92, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• VAMPIR - Virtualized Non-Functional Memory Properties for Data-Pipeline SchedulingBerthold, A., Schmidt, L., Bartuschka, A., Lehner, W., Habich, D. & Schirmeier, H., 24 Oct 2023Research output: Contribution to conferences > Poster
• On the Tractability of Yen’s Algorithm and Contact Graph Modeling in Contact Graph RoutingDe Jonckère, O., Fraire, J. & Burleigh, S., 23 Oct 2023, p. 80-86, 7 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Process Composition with Typed Unix PipesSippel, M. & Schirmeier, H., 23 Oct 2023, PLOS 2023 - Proceedings of the 12th Workshop on Programming Languages and Operating Systems, Part of: SOSP 2023. Association for Computing Machinery, Inc, p. 34-40, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Empowering Industry 4.0 with Generative and Model-Driven SDK DevelopmentBraunisch, N., Ristin-Kaufmann, M., Lehmann, R., Wollschlaeger, M. & Venn, H. W. V. D., 19 Oct 2023, IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society. Institute of Electrical and Electronics Engineers (IEEE), p. 1-6, 6 p., 10312302Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Capacity planning for dependable servicesFaqeh, R., Martin, A., Schiavoni, V., Bhatotia, P., Felber, P. & Fetzer, C., 17 Oct 2023, In: Theoretical computer science : the journal of the EATCS. 976, C, 114126Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Fantastic Hybrid User Interfaces and How to Define ThemSatkowski, M. & Méndez, J., 16 Oct 2023, Proceedings - 2023 IEEE International Symposium on Mixed and Augmented Reality Adjunct, ISMAR-Adjunct 2023. Bruder, G., Olivier, A., Cunningham, A., Peng, E. Y., Grubert, J. & Williams, I. (eds.). Institute of Electrical and Electronics Engineers (IEEE), p. 247-250, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• How Does Explainability Look in Hybrid User Interfaces?Méndez, J., Satkowski, M. & Rzayev, R., 16 Oct 2023, Proceedings - 2023 IEEE International Symposium on Mixed and Augmented Reality Adjunct, ISMAR-Adjunct 2023. Bruder, G., Olivier, A., Cunningham, A., Peng, E. Y., Grubert, J. & Williams, I. (eds.). Institute of Electrical and Electronics Engineers (IEEE), p. 251-256, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Adaptive weighting of Bayesian physics informed neural networks for multitask and multiscale forward and inverse problemsPerez, S., Maddu, S., Sbalzarini, I. F. & Poncet, P., 15 Oct 2023, In: Journal of computational physics. 491, 112342Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Model-based Generation of Hardware/Software Architectures with Hybrid Schedulers for Robotics SystemsPodlubne, A., Mey, J., Andreou, A., Pertuz Mendez, S. A., Aßmann, U. & Göhringer, D., 12 Oct 2023, In: IEEE Transactions on Computers. 73(2023), 7, p. 1-14, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Dynascape: Immersive Authoring of Real-World Dynamic Scenes with Spatially Tracked RGB-D VideosYu, Z., Zeidler, D., Victor & McGinity, M., 9 Oct 2023, p. 1–12Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• New perspectives on carbon reinforced concrete structures - Why new composites need new design strategiesCurbach, M., Hegger, J., Bielak, J., Schmidt, C., Bosbach, S., Scheerer, S., Classen, M. & 28 others, 5 Oct 2023, In: Civil Engineering Design. 5, 5-6, p. 67- 94, 28 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Digitalisierung in der WerkstoffprüfungBretschneider, J., Zösch, A., Ott, G., Hausmann, S., Hauer, F., Naumann, U., Scherbaum, R. & 2 others, 4 Oct 2023, Digitalisierung der Arbeitswelt im Mittelstand 3. Springer Vieweg Berlin, Heidelberg, p. 369 - 402Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• A numerical solver for active hydrodynamics in three dimensions and its application to active turbulenceSingh, A., Suhrcke, P. H., Incardona, P. & Sbalzarini, I. F., 1 Oct 2023, In: Physics of fluids. 35, 10, 105155Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Improving Bitswap Privacy with Forwarding and Source ObfuscationDaniel, E., Ebert, M. & Tschorsch, F., 1 Oct 2023, LCN '23: Proceedings of the 48th IEEE Conference on Local Computer Networks. Bulut, E., Tschorsch, F. & Thilakarathna, K. (eds.).p. 1-4Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Improving Fairness and Performance in Resource Usage for Vehicular Edge Computingda Costa, J. B. D., de Souza, A. M., Lobato Junior, W. V., Rosário, D., Sommer, C. & Aparecido Villas, L., 1 Oct 2023, 2023 IEEE 98th Vehicular Technology Conference, VTC 2023-Fall - Proceedings. Hong Kong, China: Institute of Electrical and Electronics Engineers (IEEE)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and ExpectationsBerkel, K. V., Lyon, T. & Pascucci, M., Oct 2023, In: Journal of Philosophical Logic. 52, 5, p. 1475-1516, 42 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Enhanced Pathfinding and Scalability with Shortest-Path Tree Routing For Space NetworksDe Jonckère, O., Fraire, J. & Burleigh, S., Oct 2023, p. 4082-4088, 7 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Modeling Opportunistic Resource Fair Scheduling Efficiently for Multi-Beam 5G NRRezaei, A., Schulz, P., Awada, A., Viering, I. & Fettweis, G., Oct 2023, In: IEEE wireless communications letters. 12, 10, p. 1682-1686, 5 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Counterfactual Causality for Reachability and Safety based on Distance FunctionsParreaux, J., Piribauer, J. & Baier, C., 30 Sep 2023, Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023. Achilleos, A. & Monica, D. D. (eds.).p. 132-149, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Optimal Alignment of Temporal Knowledge BasesFernandez Gil, O., Patrizi, F., Perelli, G. & Turhan, A., 28 Sep 2023, Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023). Gal, K., Gal, K., Nowe, A., Nalepa, G. J., Fairstein, R. & Radulescu, R. (eds.). IOS Press, p. 708-715, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Welcome to the Third International Workshop on Requirements Engineering for Explainable Systems (RE4ES)Droste, J., Klos, V., Sadeghi, M., Schwarnmberger, M. & Speith, T., 28 Sep 2023, Proceedings - 31st IEEE International Requirements Engineering Conference Workshops, REW 2023. Schneider, K., Dalpiaz, F. & Horkoff, J. (eds.). Institute of Electrical and Electronics Engineers (IEEE), p. 307-308, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution