Valeriy Vyatkin
Valeriy Vyatkin

Valeriy Vyatkin

Professor, Chaired Professor
Luleå University of Technology
Computer Science
Department of Computer Science, Electrical and Space Engineering
valeriy.vyatkin@ltu.se
+46 (0)920 492505
A3314 Luleå

Chaired Professor of Dependable Communications and Computations (DCC)

Personal web page

DCC web page 

Publications

Conference paper

A distributed ICT architecture for continuous frequency control (2017)

Giovanelli. C, Kikki. O, Alahäivälä. A, Seilonen. I, Lehtonen. M, Vyatkin. V
Part of: SMARTGREENS 2017, Proceedings of the 6th International Conference on Smart Cities and Green ICT Systems 2017, s. 135-142, 2017
Article in journal

A Formal Methodology for Accomplishing IEC61850 Real-Time Communication Requirements (2017)

Kunz. G, Machado. J, Perondi. E, Vyatkin. V
IEEE transactions on industrial electronics (1982. Print), ISSN: 0278-0046, Vol. 64, nr. 8, s. 6582-6590
Conference paper

A study on user-friendly formal specification languages for requirements formalization (2017)

Pang. C, Pakonen. A, Buzhinsky. I, Vyatkin. V
Part of: IEEE International Conference on Industrial Informatics (INDIN), s. 676-682, Institute of Electrical and Electronics Engineers (IEEE), 2017, 7819246
Conference paper

Auto-Generation of Distributed Automation Software Based on Formal Product Line Specification (2017)

Dubinin. V, Senokosov. I, Vyatkin. V
Part of: Industrial Applications of Holonic and Multi-Agent Systems, 8th International Conference, HoloMAS 2017, Lyon, France, August 28–30, 2017, Proceedings, s. 80-91, Springer, 2017
Article in journal

Automatic Inference of Finite-State Plant Models from Traces and Temporal Properties (2017)

Buzhinsky. I, Vyatkin. V
IEEE Transactions on Industrial Informatics, ISSN: 1551-3203, Vol. 13, nr. 4, s. 1521-1530