Publications

2020

• Temporal Properties over Contextualized Description LogicsTirtarasa, S., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020): co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020. Borgwardt, S. & Meyer, T. (eds.). CEUR-WS.orgElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• T-Lease: A Trusted Lease Primitive for Distributed SystemsTrach, B., Faqeh, R., Oleksenko, O., Ozga, W., Bhatotia, P. & Fetzer, A. C., 2020, Proceedings of the 11th ACM Symposium on Cloud Computing (SoCC ’20). New York, NY, USA: Association for Computing Machinery, Inc, p. 387-400Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• To share or not to share vector registers?Pietrzyk, J., Habich, D. & Lehner, W., 2020, p. 12:1-12:10Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Towards a Modular RISC-V based Many-Core Architecture for FPGA AcceleratorsKamaleldin, A., Hesham, S. & Göhringer, D., 2020, In: IEEE Access. p. 1-15, 15 p.Research output: Contribution to journal > Research article
• Towards Dynamic Dependable SystemsThrough Evidence-Based ContinuousCertificationFaqeh, R., Hermanns, H., Hoffmann, J., Klauck, M., Koehl, M. A., Steinmetz, M., Weidenbach, C. & 1 others, 2020Research output: Contribution to conferences > Paper
• Towards Model Transformation in Description Logics --- Investigating the Case of TransductionsHieke, W. & Turhan, A., 2020, Proceedings of the 6th Workshop on Formal and Cognitive Reasoning (FCR-2020): co-located with 43rd German Conference on Artificial Intelligence (KI-2020). Beierle, C., Ragni, M., Stolzenburg, F. & Thimm, M. (eds.). CEUR-WS.org, p. 69-82, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards safe service ecosystems for production for value networks and manufacturing monitoringLemme, G., Lemme, D., Nölscher, K. A. & Ihlenfeldt, S., 2020, In: Journal of Machine Engineering. 20, 1, p. 117-126, 10 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Towards Transparency in the Internet of ThingsEscher, S., Weller, B., Köpsell, S. & Strufe, T., 2020, Privacy Technologies and Policy - 8th Annual Privacy Forum, APF 2020, Proceedings. Antunes, L., Naldi, M., Italiano, G. F., Rannenberg, K. & Drogkaris, P. (eds.). Springer, Berlin [u. a.], p. 186-200, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Trust Management as a Service: Enabling Trusted Execution in the Face of Byzantine StakeholdersGregor, F., Ozga, W., Vaucher, S., Pires, R., Quoc, D. L., Arnautov, S., Martin, A. & 3 others, 2020, ArXiv. 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Vallum-Med: Protecting Medical Data in Cloud EnvironmentsPeterson, R., da Silva, A., Carvalho, A., Fetzer, C., Martin, A. & Blanquer, I., 2020, CIKM '20: Proceedings of the 29th ACM International Conference on Information & Knowledge Management. Association for Computing Machinery (ACM), New York, Vol. 2020. p. 3397–3400Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Vielfalt als Herausforderung für Studierende und Universitäten: Ergebnisse einer Befragung zu Diversität und Studienerfolg an der TU DresdenEngel, C. & Branig, M., 2020, Wege zum Studienerfolg: Analysen, Maßnahmen und Perspektiven an der Technischen Universität Dresden 2016 – 2020. Schulze-Stocker, F., Schäfer-Hock, C. & Greulich, H. (eds.). Dresden: Dresden : TUDpress, Vol. 1. p. 83-116, 465 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Visualising Proofs and the Modular Structure of Ontologies to Support Ontology RepairAlrabbaa, C., Baader, F., Dachselt, R., Flemisch, T. & Koopmann, P., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020. Borgwardt, S. & Meyer, T. (eds.). CEUR-WS.org, Vol. 2663Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Visualization and evaluation of ergonomic visual field parameters in first person virtual environmentsGünther, T., Hilgers, I., Groh, R. & Schmauder, M., 2020Research output: Contribution to conferences > Paper
• Watch+Strap: Extending Smartwatches with Interactive StrapDisplaysKlamka, K., Horak, T. & Dachselt, R., 2020, Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. New York, NY, USA: Association for Computing Machinery (ACM), New York, p. 1–15Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• WeakAL: Combining Active Learning and Weak SupervisionGonsior, J., Thiele, M. & Lehner, W., 2020, Discovery Science: 23rd International Conference, DS 2020, Thessaloniki, Greece, October 19-21, 2020, Proceedings. Appice, A., Tsoumakas, G., Manolopoulos, Y. & Matwin, S. (eds.). Springer, Berlin [u. a.], p. 34-49, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• What Color is this? Explaining Art Restoration Research Methods using Interactive Museum InstallationsHannß, F., Lapczyna, E., Müller, M. & Groh, R., 2020Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Work-in-Progress: Semantic Knowledge Base as a Solution for Heterogeneous Industrial Network ManagementMajumder, M., Soler Perez Olaya, S., Ehrlich, M., Wisniewski, L., Jasperneite, J. & Wollschlaeger, M., 2020Research output: Contribution to conferences > Paper
• You’ve Got Nothing on Me! Privacy Friendly Face Recognition ReloadedEscher, S., Teufert, P., Hain, L. & Strufe, T., 2020, Computer Security: ESORICS 2020 International Workshops, DETIPS, DeSECSys, MPS, and SPOSE, 2020, Revised Selected Papers. Boureanu, I., Manulis, M., Dadoyan, C., Hallman, R. A., Chang, V., Pohle, J., Catalin Dragan, C., Giannetsos, T., Gouvas, P., Li, S., Pallas, F. & Sasse, A. (eds.). Springer Science and Business Media B.V., p. 231-242, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

2019

• Rod nuclear architecture determines contrast transmission of the retina and behavioral sensitivity in miceSubramanian, K., Weigert, M., Borsch, O., Petzold, H., Garcia-Ulloa, A., Myers, E. W., Ader, M. & 2 others, 11 Dec 2019, In: eLife. 8, e49542Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Configuration of Inter-Process Communication with Probabilistic Model CheckingHerrmann, L., Küttler, M., Stumpf, T., Baier, C., Härtig, H. & Klüppelholz, S., 1 Dec 2019, In: International Journal on Software Tools for Technology Transfer. 21, 6, p. 651-666, 16 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Model refactoring with relational Reference Attribute GrammarsMey, J., Schöne, R., Aßmann, U., Fors, N. & Hedin, G., 1 Dec 2019, Proceedings of the International Conference on integrated Formal Methods (iFM), Refactoring TutorialsResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• One-step photostructuring of multiple hydrogel arrays for compartmentalized enzyme reactions in microfluidic devicesObst, F., Simon, D., Mehner, P. J., Neubauer, J. W., Beck, A., Stroyuk, O., Richter, A. & 2 others, 1 Dec 2019, In: Reaction chemistry & engineering. 4, 12, p. 2141-2155, 15 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• ParaLarPD: Parallel FPGA Router Using Primal-Dual Sub-Gradient MethodAgrawal, R., Ahuja, K., Hoo, C. H., Nguyen, T. D. A. & Kumar, A., 1 Dec 2019, In: Electronics. 8, 12, 1439Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Secure end-to-end processing of smart metering dataBrito, A., Fetzer, C., Köpsell, S., Pietzuch, P., Pasin, M., Felber, P., Fonseca, K. & 9 others, 1 Dec 2019, In: Journal of cloud computing. 8, 1, 19Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Vallum: Privacy, Confidentiality and Access Controlfor Sensitive Data in Cloud EnvironmentsPeterson, R., da Silva, A., Carvalho, A., Fernandez, G., Martin, A., Fetzer, C. & Brito, A., 1 Dec 2019, 2019 IEEE International Conference on Cloud Computing Technology and Science (CloudCom). Los Alamitos, CA, USA: IEEE Computer Society, Washington , p. 103-110, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution