Old Web
English
Sign In
Acemap
>
authorDetail
>
Alevtina B. Glonina
Alevtina B. Glonina
Moscow State University
Computer science
Embedded system
Model checking
Automaton
Unified Modeling Language
8
Papers
7
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Research and Development of an Algorithm for the Response Time Estimation in Multiprocessor Systems Under the Interval Uncertainty of the Tasks Execution Times
2020
Modeling and Analysis of Information Systems
Mark G. Gonopolskiy
Alevtina B. Glonina
Show All
Source
Cite
Save
Citations (0)
Stopwatch Automata-Based Model for Efficient Schedulability Analysis of Modular Computer Systems
2017
PaCT | Parallel Computing Technologies
Alevtina B. Glonina
Anatoly Bahmurov
Show All
Source
Cite
Save
Citations (3)
An experience on using simulation environment DYANA augmented with UPPAAL for verification of embedded systems defined by UML statecharts
2013
Alevtina B. Glonina
Igor Konnov
Vladislav V. Podymov
Dmitry Yu. Volkanov
Vladimir A. Zakharov
Daniil A. Zorin
Show All
Source
Cite
Save
Citations (0)
Simulation Modeling Based Method For Choosing An Effective Set Of Fault Tolerance Techniques For Real-Time Avionics Systems
2011
Anatoly G. Bakhmurov
Vasily V. Balashov
Alevtina B. Glonina
Vasily Pashkov
Ruslan L. Smeliansky
Dmitry Yu. Volkanov
Show All
Source
Cite
Save
Citations (1)
1