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

Analyses as First-Class Citizens in Model-Driven Development

Reviewed Paper In Proceedings
Author(s):Tianhai Liu, Shmuel Tyszberowicz, and Bernhard Beckert
In:Proceedings of the 29th International Conference on Fundamental Approaches to Software Engineering
Publisher:Springer
Series:Lecture Notes in Computer Science
Volume:16504
Year:2026
Pages:180-201
DOI:10.1007/978-3-032-22774-4_10

BibTeX

@inproceedings{Liu2026AnalysesFirstClass,
  author    = {Tianhai Liu and Shmuel Tyszberowicz and Bernhard Beckert},
  title     = {Analyses as First-Class Citizens in Model-Driven Development},
  booktitle = {Proceedings of the 29th International Conference on Fundamental Approaches to Software Engineering},
  series    = {Lecture Notes in Computer Science},
  volume    = {16504},
  pages     = {180--201},
  year      = {2026},
  publisher = {Springer},
  doi       = {10.1007/978-3-032-22774-4_10}
}