Modelling and Analysing Socio-Technical Systems. - Zaruhi Aslanyan; Marieta Georgieva Ivanova; Flemming Nielson; Christian W. Probst (STPIS@CAiSE, 2015)

Pareto Efficient Solutions of Attack-Defence Trees. - Zaruhi Aslanyan; Flemming Nielson (POST, 2015)

Quantitative Verification and Synthesis of Attack-Defence Scenarios. - Zaruhi Aslanyan; Flemming Nielson; David Parker 001 (CSF, 2016)

Understanding How Components of Organisations Contribute to Attacks. - Min Gu; Zaruhi Aslanyan; Christian W. Probst (NordSec, 2016)

Model Checking Exact Cost for Attack Scenarios. - Zaruhi Aslanyan; Flemming Nielson (POST, 2017)

Formal Analysis of Graphical Security Models. - Zaruhi Aslanyan (2017)