A Formal Approach to Distributed System Security Test Generation. - Vladimir A. Khlevnoy; Andrey A. Shchurov (CoRR, 2014)

A Formal Model of Distributed Systems For Test Generation Missions. - Andrey A. Shchurov (CoRR, 2014)

A Formal Approach to Distributed System Tests Design. - Andrey A. Shchurov; Radek Marik (CoRR, 2014)

A presentation format of architecture description based on the concept of multilayer networks. - Andrey A. Shchurov; Radek Marík (Kaleidoscope, 2015)

Industrial Computing Systems: A Case Study of Fault Tolerance Analysis. - Andrey A. Shchurov (CoRR, 2015)

A Multilayer Model of Computer Networks. - Andrey A. Shchurov (CoRR, 2015)

Dependability Tests Selection Based on the Concept of Layered Networks. - Andrey A. Shchurov; Radek Marik (CoRR, 2015)

A Formal Approach to Network/Distributed Systems Complex Testing. - Andrey A. Shchurov; Radek Marik; Vladimir A. Khlevnoy (CoRR, 2015)

A Trusted Model of Complex Computer Networks. - Andrey A. Shchurov; Radek Marik (J. ICT Stand., 2016)

A Multilayer Approach to Commercial Computer Networks Testing. - Andrey A. Shchurov; Radek Marik (IEEE Access, 2017)