Valeriy Vyatkin
Valeriy Vyatkin

Valeriy Vyatkin

Professor, Ämnesföreträdare
Luleå tekniska universitet
Datavetenskap
Institutionen för system- och rymdteknik
valeriy.vyatkin@ltu.se
0920-492505
A3314 Luleå

Ämnesföreträdare av Kommunikations- och beräkningssystem (DCC)

Personlig webbsida

DCC webbsida

Publikationer

Konferensbidrag

A distributed ICT architecture for continuous frequency control (2017)

Giovanelli. C, Kikki. O, Alahäivälä. A, Seilonen. I, Lehtonen. M, Vyatkin. V
Ingår i: SMARTGREENS 2017, Proceedings of the 6th International Conference on Smart Cities and Green ICT Systems 2017, s. 135-142, 2017
Artikel i tidskrift

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
Konferensbidrag

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

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

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

Dubinin. V, Senokosov. I, Vyatkin. V
Ingår i: 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
Artikel i tidskrift

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