Professur für Systems Engineering (SE)
Organisation: Professur
Kontakt
- Telefon: 035116339708
- E-Mail: se@mailbox.tu-dresden.de
Verknüpfte Inhalte und Forschende (öffentliche Profile)
- Forschende (öffentliche Profile)
- Veröffentlichungen
- Zeitschriften
- Aktivitäten
- Auszeichnungen
Hartono, Ardhi Putra Pratama
- Professur für Systems Engineering (SE) - Wissenschaftliches Personal
Person: Aktiv
Hardening High-Assurance Security Systems with Trusted Computing
Ozga, W., 12 Aug. 2022, 164 S.Publikation: Hochschulschrift/Abschlussarbeit › Dissertation
Formal Foundations for SCONE Attestation
Sardar, M. U. & Fetzer, C., 1 Juni 2022, S. 31-32. 2 S.Publikation: Beitrag zu Konferenzen › Paper › Beigetragen › Begutachtung
Understanding Trust Assumptions for Attestation in Confidential Computing
Sardar, M. U., 1 Juni 2022, S. 49-50. 2 S.Publikation: Beitrag zu Konferenzen › Paper › Beigetragen › Begutachtung
CHORS: hardening high-assurance security systems with trusted computing
Ozga, W., Faqeh, R., Le Quoc, D. & Gregor, F., Mai 2022, S. 1626–1635.Publikation: Beitrag zu Konferenzen › Paper › Beigetragen › Begutachtung
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
Bromberger, M., Dragoste, I. T., Faqeh, R., Fetzer, C., González González, L. J., Krötzsch, M., Marx, M., & 2 weitereK Murali, H. & Weidenbach, C., März 2022. 22 S.Publikation: Beitrag zu Konferenzen › Paper › Eingeladen › Begutachtung
LaME '13
Fachzeitschrift: Zeitschrift
IEEE Data Engineering Bulletin
ISSNs: 1053-1238
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Deutschland
Fachzeitschrift: Zeitschrift
DEBS '19: Proceedings of the 13th ACM International Conference on Distributed and Event-based Systems
Association for Computing Machinery (ACM), New York, USA/Vereinigte Staaten
Fachzeitschrift: Schriftenreihe
IEEE Transactions on Cloud Computing (Fachzeitschrift)
Ponciano, L. (Gutachter:in)2022 → …
Aktivität: Begutachtung von Manuskripten und herausgeberische Tätigkeiten › Begutachtung von Manuskripten
Frontiers in Ecology and Evolution (Fachzeitschrift)
Ponciano, L. (Gutachter:in)2021 → …
Aktivität: Begutachtung von Manuskripten und herausgeberische Tätigkeiten › Begutachtung von Manuskripten
Frontiers in Psychology (Fachzeitschrift)
Ponciano, L. (Gutachter:in)2021 → …
Aktivität: Begutachtung von Manuskripten und herausgeberische Tätigkeiten › Begutachtung von Manuskripten
Brazilian Society for the Advancement of Science (Externe Organisation)
Ponciano, L. (Mitglied)2019 → …
Aktivität: Mitgliedschaften/Ämter an der TUD und externen Einrichtungen › Akademische Einrichtungen › Mitgliedschaft
Iberoamerican Network of Participatory Science (Externe Organisation)
Ponciano, L. (Mitglied)2019 → …
Aktivität: Mitgliedschaften/Ämter an der TUD und externen Einrichtungen › Netzwerke und Partnerschaften › Mitgliedschaft
Women's STEM Award 2021
Siddiqui, Hira (Empfänger:in), 18 Juni 2021
Auszeichnung: Preis › Studentischer Preis
Best Paper Award
Fetzer, Christof (Empfänger:in), Kuvaiskii, Dmitrii (Empfänger:in), Oleksenko, Oleksii (Empfänger:in), Arnautov, Sergei (Empfänger:in), Trach, Bohdan (Empfänger:in) & Bhatotia, Pramod Kumar (Empfänger:in), 2017
Auszeichnung: Preis › Konferenzpreis
Best Paper Award
Fetzer, Christof (Empfänger:in), Behrens, Diogo (Empfänger:in) & Kuvaiskii, Dmitrii (Empfänger:in), 2014
Auszeichnung: Preis › Konferenzpreis
Best Paper Award
Fetzer, Christof (Empfänger:in) & Knauth, Thomas (Empfänger:in), 2013
Auszeichnung: Preis › Konferenzpreis
Best Paper Award
Barazzutti, Raphaël (Empfänger:in), Felber, Pascal (Empfänger:in), Fetzer, Christof (Empfänger:in), Onica, Emanuel (Empfänger:in), Pineau, Jean-François (Empfänger:in), Pasin, Marcelo (Empfänger:in), Rivière, Étienne (Empfänger:in) & Weigert, Stefan (Empfänger:in), 2013
Auszeichnung: Preis › Konferenzpreis