Wissenschaft­liche Publikationen

Liste als BibTeX-Datei exportieren

2027

• Januar 2027 Confidentiality and practicality of trusted execution environments for cross-organizational multi-model consistency checking Sebastian Bergemann , Derui Zhu , Andreas Bayha , Mohammad Sadeghi , Colin Atkinson und Alexander Pretschner Journal of Systems and Software, 243(113114):, Januar 2027. Details URL DOI BIB

2025

• Oktober 2025 Mind the Leak: Formalizing Confidentiality Preservation Assessment of Multi-Model Consistency Checking Systems Sebastian Bergemann , Andreas Bayha , Derui Zhu , Mohammad Sadeghi , Colin Atkinson und Alexander Pretschner In ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion ’25), Oktober 2025. IEEE. Details DOI BIB

2024

• September 2024 Modular Consistency Checking Between Heterogeneous Models Without Direct Data Exchange Between Collaborators Sebastian Bergemann und Nina Benkendorf In ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion ’24), September 2024. ACM. Details DOI BIB