Evgeny Pavlenko

19 papers A 1C 3Journal 6Unranked 8

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Modelling Artificial Immunization Processes to Counter Cyberthreats. Symmetry Dmitry P. Zegzhda, Evgeny Pavlenko, Elena B. Aleksandrova
2020	J	`jnl`	Cyber Attack Prevention Based on Evolutionary Cybernetics Approach. Symmetry Dmitry P. Zegzhda, Daria S. Lavrova, Evgeny Pavlenko, Anna A. Shtyrkina
2019	—	`conf`	Ensuring the sustainability of cyberphysical systems based on dynamic reconfiguration. ICPS Evgeny Pavlenko, Dmitry P. Zegzhda, Maria A. Poltavtseva
2019	—	`conf`	Estimating the sustainability of cyber-physical systems based on spectral graph theory. BlackSeaCom Evgeny Pavlenko, Dmitry P. Zegzhda, Anna A. Shtyrkina
2018	C	`conf`	Applying deep learning techniques for Android malware detection. SIN Peter D. Zegzhda, Dmitry P. Zegzhda, Evgeny Pavlenko, Gleb Ignatev
2018	—	`conf`	Sustainability of cyber-physical systems in the context of targeted destructive influences. ICPS Evgeny Pavlenko, Dmitry P. Zegzhda
2017	J	`jnl`	Cyber-physical system homeostatic security management. Autom. Control. Comput. Sci. Dmitry P. Zegzhda, Evgeny Pavlenko
2017	C	`conf`	Detecting Android application malicious behaviors based on the analysis of control flows and data flows. SIN Peter D. Zegzhda, Dmitry P. Zegzhda, Evgeny Pavlenko, Andrew Dremov
2017	J	`jnl`	The use of an artificial neural network to detect automatically managed accounts in social networks. Autom. Control. Comput. Sci. Peter D. Zegzhda, E. V. Malyshev, Evgeny Pavlenko
2017	J	`jnl`	Use of Intel SGX to ensure the confidentiality of data of cloud users. Autom. Control. Comput. Sci. Dmitry P. Zegzhda, E. S. Usov, V. A. Nikol'skii, Evgeny Pavlenko
2015	J	`jnl`	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. Maxim O. Kalinin, Evgeny Pavlenko
2011	—	`—`	New solving techniques for property checking of arithmetic data paths (Neue Beweistechniken für die Eignungsprüfung von arithmetischen Datenpfaden). Evgeny Pavlenko
2011	—	`conf`	STABLE: A new QF-BV SMT Solver for hard Verification Problems combining Boolean Reasoning with Computer Algebra. MBMV Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer, Frank Seelisch, Gert-Martin Greuel
2011	A	`conf`	STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra. DATE Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer, Frank Seelisch, Gert-Martin Greuel
2009	—	`conf`	Solving hard instances in QF-BV combining Boolean reasoning with computer algebra. Algorithms and Applications for Next Generation SAT Solvers Markus Wedler, Evgeny Pavlenko, Alexander Dreyer, Frank Seelisch, Dominik Stoffel, Gert-Martin Greuel, Wolfgang Kunz
2008	—	`conf`	A New Verification Technique for Custom-Designed Components at the Arithmetic Bit Level. FDL (Selected Papers) Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev
2008	C	`conf`	Modeling of Custom-Designed Arithmetic Components for ABL Normalization. FDL Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev
2008	—	`conf`	Modeling of Custom-Designed Arithmetic Components for ABL Normalization. MBMV Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev
2007	—	`conf`	Arithmetic Constraints in SAT-based Property Checking. MBMV Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz