Yuri G. Karpov

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