Specializations and Symbolic Modeling. - Vladimir S. Peschanenko; Anton Guba; Constantin Shushpanov (ICTERI, 2013)

Specializations in Symbolic Verification. - Vladimir S. Peschanenko; Anton Guba; Constantin Shushpanov (ICTERI (Revised Selected Papers), 2013)

Usage of Invariants for Symbolic Verification of Requirements. - Alexander A. Letichevsky; Alexander Godlevsky; Anton Guba; Alexander Kolchin; Olexander A. Letychevskyi; Vladimir S. Peschanenko (SCSS, 2013)

A method for business logic extraction from legacy COBOL code of industrial systems. - Anton Guba; Olexander Kolchin; Stepan Potiyenko (UkrPROG, 2016)