Publikationen

2020

• Security Promises and Vulnerabilities in Emerging Reconfigurable Nanotechnology-Based CircuitsRai, S., Patnaik, S., Rupani, A., Knechtel, J., Sinanoglu, O. & Kumar, A., 2020, in: IEEE Transactions on Emerging Topics in Computing. 10, 2, S. 763-778, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Semantic Technologies for Situation AwarenessBaader, F., Borgwardt, S., Koopmann, P., Thost, V. & Turhan, A., 2020, in: KI. Künstliche Intelligenz. 34, 4, S. 543-550, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• SeqL: Secure Scan-Locking for IP Protection.Potluri, S., Aysu, A. & Kumar, A., 2020, ISQED. S. 7-13, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Signature-Based Abduction for Expressive Description LogicsKoopmann, P., Del-Pinto, W., Schmidt, R. & Tourret, S., 2020, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. IJCAI Organization, S. 592–602Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• SIMDive: Approximate SIMD Soft Multiplier-Divider for FPGAs with Tunable Accuracy.Ebrahimi, Z., Ullah, S. & Kumar, A., 2020, ACM Great Lakes Symposium on VLSI. S. 151-156, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Simulation Validation of High Resolution Indoor Terahertz Synthetic Aperture Radar ImagingBatra, A., Wiemeler, M., Göhringer, D. & Kaiser, T., 2020, S. 1-5, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• SpecFuzz: Bringing Spectre-type vulnerabilities to the surfaceOleksenko, O., Trach, B., Silberstein, M. & Fetzer, C., 2020, Proceedings of the 29th USENIX Security Symposium. USENIX Association, 18 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Sub-mm Resolution Indoor THz Range and SAR Imaging of Concealed ObjectBatra, A., Vu, V. T., Zantah, Y., Wiemeler, M., Pettersson, M. I., Diana, G. & Kaiser, T., 2020, S. 1-4, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Switchbox - Low-latency Fail-safe Assurance of Availability in Industrial EnvironmentsLackorzynski, T., Rietzsch, P. & Köpsell, S., 2020, 2020 IEEE International Conference on Industrial Technology (ICIT). S. 328-333, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• SWITSS: Computing small witnessing subsystemsJantsch, S., Harder, H., Funke, F. & Baier, C., 2020, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020. Ivrii, A. & Strichman, O. (Hrsg.). TU Wien Academic Press, S. 236-244, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested SequentsLyon, T., Tiu, A., Goré, R. & Clouston, R., 2020, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). Fernández, M. & Muscholl, A. (Hrsg.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Band 152. S. 28:1-28:16, (Leibniz International Proceedings in Informatics (LIPIcs))Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• SysIDLib: A High-Level Synthesis FPGA Library for Online System IdentificationAkgün, G., Hebaish, M., Elshimy, M., Ghany, M. A. E. & Göhringer, D., 2020, S. 97-107, 11 S.Publikation: Beitrag zu Konferenzen > Paper
• TEEMon: A Continuous Performance Monitoring Framework for TEEsKrahn, R., Dragoti, D., Gregor, F., Quoc, D. L., Schiavoni, V., Felber, P., Souza, C. & 2 weitere, 2020, S. 178–192Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• 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. (Hrsg.). CEUR-WS.orgElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 387-400Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• To share or not to share vector registers?Pietrzyk, J., Habich, D. & Lehner, W., 2020, S. 12:1-12:10Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Towards a Modular RISC-V based Many-Core Architecture for FPGA AcceleratorsKamaleldin, A., Hesham, S. & Göhringer, D., 2020, in: IEEE Access. S. 1-15, 15 S.Publikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Towards Dynamic Dependable SystemsThrough Evidence-Based ContinuousCertificationFaqeh, R., Hermanns, H., Hoffmann, J., Klauck, M., Koehl, M. A., Steinmetz, M., Weidenbach, C. & 1 weitere, 2020Publikation: Beitrag zu Konferenzen > 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. (Hrsg.). CEUR-WS.org, S. 69-82, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 117-126, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 186-200, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 weitere, 2020, ArXiv. 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, Band 2020. S. 3397–3400Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Dresden: Dresden : TUDpress, Band 1. S. 83-116, 465 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• 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. (Hrsg.). CEUR-WS.org, Band 2663Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband