| 2007 |
|---|
| 12 | EE | Yuri Karpov,
Rostislav I. Ivanovsky,
Kirill A. Sotnikov:
Application of Simulation Approaches to Creation of Decision Support System for IT Service Management.
PaCT 2007: 553-558 |
| 2003 |
|---|
| 11 | EE | Yuri Karpov,
Dmitry Sotnikov:
Interval Approach to Parallel Timed Systems Verification.
PaCT 2003: 100-116 |
| 2002 |
|---|
| 10 | EE | Andrei Borshchev,
Yuri Karpov,
Vladimir Kharitonov:
Distributed simulation of hybrid systems with AnyLogic and HLA.
Future Generation Comp. Syst. 18(6): 829-839 (2002) |
| 2001 |
|---|
| 9 | EE | Andrei Borshchev,
Yuri Karpov,
Pavel Lebedev:
Distributed Simulation of Hybrid Systems with HLA Support.
PaCT 2001: 410-420 |
| 1999 |
|---|
| 8 | | Yuri Karpov,
Andrei Borshchev,
Alex Filippoff,
Kirill Bolshakov:
XJ DOME - An Environment for the Development and Usage of Mobile Agents.
CEEMAS 1999 |
| 7 | EE | Kirill Bolshakov,
Andrei Borshchev,
Alex Filippoff,
Yuri Karpov,
Victor Roudakov:
Creating and Running Mobile Agents with XJ DOME.
PaCT 1999: 410-416 |
| 6 | EE | Kirill Bolshakov,
Yuri Karpov,
Alexei Sintotskij:
DEALed - A Tool Suite for Distributed Real-Time Systems Development.
PaCT 1999: 497-502 |
| 1997 |
|---|
| 5 | EE | Andrei Borshchev,
Yuri Karpov,
Victor Roudakov:
COVERS 3.0 - An Object-Oriented Environment for Modeling, Simulation and Analysis of Real-Time Concurrent Systems.
DIS-RT 1997: 39- |
| 4 | EE | Andrei Borshchev,
Yuri Karpov,
Victor Roudakov:
Systems modeling, simulation and analysis using COVERS active objects.
ECBS 1997: 220-227 |
| 3 | | Andrei Borshchev,
Yuri Karpov,
Victor Roudakov,
Alexei Filippov,
Alexei Sintotskij,
Sergei Fedorenko:
Analysis of a Distributed Election Algorithm Using COVERS 3.0 - A Case Study.
PaCT 1997: 175-188 |
| 2 | | Andrei Borshchev,
Yuri Karpov,
Victor Roudakov,
Alexei Filippov,
Alexei Sintotskij,
Sergei Fedorenko:
COVERS 3.0 - A C++ Based Graphical Modeling and Simulation Tool.
PaCT 1997: 409-423 |
| 1995 |
|---|
| 1 | | Andrei Borshchev,
Yuri Karpov,
Victor Roudakov:
COVERS - A Tool for the Design of Real-time Concurrent Systems.
PaCT 1995: 219-233 |
