Computer Science
Paper Review Records
All Paper Review Records
14 valid samples · Newest publication first
Review days = acceptance date − received date. PDF, DOI, and publisher-page sources are retained.
Adaptation of the ThreadSanitizer Algorithm for Data Race Detection in an RTOS Kernel
AuthorsE. S. Elchinov
Affiliations1. Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia
Adaptive Methods and Tools for Shallow Packet Inspection in Anomaly Detection within Encrypted Network Traffic
AuthorsN. A. Tsaplin; A. P. Petrov; D. Yu. Kovalev
Affiliations1. Keldysh Institute of Applied Mathematics, Russian Academy of Sciences, Moscow, Russia; 2. Trapeznikov Institute of Control Sciences, Russian Academy of Sciences, Moscow, Russia; 3. Federal Research Center “Computer Science and Control,” Russian Academy of Sciences, Moscow, Russia
Computer-Interpretable Format IDS++ for the Specification and Verification of Requirements in Construction: Idea, Concept, and Implementation
AuthorsV. A. Semenov; S. V. Arishin; E. M. Zorin; S. V. Morozov
Affiliations1. Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia; 2. Moscow Institute of Physics and Technology (National Research University), Dolgoprudnyi, Russia; 3. Moscow State University, Moscow, Russia
Data Augmentation for Machine Learning on Missing Data
AuthorsD. O. Lazarev; A. V. Shokurov; S. A. Fomin
Affiliations1. Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia; 2. Moscow Institute of Physics and Technology (National Research University), Dolgoprudny, Russia
Improving the Recall of Static Analysis of Applications Based on Frameworks by Generating Equivalent Code
AuthorsN. A. Borodavko; V. N. Ignatiev
Affiliations1. Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia; 2. Lomonosov Moscow State University, Moscow, Russia
Increasing the Precision of Static Code Analysis Using Large Language Models
AuthorsD. D. Panov; N. V. Shimchik; D. A. Chibisov; A. A. Belevantsev; V. N. Ignatyev
Affiliations1. Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia; 2. Lomonosov Moscow State University, Moscow, Russia
Yet Another Kind of JavaBeans: Composed Types from Aggregated Instances
AuthorsE. M. Grinkrug
Affiliations1. Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia
CLOS Operating System Family
AuthorsI. B. Burdonov; A. S. Kossatchev; A. K. Petrenko; A. V. Khoroshilov; V. Yu. Cheptsov
Affiliations1. Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia; 2. Lomonosov Moscow State University, Moscow, Russia; 3. HSE University, Moscow, Russia; 4. Moscow Institute of Physics and Technology, Dolgoprudny, Russia
A Reinforcement Learning Approach for Long-term Hydrothermal Dispatch
AuthorsFlorencia Roque; Matías Rama; Ignacio Salas; Mónica Carle; Magdalena Irurtia; Rodrigo Porteiro
Affiliations1. UTE, Administración Nacional de Usinas y Trasmisiones Eléctricas, Montevideo, Uruguay
An Integrated Simar–Wilson Data Envelopment Analysis and Beta-Tobit Framework for Evaluating Brazilian Bus Transport Efficiency
AuthorsAna Beatriz Fernandes Fangueiro; Jorge Junio Moreira Antunes; Vanessa de Almeida Guimarães
Affiliations1. COPPEAD Graduate School of Business, Federal University of Rio de Janeiro, Rio de Janeiro, Brazil
Expert Matching · Case Demo
Turn Your Submission Goalsinto a Verifiable Journal Plan
Share your field, deadline, and author profile. CrushSCI uses real review records to suggest a title direction, shortlist journals, and estimate timelines.