 | 2012 |
| 6 |  | Victor Dubinin,
Valeriy Vyatkin:
Semantics-Robust Design Patterns for IEC 61499.
IEEE Trans. Industrial Informatics 8(2): 279-290 (2012) |
| 2010 |
| 5 |  | Valeriy Vyatkin,
Victor Dubinin:
Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard.
IEEE Trans. Industrial Informatics 6(2): 155-165 (2010) |
| 2008 |
| 4 |  | Victor Dubinin,
Valeriy Vyatkin:
On Definition of a Formal Model for IEC 61499 Function Blocks.
EURASIP J. Emb. Sys. 2008: (2008) |
| 2006 |
| 3 |  | Victor Dubinin,
Valeriy Vyatkin,
Hans-Michael Hanisch:
Modelling and Verification of IEC 61499 Applications using Prolog.
ETFA 2006: 774-781 |
| 2 |  | Valeriy Vyatkin,
Hans-Michael Hanisch,
Sirko Karras,
Thomas Pfeiffer,
Victor Dubinin:
Rapid engineering and re-configuration of automation objects aided by formal modelling and verification.
IJMR 1(4): 382-404 (2006) |
| 2005 |
| 1 |  | Victor Dubinin,
Valeriy Vyatkin,
Thomas Pfeiffer:
Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499.
ICRA 2005: 3996-4001 |