Evgeny Pavlenko

ORCID

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 10

Top Venues

Autom. Control. Comput. Sci.

ICPS

SIN

Symmetry

University of Kaiserslautern (PHD)

Education History

University of Kaiserslautern

PHD

Publications

Dmitry P. Zegzhda, Evgeny Pavlenko, Elena B. Aleksandrova
Modelling Artificial Immunization Processes to Counter Cyberthreats. Symmetry 13 (12) (2021)
Dmitry P. Zegzhda, Daria S. Lavrova, Evgeny Pavlenko, Anna A. Shtyrkina
Cyber Attack Prevention Based on Evolutionary Cybernetics Approach. Symmetry 12 (11) (2020)
Evgeny Pavlenko, Dmitry P. Zegzhda, Anna A. Shtyrkina
Estimating the sustainability of cyber-physical systems based on spectral graph theory. BlackSeaCom (2019)
Evgeny Pavlenko, Dmitry P. Zegzhda, Maria A. Poltavtseva
Ensuring the sustainability of cyberphysical systems based on dynamic reconfiguration. ICPS (2019)
Evgeny Pavlenko, Dmitry P. Zegzhda
Sustainability of cyber-physical systems in the context of targeted destructive influences. ICPS (2018)
Peter D. Zegzhda, Dmitry P. Zegzhda, Evgeny Pavlenko, Gleb Ignatev
Applying deep learning techniques for Android malware detection. SIN (2018)
Dmitry P. Zegzhda, E. S. Usov, V. A. Nikol'skii, Evgeny Pavlenko
Use of Intel SGX to ensure the confidentiality of data of cloud users. Autom. Control. Comput. Sci. 51 (8) (2017)
Peter D. Zegzhda, E. V. Malyshev, Evgeny Pavlenko
The use of an artificial neural network to detect automatically managed accounts in social networks. Autom. Control. Comput. Sci. 51 (8) (2017)
Peter D. Zegzhda, Dmitry P. Zegzhda, Evgeny Pavlenko, Andrew Dremov
Detecting Android application malicious behaviors based on the analysis of control flows and data flows. SIN (2017)
Dmitry P. Zegzhda, Evgeny Pavlenko
Cyber-physical system homeostatic security management. Autom. Control. Comput. Sci. 51 (8) (2017)
Maxim O. Kalinin, Evgeny Pavlenko
Increasing the fault tolerance and availability of software defined networks using network equipment control based on multiobjective optimization by service quality parameters. Autom. Control. Comput. Sci. 49 (8) (2015)
Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer, Frank Seelisch, Gert-Martin Greuel
STABLE: A new QF-BV SMT Solver for hard Verification Problems combining Boolean Reasoning with Computer Algebra. MBMV (2011)
Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer, Frank Seelisch, Gert-Martin Greuel
STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra. DATE (2011)
Markus Wedler, Evgeny Pavlenko, Alexander Dreyer, Frank Seelisch, Dominik Stoffel, Gert-Martin Greuel, Wolfgang Kunz
Solving hard instances in QF-BV combining Boolean reasoning with computer algebra. Algorithms and Applications for Next Generation SAT Solvers (2009)
Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev
Modeling of Custom-Designed Arithmetic Components for ABL Normalization. MBMV (2008)
Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev
Modeling of Custom-Designed Arithmetic Components for ABL Normalization. FDL (2008)
Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev
A New Verification Technique for Custom-Designed Components at the Arithmetic Bit Level. FDL (Selected Papers) (2008)
Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz
Arithmetic Constraints in SAT-based Property Checking. MBMV (2007)

Evgeny Pavlenko.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Evgeny Pavlenko