Chair of Systems Engineering
Organisational unit: Chair
Contact
- Phone: 035116339708
- Email: se@mailbox.tu-dresden.de
Related content and researchers
- Researchers
- Research output
- Journals
- Activities
- Prizes
Formal Foundations for SCONE Attestation
Sardar, M. U. & Fetzer, C., 1 Jun 2022, p. 31-32. 2 p.Research output: Contribution to conferences › Paper › Contributed › peer-review
Understanding Trust Assumptions for Attestation in Confidential Computing
Sardar, M. U., 1 Jun 2022, p. 49-50. 2 p.Research output: Contribution to conferences › Paper › Contributed › peer-review
CHORS: hardening high-assurance security systems with trusted computing
Ozga, W., Faqeh, R., Le Quoc, D. & Gregor, F., May 2022, p. 1626–1635.Research output: Contribution to conferences › Paper › Contributed › peer-review
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 othersK Murali, H. & Weidenbach, C., Mar 2022. 22 p.Research output: Contribution to conferences › Paper › Invited › peer-review
Revizor: testing black-box CPUs against speculation contracts.
Oleksenko, O., Fetzer, C., Köpf, B. & Silberstein, M., 28 Feb 2022, p. 226-239. 14 p.Research output: Contribution to conferences › Paper › Contributed › peer-review
LaME '13
Journal
IEEE Data Engineering Bulletin
ISSNs: 1053-1238
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Germany
Journal
DEBS '19: Proceedings of the 13th ACM International Conference on Distributed and Event-based Systems
Association for Computing Machinery (ACM), New York, United States
Journal: Book series
IEEE Transactions on Cloud Computing (Journal)
Ponciano, L. (Reviewer)2022 → …
Activity: Publication peer-review and editorial work › Publication Peer-review
Frontiers in Ecology and Evolution (Journal)
Ponciano, L. (Reviewer)2021 → …
Activity: Publication peer-review and editorial work › Publication Peer-review
Frontiers in Psychology (Journal)
Ponciano, L. (Reviewer)2021 → …
Activity: Publication peer-review and editorial work › Publication Peer-review
Brazilian Society for the Advancement of Science (External organisation)
Ponciano, L. (Member)2019 → …
Activity: Memberships/Positions at TUD and external institutions › Academic institutions › Membership
Iberoamerican Network of Participatory Science (External organisation)
Ponciano, L. (Member)2019 → …
Activity: Memberships/Positions at TUD and external institutions › Networks and partnerships › Membership
Best Paper Award
Fetzer, Christof (Recipient), Kuvaiskii, D. (Recipient), Oleksenko, O. (Recipient), Arnautov, S. (Recipient), Trach, B. (Recipient) & Bhatotia, P. (Recipient), 2017
Prize: Conference prize
Best Paper Award
Fetzer, Christof (Recipient), Behrens, D. (Recipient) & Kuvaiskii, D. (Recipient), 2014
Prize: Conference prize
Best Paper Award
Barazzutti, R. (Recipient), Felber, P. (Recipient), Fetzer, Christof (Recipient), Onica, E. (Recipient), Pineau, J. (Recipient), Pasin, M. (Recipient), Rivière, É. (Recipient) & Weigert, S. (Recipient), 2013
Prize: Conference prize