Yuri G. Karpov

Publication Activity (10 Years)

Years Active: 1995-2007
Publications (10 Years): 0

Publications

Yuri G. Karpov, Rostislav I. Ivanovsky, Kirill A. Sotnikov
Application of Simulation Approaches to Creation of Decision Support System for IT Service Management. PaCT (2007)
Yuri G. Karpov, Dmitry Sotnikov
Interval Approach to Parallel Timed Systems Verification. PaCT (2003)
Andrei Borshchev, Yuri G. Karpov, Vladimir Kharitonov
Distributed simulation of hybrid systems with AnyLogic and HLA. Future Gener. Comput. Syst. 18 (6) (2002)
Andrei Borshchev, Yuri G. Karpov, Pavel Lebedev
Distributed Simulation of Hybrid Systems with HLA Support. PaCT (2001)
Kirill Bolshakov, Yuri G. Karpov, Alexei Sintotskij
DEALed - A Tool Suite for Distributed Real-Time Systems Development. PaCT (1999)
Yuri G. Karpov, Andrei Borshchev, Alex Filippoff, Kirill Bolshakov
XJ DOME - An Environment for the Development and Usage of Mobile Agents. CEEMAS (1999)
Kirill Bolshakov, Andrei Borshchev, Alex Filippoff, Yuri G. Karpov, Victor Roudakov
Creating and Running Mobile Agents with XJ DOME. PaCT (1999)
Andrei Borshchev, Yuri G. Karpov, Victor Roudakov, Alexei Filippov, Alexei Sintotskij, Sergei Fedorenko
Analysis of a Distributed Election Algorithm Using COVERS 3.0 - A Case Study. PaCT (1997)
Andrei Borshchev, Yuri G. Karpov, Victor Roudakov
COVERS 3.0 - An Object-Oriented Environment for Modeling, Simulation and Analysis of Real-Time Concurrent Systems. DIS-RT (1997)
Andrei Borshchev, Yuri G. Karpov, Victor Roudakov
Systems modeling, simulation and analysis using COVERS active objects. ECBS (1997)
Andrei Borshchev, Yuri G. Karpov, Victor Roudakov, Alexei Filippov, Alexei Sintotskij, Sergei Fedorenko
COVERS 3.0 - A C++ Based Graphical Modeling and Simulation Tool. PaCT (1997)
Andrei Borshchev, Yuri G. Karpov, Victor Roudakov
COVERS - A Tool for the Design of Real-time Concurrent Systems. PaCT (1995)