Fokion Zervoudakis

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Cascading verification : an integrated method for domain-specific model checking.
PhD thesis, 2014

2013
Cascading verification: an integrated method for domain-specific model checking.
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.
Proceedings of the Collaborative Systems for Reindustrialization, 2013


  Loading...