Vassiliki Sfyrla

According to our database, Vassiliki Sfyrla authored at least 2 papers between 2009 and 2010.

Collaborative distances:

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

2010

Compositional Translation of Simulink Models into Synchronous BIP.

Vassiliki Sfyrla, Georgios Tsiligiannis, Iris Safaka, Marius Bozga, Joseph Sifakis

Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

2009

Modeling synchronous systems in BIP.

Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009