by Akili, Samira, Weidlich, Matthias
Published in Fundamenta informaticae (01.01.2021)

by Purtzel, Steven, Akili, Samira, Weidlich, Matthias
Published in Information systems (Oxford) (01.02.2024)

by Akili, Samira, Lorenz, Felix
Published in Software-intensive cyber-physical systems (01.12.2019)

by Völlinger, Kim, Akili, Samira
Published in Formal Techniques for Distributed Objects, Components, and Systems (2018)

by Akili, Samira, Völlinger, Kim
Published in Fundamentals of Software Engineering

by Völlinger, Kim, Akili, Samira
Published in NASA Formal Methods (2017)

Published in Model-Based Engineering of Collaborative Embedded Systems (2020)