Scientific publications

Publications with research results

Scientific publications

Keywords: multi-model consistency checking

2026

April 2026 Data Protection Vulnerabilities Assessment for Cross-Organizational Consistency Checking in TEE Derui Zhu , Sebastian Bergemann , Mohammad Sadeghi , Colin Atkinson and Alexander Pretschner In Proceedings of the 8th Workshop on Modeling and Simulation of Software-Intensive Systems (MSSiS), April 2026. ACM. Details URL DOI BIB

2025

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

In addition to the cookies necessary for the operation and smooth functioning of our website, fortiss (see Imprint) uses marketing cookies to analyse and improve the website content. With the help of these cookies, user flow can be analyzed and assessed through pseudonymized data from website users. The types of cookies are described in the Privacy Policy. There you can change your consent at any time.

Mandatory

These cookies are needed for a smooth operation of our website.

Name	Purpose	Lifetime	Type	Provider
CookieConsent	Saves your consent to using cookies.	1 year	HTML	Website