Ontologies

Presentations

Cascading Verification

Refereed Conference Papers

F. Zervoudakis, D. S. Rosenblum, S. Elbaum, and A. Finkelstein, “Cascading Verification: An Integrated Method for Domain-Specific Model Checking,” in Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE ’13, Saint Petersburg, Russian Federation, August 18–26, 2013, ESEC/FSE ’13, pp. 400–410, ACM, 2013.

J. McCarthy, L. Vasiliu, A. D. Grody, C. Muckley, D. Lawrence, F. Zervoudakis, S. Tabet, J. van Grondelle, T. Bouras, K. Fernandes, T. Krintas, P. Xidonas, K. Chourdakis, and A. Koumpis, “Financial industry ontologies for risk and regulation data (fiord) - a position paper,” in Collaborative Systems for Reindustrialization - 14th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2013, Dresden, Germany, September 30 - October 2, 2013, Proceedings, vol. 408 of IFIP Advances in Information and Communication Technology, pp. 737–744, Springer, 2013.

Repositories

Cascading Verification: the repository for the refereed conference paper Cascading Verification: An Integrated Method for Domain-Specific Model Checking.

HFT Perspectives: the repository for the white paper Perspectives on High-Frequency Trading.

Mission Verification Framework: the repository for a prototype system that verifies the correctness of complex uninhabited aerial vehicle (UAV) mission plans.

PhD Thesis: the repository for my PhD thesis.

Thesis

Cascading Verification: An Integrated Method for Domain-Specific Model Checking

White Paper

Perspectives on High-Frequency Trading