Publications

2022

• Design centering enables robustness screening of pattern formation modelsSolomatina, A., Cezanne, A., Kalaidzidis, Y., Zerial, M. & Sbalzarini, I. F., 16 Sep 2022, In: Bioinformatics. 38, 2 S, p. II134-II140Electronic (full-text) versionResearch output: Contribution to journal > Research article
• DECO: Optimizing Software-based Soft-Error Detector ConfigurationsThunig, R., Lenz, M., Ulbrich, P. & Schirmeier, H., 15 Sep 2022, Proceedings - 2022 18th European Dependable Computing Conference, EDCC 2022. IEEE Xplore, p. 73-80, 8 p., 9933206Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Load Balancing Potentials in 5G NR FR2Rezaei, A., Schulz, P., Awada, A., Viering, I. & Fettweis, G., 15 Sep 2022, 2022 IEEE 33rd Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC). IEEE, p. 1393-1399, 7 p., 9977585Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Using Matchboxes to Teach the Basics of Machine Learning: an Analysis of (Possible) MisconceptionsMarx, E., Leonhardt, T., Baberowski, D. & Bergner, N., 8 Sep 2022, Proceedings of the Second Teaching Machine Learning and Artificial Intelligence Workshop. PMLR, p. 25-29, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Operational causality – Necessarily sufficient and sufficiently necessaryBaier, C., Dubslaff, C., Funke, F., Jantsch, S., Piribauer, J. & Ziemek, R., 7 Sep 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Springer, Berlin [u. a.], p. 27–45, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Stretching Projection - Projection-Based Visual Control and Support for Sports ExercisesFranke, I. S., Elze, A. & McGinity, M., 4 Sep 2022, MuC '22: Proceedings of Mensch und Computer 2022. Muhlhauser, M., Reuter, C., Pfleging, B., Kosch, T., Matviienko, A., Gerling, K., Mayer, S., Heuten, W. & Doring, T. (eds.). Association for Computing Machinery, p. 452-456, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• ADF - BDD : An ADF Solver Based on Binary Decision DiagramsEllmauthaler, S., Gaggl, S. A., Rusovac, D. & Wallner, J. P., 1 Sep 2022, Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022). Toni, F., Polberg, S., Booth, R., Caminada, M. & Kido, H. (eds.). IOS Press, Amsterdam [u. a.], Vol. 220146. p. 355–356, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Coupling and Decoupling in IEC 61499 and IEC 61131-3 ApplicationsHomay, A., de Sousa, M., Zoitl, A. & Wollschlaeger, M., 1 Sep 2022, 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). p. 1-8, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Energy-Efficient Instruction Delivery in Embedded Systems with Domain Wall MemoryMultanen, J. I., Hepola, K., Khan, A. A., Castrillon, J. & Jaaskelainen, P., 1 Sep 2022, In: IEEE Transactions on Computers. 71, 9, p. 2010-2021, 12 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Holistic Monitoring for heterogeneous industrial Time Sensitive NetworksSoler Perez Olaya, S., Braunisch, N., Wollschlaeger, M., Zemitis, J., Chams Zahrouni, G., Hendel, M. & Blöcher, I., 1 Sep 2022, 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). p. 1-8, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Impact of Modularization and Coupling on the Complexity of Industrial Control and Automation SystemsHomay, A., Wollschlaeger, M., de Sousa, M. & kepler, J., 1 Sep 2022, 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). p. 1-7, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution SpacesDachselt, R., Gaggl, S. A., Krötzsch, M., Méndez, J., Rusovac, D. & Yang, M., 1 Sep 2022, Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022). Toni, F., Polberg, S., Booth, R., Caminada, M. & Kido, H. (eds.). IOS Press, Amsterdam [u. a.], Vol. 220146. p. 116–127, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent SpecificationsBaier, C., Funke, F., Jantsch, S., Karimov, T., Lefaucheux, E., Ouaknine, J., Purser, D. & 2 others, 1 Sep 2022, 33rd International Conference on Concurrency Theory, CONCUR 2022. Klin, B., Lasota, S. & Muscholl, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Presburger Büchi Tree Automata with Applications to Logics with Expressive CountingBednarczyk, B. & Fiuk, O., 1 Sep 2022, Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Proceedings: 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings. Ciabattoni, A., Pimentel, E. & de Queiroz, R. J. G. B. (eds.).p. 295-308, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Semantic Characterizations of AGM Revision for Tarskian LogicsFalakh, F. M., Rudolph, S. & Sauerwald, K., 1 Sep 2022, Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Proceedings: 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings. Governatori, G. & Turhan, A. (eds.).p. 95-110, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Tuple-Generating Dependencies Capture Complex Values (extended abstract)Marx, M. & Krötzsch, M., 1 Sep 2022, Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry. Alviano, M. & Pieris, A. (eds.). CEUR-WS.org, p. 97–103Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Accessible Mobile Map Application and Interaction for People with Visual or Mobility ImpairmentsRottmann, S., Loitsch, C. & Weber, G., Sep 2022, Proceedings of Mensch und Computer 2022: Facing Realities, MuC 2022 - Proceedings. Muhlhauser, M., Reuter, C., Pfleging, B., Kosch, T., Matviienko, A., Gerling, K., Mayer, S., Heuten, W. & Doring, T. (eds.).p. 119-127, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• CPrAA – A Checker for Probabilistic Abstract ArgumentationKäfer, N., Sep 2022, Computational Models of Argument: Proceedings of COMMA 2022. IOS Press, Vol. 353. p. 359-360, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Efficient Pareto Optimality-based Task Scheduling for Vehicular Edge Computingda Costa, J. B. D., de Souza, A. M., Rosário, D., Sommer, C. & Aparecido Villas, L., Sep 2022, 2022 IEEE 96th Vehicular Technology Conference, VTC 2022-Fall 2022 - Proceedings. London, United Kingdom: IEEE, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• FLEXE: Investigating Federated Learning in Connected Autonomous Vehicle SimulationsLobato, W., da Costa, J. B. D., de Souza, A. M., Rosário, D., Sommer, C. & Aparecido Villas, L., Sep 2022, 2022 IEEE 96th Vehicular Technology Conference, VTC 2022-Fall 2022 - Proceedings. London, United Kingdom, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Hamiltonian Monte Carlo with strict convergence criteria reduces run-to-run variability in forensic DNA mixture deconvolutionSusik, M., Schönborn, H. & Sbalzarini, I. F., Sep 2022, In: Forensic science international : official journal of the International Society for Forensic Genetics. 60, 9 p., 102744Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Virtualization of Embedded Reconfigurable SystemsWulf, C. & Göhringer, D., 30 Aug 2022, 2022 32nd International Conference on Field-Programmable Logic and Applications (FPL). IEEE Xplore, p. 460-461, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• PANACA: An open-source configurable network-on-chip simulation platformHaase, J., Groß, A., Feichter, M. & Göhringer, D., 26 Aug 2022, 2022 35th SBC/SBMicro/IEEE/ACM Symposium on Integrated Circuits and Systems Design (SBCCI). p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Informatics Education in German Primary School CurriculaNenner, C. & Bergner, N., 25 Aug 2022, Informatics in Schools. A Step Beyond Digital Education - 15th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2022, Proceedings. Bollin, A. & Futschek, G. (eds.). Cham: Springer, Berlin [u. a.], p. 3-14, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Haptic Force Feedback in Training for minimally invasive Surgery – Entwicklung und Validierung eines Laparoskopie-Simulators mit haptischem Vibrationsfeedback zum Training der adäquaten Kraftausübung.Bechtolsheim, F., Oehme, F., Bielert, F., Schmidt, S., Schneider, A., Bodenstedt, S., Speidel, S. & 4 others, 19 Aug 2022, In: Zeitschrift fur GastroenterologieResearch output: Contribution to journal > Letter