Z. Zhai, D. Li, Z. Pang, C. Liu, V. Vyatkin, “Synchronous-reactive Semantic Modelling and Verification for Function Block Networks”, IEEE Transactions on Industrial Informatics, 2017
V. Dubinin, V. Vyatkin, “Semantics-robust Design Patterns for IEC 61499”, IEEE Transactions on Industrial Informatics, 2012, 8(2), pp.279-290
P. Tata, V. Vyatkin, “Proposing a novel IEC61499 Runtime Framework implementing the Cyclic Execution Semantics”, 7th International IEEE Conference on Industrial Informatics, (INDIN’09), Cardiff, June 2009
V. Vyatkin, “The IEC 61499 Standard and its Semantics”, IEEE Industrial Electronics Magazine, 3(4), pp. 40-48, 2009
Dai, W., Vyatkin, V., Pang, C., & Christensen, J. H. (2015, July). Time-stamped event based execution semantics for industrial cyber-physical systems. In 2015 IEEE 13th International Conference on Industrial Informatics (INDIN) (pp. 1263-1268). IEEE.
W. Dai, C. Pang, V. Vyatkin, J. H. Christensen, “Time-Stamped Discrete-Event Based Execution Semantics for Industrial Cyber-Physical Systems”, IEEE International Conference on Industrial Informatics INDIN’2015, Cambridge, July, 2015
C. Pang, S. Patil, C.-W. Yang, V. Vyatkin, A. Shalyto, “A Portability Study of IEC 61499: Semantics and Tools”, IEEE Conference on Industrial Informatics INDIN’2014, Porto-Allegre, Brazil, July 27-30, 2014
V. Vyatkin, V. Dubinin, Ferrarini, L.M., Veber C., Alternatives for Execution Semantics of IEC61499, 5th IEEE Conference on Industrial Informatics (INDIN’07), Vienna, p.1151-1156
V. Dubinin, V. Vyatkin, Towards a Formal Semantics of IEC1499 Function Blocks, 4th IEEE Conference on Industrial Informatics (INDIN’2006), Singapore, 2006
Vyatkin V., “Execution semantic of function blocks based on the model of net condition/event systems”, 4th IEEE Conference on Industrial Informatics (INDIN ‘06), Proceedings, Singapore, 2006