Alexei P. Lisitsa

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 3

Top Topics

Top Venues

Formal Methods Syst. Des.

Publications

Georgios Kourtis, Clare Dixon, Michael Fisher, Alexei P. Lisitsa
Parameterized verification of leader/follower systems via first-order temporal logic. Formal Methods Syst. Des. 58 (3) (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)
Alexei P. Lisitsa, Andrei P. Nemytykh
Finite Countermodel Based Verification for Program Transformation (A Case Study). VPT@ETAPS (2015)