Wissenschaftliche Publikationen

Stichworte: consistency check

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

April 2026 Data Protection Vulnerabilities Assessment for Cross-Organizational Consistency Checking in TEE Derui Zhu , Sebastian Bergemann , Mohammad Sadeghi , Colin Atkinson und Alexander Pretschner In Proceedings of the 8th Workshop on Modeling and Simulation of Software-Intensive Systems (MSSiS), April 2026. ACM. Details URL DOI BIB
März 2026 BaSys4Transfer – Transformation von Unternehmensprozessen, Fertigung und IT-Systeme zur Industrie 4.0; Abschlussbericht fortiss GmbH Andreas Bayha , Tarik Terzimehić und Sebastian Bergemann März 2026. Details DOI BIB

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

September 2015 The SFIT tool: Supporting assembly planners to deal with new product variants Antoaneta Kondeva , Vincent Aravantinos , Lukas Hermanns und Leenhard Hörauf In Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), September 2015. IEEE. Details DOI BIB