COVERS - A Tool for the Design of Real-time Concurrent Systems. - Andrei Borshchev; Yuri G. Karpov; Victor Roudakov (PaCT, 1995)

COVERS 3.0 - An Object-Oriented Environment for Modeling, Simulation and Analysis of Real-Time Concurrent Systems. - Andrei Borshchev; Yuri G. Karpov; Victor Roudakov (DIS-RT, 1997)

Systems modeling, simulation and analysis using COVERS active objects. - Andrei Borshchev; Yuri G. Karpov; Victor Roudakov (ECBS, 1997)

Analysis of a Distributed Election Algorithm Using COVERS 3.0 - A Case Study. - Andrei Borshchev; Yuri G. Karpov; Victor Roudakov; Alexei Filippov; Alexei Sintotskij; Sergei Fedorenko (PaCT, 1997)

COVERS 3.0 - A C++ Based Graphical Modeling and Simulation Tool. - Andrei Borshchev; Yuri G. Karpov; Victor Roudakov; Alexei Filippov; Alexei Sintotskij; Sergei Fedorenko (PaCT, 1997)

XJ DOME - An Environment for the Development and Usage of Mobile Agents. - Yuri G. Karpov; Andrei Borshchev; Alex Filippoff; Kirill Bolshakov (CEEMAS, 1999)

Creating and Running Mobile Agents with XJ DOME. - Kirill Bolshakov; Andrei Borshchev; Alex Filippoff; Yuri G. Karpov; Victor Roudakov (PaCT, 1999)

DEALed - A Tool Suite for Distributed Real-Time Systems Development. - Kirill Bolshakov; Yuri G. Karpov; Alexei Sintotskij (PaCT, 1999)

Distributed Simulation of Hybrid Systems with HLA Support. - Andrei Borshchev; Yuri G. Karpov; Pavel Lebedev (PaCT, 2001)

Distributed simulation of hybrid systems with AnyLogic and HLA. - Andrei Borshchev; Yuri G. Karpov; Vladimir Kharitonov (Future Gener. Comput. Syst., 2002)

Interval Approach to Parallel Timed Systems Verification. - Yuri G. Karpov; Dmitry Sotnikov (PaCT, 2003)

Application of Simulation Approaches to Creation of Decision Support System for IT Service Management. - Yuri G. Karpov; Rostislav I. Ivanovsky; Kirill A. Sotnikov (PaCT, 2007)