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
Hardening High-Assurance Security Systems with Trusted Computing
Ozga, W., 12 Aug 2022, 164 p.Research output: Types of Thesis › Doctoral thesis
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
LaME '13
Journal
SoCC '15: Proceedings of the Sixth ACM Symposium on Cloud Computing
Association for Computing Machinery (ACM), New York, United States
Journal
IEEE Data Engineering Bulletin
ISSNs: 1053-1238
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Germany
Journal
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, Dmitrii (Recipient), Oleksenko, Oleksii (Recipient), Arnautov, Sergei (Recipient), Trach, Bohdan (Recipient) & Bhatotia, Pramod Kumar (Recipient), 2017
Prize: Conference prize
Best Paper Award
Fetzer, Christof (Recipient), Behrens, Diogo (Recipient) & Kuvaiskii, Dmitrii (Recipient), 2014
Prize: Conference prize
Best Paper Award
Fetzer, Christof (Recipient) & Knauth, Thomas (Recipient), 2013
Prize: Conference prize
Best Paper Award
Barazzutti, Raphaël (Recipient), Felber, Pascal (Recipient), Fetzer, Christof (Recipient), Onica, Emanuel (Recipient), Pineau, Jean-François (Recipient), Pasin, Marcelo (Recipient), Rivière, Étienne (Recipient) & Weigert, Stefan (Recipient), 2013
Prize: Conference prize