Nadezhda V. Nagul

14 papers C 1Journal 3Unranked 10
YearRankTypeTitle / Venue / Authors
2024 J jnl
Analysis and Control of Partially Observed Discrete-Event Systems via Positively Constructed Formulas.
Comput.
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2024 J jnl
On the Application of the Calculus of Positively Constructed Formulas for the Study of Controlled Discrete-Event Systems.
Autom. Control. Comput. Sci.
A. V. Davydov, Alexander Larionov, Nadezhda V. Nagul
2022 C conf
On Checking Observability of Formal Languages in DES Control Problems.
CoDIT
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2021 — conf
Modular discrete event systems control based on logic inference.
ICCS-DE
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2021 — conf
Positively Constructed Formulas-Based Approach to Mobile Robot Control Using DES.
MIPRO
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2020 — conf
Logic inference based construction of a supervisor for a discrete event system.
ICCS-DE
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2020 — conf
On Checking Controllability of Specification Languages for DES.
MIPRO
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2020 — conf
The construction of controllable sublanguage of specification for DES via PCFs based inference.
ICCS-DE
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2019 — conf
PCF-based formalization of the parallel composition of automata.
ICCS-DE
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2018 — conf
The formal logic approach for checking the observability of a specification language on DES functioning.
MIPRO
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2017 — conf
On the properties of discrete-event systems with observable states.
MIPRO
Nadezhda V. Nagul
2017 — conf
The formal description of discrete-event systems using positively constructed formulas.
MIPRO
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2016 J jnl
Generating conditions for preserving the properties of controlled discrete event systems.
Autom. Remote. Control.
Nadezhda V. Nagul
2016 — conf
Logical-algebraic equations application in discrete-event systems studying.
MIPRO
Nadezhda V. Nagul
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski