Computation, Information and Technology

STRATA
Gebele, J. (PI) & Matthes, F. (PI)
1/05/26 → 30/04/29
Project: Research
CausalMosaic
Gottal, J. (PI) & Matthes, F. (PI)
1/01/26 → 31/12/28
Project: Research
CHRONO-FACT
Mercier, A. (PI) & Matthes, F. (PI)
1/01/26 → 31/12/28
Project: Research

Confidentiality and practicality of trusted execution environments for cross-organizational multi-model consistency checking
Bergemann, S., Zhu, D., Bayha, A., Sadeghi, M., Atkinson, C. & Pretschner, A., Jan 2027, In: Journal of Systems and Software. 243, 113114.
Research output: Contribution to journal › Article › peer-review
CORA: Verifying Neural Networks in a Shared Latent Space (Competition Contribution)
Koller, L., Ladner, T., Kellner, B. & Althoff, M., 2027, AI Verification - 3rd International Symposium, SAIV 2026, Proceedings. Avni, G. & Schilling, C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 373-379 7 p. (Lecture Notes in Computer Science; vol. 16831 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Defeaters from Accidents and Incident Reports: Discovery, Extraction, Identification
Rohlinger, T., Ratiu, D., Carlan, C. & Wagner, S., 2027, Computer Safety, Reliability, and Security - 45th International Conference, SAFECOMP 2026, Proceedings. Troubitsyna, E., de Andrés, D. & Bitsch, F. (eds.). Springer Science and Business Media Deutschland GmbH, p. 49-63 15 p. (Lecture Notes in Computer Science; vol. 16868 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Collaborations and top research areas from the last five years