Automatic Control and Computer Sciencesжурнал

Редколлегия

---

• Захаров Владимир Анатольевич, с 1 ноября 2017

Статьи, опубликованные в журнале

---

• • 2022 A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model
  • Mironov A.M.
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 56, № 7, с. 762-777 DOI
• • 2022 Satisfiability and Model Checking for One Parameterized Extension of Linear Temporal Logic
  • Gnatenko A.R., Zakharov V.A.
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 56, № 7, с. 649-660 DOI
• • 2022 Trust Evaluation Problems in Big Data Analytics
  • Grusho A.A., Grusho N.A., Zabezhailo M.I., Timonina E.E.
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 56, № 8, с. 847-851 DOI
• 
  • 2021 Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines
  • Zakharov V.A.
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 55, № 7, с. 670-701 DOI
• 
  • 2021 Localization of the Root Cause of the Anomaly
  • Grusho A.A., Grusho N.A., Zabezhailo M.I., Timonina E.E.
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 55, № 8, с. 978-983 DOI
• 
  • 2021 On the Model Checking Problem for Some Extension of CTL*
  • Gnatenko A.R., Zakharov V.A.
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 55, № 7, с. 776-785 DOI
• 
  • 2021 On the Modeling of Sequential Reactive Systems by Means of Real Time Automata
  • Vinarskii E.R., Zakharov V.A.
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 55, № 7, с. 751-762 DOI
• 
  • 2021 Research and Development of an Algorithm for Response Time Estimation in Multiprocessor Systems under Interval Uncertainty of Task Execution Times
  • Gonopolskiy M.G., Glonina A.B.
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 55, № 7, с. 658-669 DOI
• 
  • 2021 Use of Contradictions in Data for Finding Implicit Failures in Computer Systems
  • Grusho A.A., Grusho N.A., Zabezhailo M.I., Timonina E.E.
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 55, № 8, с. 1115-1120 DOI
• 
  • 2020 Formal Verification of Three-Valued Digital Waveforms
  • Kutsak N.Yu, Podymov V.V.
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 54, № 7, с. 630-644 DOI
• 
  • 2020 Localizing Failures with Metadata
  • Grusho N.A., Grusho A.A., Timonina E.E.
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 54, № 8, с. 988-992 DOI
• 
  • 2019 Even simple pi-calculus processes are difficult to analyze
  • Abbas M.M., Zakharov V.A.
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 53, № 7, с. 589-606 DOI
• 
  • 2019 Method of Integration of Multiagent Information Search Using Security Analysis and Information Services in Digital Infrastructures
  • Grusho N.A.
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 53, № 8, с. 922-931 DOI
• 
  • 2019 On Bikes in Smart Cities
  • Dmitry Namiot, Manfred Sneps-Sneppe
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 53, № 1, с. 63-71 DOI
• 
  • 2019 On the expressive power of some extensions of linear temporal logic
  • Gnatenko A.R., Zakharov V.A.
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 53, № 7, с. 506-524 DOI
• 
  • 2019 Spoofing attack on eigenfaces-based biometric identification system
  • Marshalko G.B., Nikiforova L.O.
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), № 8, с. 980-986
• 
  • 2018 On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks
  • Glonina A.B., Balashov V.V.
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 52, № 7, с. 817-827 DOI
• 
  • 2018 Protection of Valuable Information in Information Technologies
  • Grusho A.A., Grusho N.A., Zabezhaylo M.I., Timonina E.E.
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 52, № 8, с. 1076-1079 DOI
• 
  • 2017 Asymptotics, Stability, and Region of Attraction of Periodic Solution to a Singularly Perturbed Parabolic Problem with Double Root of a Degenerate Equation
  • Butuzov V.F., Nefedov N.N., Recke L., Schneider K.
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 51, № 7, с. 606-613 DOI
• 
  • 2017 Information Security Architecture Synthesis in Distributed Information Computation Systems
  • Grusho A.A., Grusho N.A., Timonina E.E.
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 51, № 8, с. 799-804 DOI
• 
  • 2017 Method for Choosing a Balanced Set of Fault-Tolerance Techniques for Distributed Computer Systems
  • Volkanov D.Yu
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 51, № 7, с. 539-550
• 
  • 2017 On the Minimization Problem for Sequential Programs
  • Zakharov V.A., Jaylauova S.R.
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 51, № 7, с. 689-700 DOI
• 
  • 2017 On the Minimization of Finite State Transducers over Semigroups
  • Zakharov V.A., Temerbekova G.G.
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 51, № 7, с. 523-530 DOI
• 
  • 2016 Data mining in ensuring information security
  • Grusho A.A., Grusho N.A., Zabezhailo M.I., Timonina E.E.
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 50, № 8, с. 722-725 DOI
• 
  • 2016 Intelligent data analysis in information security
  • Grusho A.A., Grusho N.A., Zabezhailo M.I., Timonina E.E.
  • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 50, № 8, с. 722-725 DOI