Modélisation des systèmes synchrones en BIP. (Modeling Synchronous Systems in BIP). - Vasiliki Sfyrla (2011)

Formal analysis of Fresenius infusion pump (FIP). - Vasiliki Sfyrla; Sébastien Marcoux; Claude Vittoria (ICCPS, 2013)

Process-Oriented Analysis for Medical Devices. - Vasiliki Sfyrla; Josep Carmona 001; Pascal Henck (MCPS, 2014)

Learning semantic models from event logs. - Vasiliki Sfyrla; Ioannis Partalas; Richard Yann; Sebastian Maunoury (BPM (Industry Track), 2015)

Methodology for generating attack trees for interoperable medical devices. - Jian Xu; Vasiliki Sfyrla; Krishna K. Venkatasubramanian (ICCPS, 2015)

Requirement Engineering for Functional Alarm System for Interoperable Medical Devices. - Krishna K. Venkatasubramanian; Eugene Y. Vasserman; Vasiliki Sfyrla; Oleg Sokolsky; Insup Lee 001 (SAFECOMP, 2015)

A methodology for systematic attack trees generation for interoperable medical devices. - Jian Xu; Krishna K. Venkatasubramanian; Vasiliki Sfyrla (SysCon, 2016)