Andrei P. Nemytykh

Publication Activity (10 Years)

Years Active: 1990-2021
Publications (10 Years): 4

Top Topics

Automated Verification

Runtime Environment

Prolog Programs

Top Venues

J. Log. Algebraic Methods Program.

Publications

Andrei P. Nemytykh
On Specialization of a Program Model of Naive Pattern Matching in Strings (Extended Abstract). CoRR (2021)
Alexei P. Lisitsa, Andrei P. Nemytykh
Verification of Programs via Intermediate Interpretation. VPT@ETAPS (2017)
Alexei P. Lisitsa, Andrei P. Nemytykh
Verifying Programs via Intermediate Interpretation. CoRR (2017)
Maurice H. ter Beek, Alexei Lisitsa, Andrei P. Nemytykh, António Ravara
Automated verification of programs and Web systems. J. Log. Algebraic Methods Program. 85 (5) (2016)
Alexei P. Lisitsa, Andrei P. Nemytykh
Finite Countermodel Based Verification for Program Transformation (A Case Study). VPT@ETAPS (2015)
Alexei Lisitsa, Andrei P. Nemytykh
A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? VPT@CAV (2014)
Andrei P. Nemytykh
On Unfolding for Programs Using Strings as a Data Type. VPT@CAV (2014)
Abdulbasit Ahmed, Alexei Lisitsa, Andrei P. Nemytykh
Cryptographic Protocol Verification via Supercompilation (A Case Study). VPT@CAV (2013)
Alexei Lisitsa, Andrei P. Nemytykh
A Note on Program Specialization. What Can Syntactical Properties of Residual Programs Reveal? CoRR (2012)
Alexei Lisitsa, Andrei P. Nemytykh
On one application of computations with oracle. Program. Comput. Softw. 36 (3) (2010)
Alexei Lisitsa, Andrei P. Nemytykh
Reachability Analysis in Verification via Supercompilation. Int. J. Found. Comput. Sci. 19 (4) (2008)
Alexei Lisitsa, Andrei P. Nemytykh
Verification as a parameterized testing (experiments with the SCP4 supercompiler). Program. Comput. Softw. 33 (1) (2007)
Alexei Lisitsa, Andrei P. Nemytykh
A Note on Specialization of Interpreters. CSR (2007)
Alexei Lisitsa, Andrei P. Nemytykh
Towards Verification via Supercompilation. COMPSAC (2) (2005)
Andrei P. Nemytykh
The Supercompiler SCP4: General Structure. Ershov Memorial Conference (2003)
Andrei P. Nemytykh
A note on elimination of simplest recursions. ASIA-PEPM (2002)
Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin F. Turchin
A Self-Applicable Supercompiler. Dagstuhl Seminar on Partial Evaluation (1996)
Andrei P. Nemytykh, Victoria A. Pinchuk
Program Transformation with Metasystem Transitions: Experiments with a Supercompiler. Ershov Memorial Conference (1996)
S. V. Chmutov, E. A. Gaydar, I. M. Ignatovich, V. F. Kozadoy, Andrei P. Nemytykh, Victoria A. Pinchuk
Implementation Of The Symbolic Analytic Transformations Language FLAC. DISCO (1990)