Vasiliki Sfyrla

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 1

Top Topics

Medical Devices

Process Oriented

Formal Analysis

Top Venues

BPM (Industry Track)

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Jian Xu, Krishna K. Venkatasubramanian, Vasiliki Sfyrla
A methodology for systematic attack trees generation for interoperable medical devices. SysCon (2016)
Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Vasiliki Sfyrla, Oleg Sokolsky, Insup Lee
Requirement Engineering for Functional Alarm System for Interoperable Medical Devices. SAFECOMP (2015)
Vasiliki Sfyrla, Ioannis Partalas, Richard Yann, Sebastian Maunoury
Learning semantic models from event logs. BPM (Industry Track) (2015)
Jian Xu, Vasiliki Sfyrla, Krishna K. Venkatasubramanian
Methodology for generating attack trees for interoperable medical devices. ICCPS (2015)
Vasiliki Sfyrla, Josep Carmona, Pascal Henck
Process-Oriented Analysis for Medical Devices. MCPS (2014)
Vasiliki Sfyrla, Sébastien Marcoux, Claude Vittoria
Formal analysis of Fresenius infusion pump (FIP). ICCPS (2013)