Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

A Unified Model-Driven Framework for Co-Designing System Architecture and Safety Analysis in Cyber-Physical Systems

Reviewed Paper In Proceedings
Author(s):Muhammad Asim Minhas, Erik Burger, Ralf Reussner, and Tianhai Liu
In:Proceedings of the European Conference on Modelling Foundations and Applications (ECMFA)
Year:2026

BibTeX

@inproceedings{MinhasBurgerReussnerLiu2026ECMFA,
  author    = {Muhammad Asim Minhas and Erik Burger and Ralf Reussner and Tianhai Liu},
  title     = {A Unified Model-Driven Framework for Co-Designing System Architecture and Safety Analysis in Cyber-Physical Systems},
  booktitle = {Proceedings of the European Conference on Modelling Foundations and Applications (ECMFA)},
  year      = {2026}
}