Vasiliki Sfyrla

According to our database, Vasiliki Sfyrla authored at least 7 papers between 2011 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

A methodology for systematic attack trees generation for interoperable medical devices.

Jian Xu, Krishna K. Venkatasubramanian, Vasiliki Sfyrla

Proceedings of the Annual IEEE Systems Conference, 2016

2015

Requirement Engineering for Functional Alarm System for Interoperable Medical Devices.

Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Vasiliki Sfyrla, Oleg Sokolsky, Insup Lee

Proceedings of the Computer Safety, Reliability, and Security, 2015

Methodology for generating attack trees for interoperable medical devices.

Jian Xu, Vasiliki Sfyrla, Krishna K. Venkatasubramanian

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Learning semantic models from event logs.

Vasiliki Sfyrla, Ioannis Partalas, Richard Yann, Sebastian Maunoury

Proceedings of the Industry Track at the 13th International Conference on Business Process Management 2015 co-located with 13th International Conference on Business Process Management (BPM 2015), 2015

2014

Process-Oriented Analysis for Medical Devices.

Vasiliki Sfyrla, Josep Carmona, Pascal Henck

Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

2013

Formal analysis of Fresenius infusion pump (FIP).

Vasiliki Sfyrla, Sébastien Marcoux, Claude Vittoria

Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

2011

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

Vasiliki Sfyrla

PhD thesis, 2011