Frenkel Sergey Lazarevich

Publications in Math-Net.Ru

1. On the problem of predicting degradation in technical systems
   
   Inform. Primen., 18:4 (2024),  68–76
2. Models for study of the influence of statistical characteristics of computer networks traffic on the efficiency of prediction by machine learning tools
   
   Inform. Primen., 17:4 (2023),  71–80
3. Internet traffic prediction model
   
   Artificial Intelligence and Decision Making, 2022, no. 4,  66–77
4. Joint assessment of data predictability and quality predictors
   
   Inform. Primen., 14:2 (2020),  40–49
5. Seamless route updates in software-defined networking via quality of service compliance verification
   
   Inform. Primen., 12:4 (2018),  52–62
6. Using a probabilistic calculation model to test one class of ready-to-use software components of local and network systems
   
   Inform. Primen., 12:4 (2018),  44–51
7. A probabilistic model for estimation of software robustness to short-term hardware failures
   
   Inform. Primen., 11:1 (2017),  46–57
8. Performance improvement of Lempel–Ziv–Welch compression algorithm
   
   Inform. Primen., 9:4 (2015),  78–84
9. Minimization of probabilistic models of programs
   
   Fundam. Prikl. Mat., 19:1 (2014),  121–163
10. A method of enhancing probabilistic verification efficiency for computer and telecommunication systems
    
    Inform. Primen., 8:4 (2014),  58–69
11. Probabilistic methods for self-correcting hardware design
    
    Inform. Primen., 7:4 (2013),  140–147
12. Holographic coding by Walsh–Hadamard transformation of randomized and permuted data
    
    Inform. Primen., 6:4 (2012),  76–83
13. Semiformal verification for pipelined digital designs based on Algorithmic State Machines
    
    Inform. Primen., 4:4 (2010),  48–59
14. Estimation of self-healing time for digital systems under transient faults
    
    Inform. Primen., 4:3 (2010),  2–8
15. The Compiler of Tabular Representations of Mealy Machines into Programs in the SMV Language that Automates Verification of Computer Projects Using the Model Verification
    
    Sistemy i Sredstva Inform., 20:3 (2010),  4–16
16. A probabilistic analysis of fault detection latency in a network of Finite State Machines
    
    Inform. Primen., 3:2 (2009),  2–14
17. Some aspects of VLSI design using algorithmic state machines
    
    Sistemy i Sredstva Inform., 2009, no. 19,  87–95
18. Concurrent design and verification of digital hardware
    
    Inform. Primen., 2:3 (2008),  7–25
19. An approach to classification of computer systems faults localization models
    
    Sistemy i Sredstva Inform., 2008, no. special issue,  16–31