Fokion Zervoudakis

According to our database, Fokion Zervoudakis authored at least 3 papers between 2013 and 2014.

Collaborative distances:

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

2014

Cascading verification : an integrated method for domain-specific model checking.

Fokion Zervoudakis

PhD thesis, 2014

2013

Cascading verification: an integrated method for domain-specific model checking.

Fokion Zervoudakis, David S. Rosenblum, Sebastian G. Elbaum, Anthony Finkelstein

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Financial Industry Ontologies for Risk and Regulation Data (FIORD) - A Position Paper.

Justin McCarthy, Laurentiu Vasiliu, Allan D. Grody, Cal Muckley, Donald Lawrence, Fokion Zervoudakis, Said Tabet, Jeroen van Grondelle, Thanassis Bouras, Kiran Fernandes, Theodoros Krintas, Panos Xidonas, Kyriakos Chourdakis, Adamantios Koumpis

Proceedings of the Collaborative Systems for Reindustrialization, 2013