Publications

2021

• Demystifying Attestation in Intel Trust Domain Extensions via Formal VerificationSardar, M. U., Musaev, S. & Fetzer, C., Jun 2021, p. 83067 - 83079, 13 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Display to Labeled Proofs and Back Again for Tense LogicsCiabattoni, A., Lyon, T., Ramanayake, R. & Tiu, A., Jun 2021, In: ACM transactions on computational logic. 22, 3, p. 1-31, 31 p., 3460492Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Energy-Efficient Low-Latency Signed Multiplier for FPGA-Based Hardware Accelerators.Ullah, S., Nguyen, T. D. A. & Kumar, A., Jun 2021, In: IEEE Embed. Syst. Lett.. 13, 2, p. 41-44, 4 p., 9094238Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Grand Challenges in Immersive AnalyticsEns, B., Bach, B., Cordeil, M., Engelke, U., Serrano, M., Willett, W., Prouzeau, A. & 17 others, Jun 2021, CHI '21: Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths. New York, NY, USA: Association for Computing Machinery (ACM), New YorkElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Investigating the Impact of Real-World Environments on the Perception of 2D Visualizations in Augmented RealitySatkowski, M. & Dachselt, R., Jun 2021, Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths. New York, NY, USA: Association for Computing Machinery (ACM), New York, 15 p., 522Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• MARVIS: Combining Mobile Devices and Augmented Reality for Visual Data AnalysisLangner, R., Satkowski, M., Büschel, W. & Dachselt, R., Jun 2021, CHI '21: Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths. New York, NY, USA: Association for Computing Machinery (ACM), New York, 17 p., 468Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• MIRIA: A Mixed Reality Toolkit for the In-Situ Visualization and Analysis of Spatio-Temporal Interaction DataBüschel, W., Lehmann, A. & Dachselt, R., Jun 2021, CHI 2021 - Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths. New York, NY, USA: Association for Computing Machinery (ACM), New York, 15 p., 470Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Deep Learning Improves Pancreatic Cancer Diagnosis Using RNA-Based VariantsAl-Fatlawi, A., Malekian, N., García, S., Henschel, A., Kim, I., Dahl, A., Jahnke, B. & 7 others, 28 May 2021, In: Cancers. 13, 11, 2654Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Enhancing Probabilistic Model Checking with OntologiesDubslaff, C., Koopmann, P. & Turhan, A., 26 May 2021, In: Formal Aspects of Computing. 33, 6, p. 885–921, 37 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Responsibility Attribution in Parameterized Markovian ModelsBaier, C., Funke, F. & Majumdar, R., 18 May 2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021. 13 ed., AAAI Press, Vol. 35. p. 11734-11743, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Investigating document layout and placement strategies for collaborative sensemaking in augmented realityLuo, W., Lehmann, A., Yang, Y. & Dachselt, R., 13 May 2021, Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI) – Extended Abstracts (EA). Kitamura, Y., Quigley, A., Isbister, K. & Igarashi, T. (eds.).7 p., 456Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• An online guided tuning approach to run CNN pipelines on edge devicesSoomro, P. N., Abduljabbar, M., Castrillon, J. & Pericàs, M., 11 May 2021, CF '21: Proceedings of the 18th ACM International Conference on Computing Frontiers. Association for Computing Machinery, Inc, p. 45-53, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• BodyStylus: Freehand On-Body Design and Fabrication of Epidermal InterfacesPourjafarian, N., Koelle, M., Fruchard, B., Mavali, S., Klamka, K., Groeger, D., Strohmeier, P. & 1 others, 6 May 2021, CHI 2021 - Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths. New York, NY, USA: Association for Computing Machinery (ACM), New YorkElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Experiences and insights from using Github Classroom to support Project-Based CoursesNelson, M. A. & Ponciano, L., 1 May 2021, Proceedings - 2021 3rd International Workshop on Software Engineering Education for the Next Generation, SEENG 2021. IEEE, New York [u. a.], p. 31-35, 5 p., 9474647. (Proceedings - 2021 3rd International Workshop on Software Engineering Education for the Next Generation, SEENG 2021)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Parametrizable High-Level Synthesis Library for Accelerating Neural Networks on FPGAsKalms, L., Amini Rad, P., Ali, M., Iskander, A. & Göhringer, D., May 2021, In: Journal of Signal Processing Systems. 93, 5, p. 513-529, 17 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• CLAppED: A Design Framework for Implementing Cross-Layer Approximation in FPGA-based Embedded Systems.Ullah, S., Sahoo, S. S. & Kumar, A., May 2021, 2021 58th ACM/IEEE Design Automation Conference, DAC 2021. p. 475-480, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Development, characterisation, and deployment of the SNO plus liquid scintillatorAnderson, M. R., Andringa, S., Anselmo, L., Arushanova, E., Asahi, S., Askins, M., Auty, D. J. & 217 others, May 2021, In: Journal of instrumentation. 16, 5, 23 p., P05009Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Experiences with User Studies in Augmented RealitySatkowski, M., Büschel, W. & Dachselt, R., May 2021, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Poster Abstract: HiL meets Commodity Hardware – SimbaR for coupling IEEE 802.11 Radio ChannelsFranke, M. & Klingler, F., May 2021, 40th IEEE International Conference on Computer Communications (INFOCOM 2021), Poster Session. 9484559Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Toward the Design of Fault-Tolerance-Aware and Peak-Power-Aware Multicore Mixed-Criticality SystemsRanjbar, B., Hosseinghorban, A., Salehi, M., Ejlali, A. & Kumar, A., May 2021, In: IEEE transactions on computer-aided design of integrated circuits and systems. 41, 5, p. 1509-1522, 14 p., 5Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A canonical string encoding for pure bigraphsGrzelak, D. & Aßmann, U., 30 Apr 2021, In: SN Computer Science. 2, 4, 14 p., 246Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A User-Centered Approach to Gamify the Manual Creation of Training Data for Machine LearningAlaghbari, S., Mitschick, A., Blichmann, G., Voigt, M. & Dachselt, R., 27 Apr 2021, In:  i-com : journal of interactive media. 20, 1, p. 33–48, 16 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• The significance of the Tactile Internet and 5G for digital agricultureFranchi, N., Fettweis, G. P. & Herlitzius, T., 27 Apr 2021, In: At-Automatisierungstechnik. 69, 4, p. 281-286, 6 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Security of Alerting Authorities in the WWW: Measuring Namespaces, DNSSEC, and Web PKIFotouhi Tehrani, P., Osterweil, E., Schiller, J. H., Schmidt, T. C. & Wählisch, M., 19 Apr 2021, WWW '21: Proceedings of the Web Conference 2021. ACM New York, NY, USA, p. 2709-2720, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Particle-based segmentation of extended objects on curved biological membranesSolomatina, A., Kalaidzidis, Y., Cezanne, A., Soans, K., Norden, C., Zerial, M. & Sbalzarini, I. F., 13 Apr 2021, 2021 IEEE 18th International Symposium on Biomedical Imaging (ISBI). p. 1150-1154, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution