Valeriy Vyatkin
Valeriy Vyatkin

Valeriy Vyatkin

Professor, Chaired Professor
Luleå University of Technology
Computer Science
Department of Computer Science, Electrical and Space Engineering
+46 (0)920 492505
A3314 Luleå

Chaired Professor of Dependable Communications and Computations (DCC)

Personal web page

DCC web page 


Article in journal

Automatic assembly planning based on digital product descriptions (2018)

Sierla. S, Kyrki. V, Aarnio. P, Vyatkin. V
Computers in industry (Print), ISSN: 0166-3615, Vol. 97, s. 34-46
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 framework for runtime verification of industrial process control systems (2017)

Savolainen. R, Sierla. S, Karhela. T, Miettinen. T, Vyatkin. V
Part of: Proceedings, 2017 IEEE 15th International Conference on Industrial Informatics, INDIN 2017, s. 687-694, Institute of Electrical and Electronics Engineers (IEEE), 2017, 8104856
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