Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction. - Alexey Bakhirkin; Josh Berdine; Nir Piterman (SAS, 2014)

A Forward Analysis for Recurrent Sets. - Alexey Bakhirkin; Josh Berdine; Nir Piterman (SAS, 2015)

Finding Recurrent Sets with Backward Analysis and Trace Partitioning. - Alexey Bakhirkin; Nir Piterman (TACAS, 2016)

Recurrent sets for non-termination and safety of programs. - Alexey Bakhirkin (2016)

On the Quantitative Semantics of Regular Expressions over Real-Valued Signals. - Alexey Bakhirkin; Thomas Ferrère; Oded Maler; Dogan Ulus (FORMATS, 2017)

Combining Forward and Backward Abstract Interpretation of Horn Clauses. - Alexey Bakhirkin; David Monniaux (SAS, 2017)

The first-order logic of signals: keynote. - Alexey Bakhirkin; Thomas Ferrère; Thomas A. Henzinger; Dejan Nickovic (EMSOFT, 2018)

Online Timed Pattern Matching Using Automata. - Alexey Bakhirkin; Thomas Ferrère; Dejan Nickovic; Oded Maler; Eugene Asarin (FORMATS, 2018)

Efficient Parametric Identification for STL. - Alexey Bakhirkin; Thomas Ferrère; Oded Maler (HSCC, 2018)

Extending Constraint-Only Representation of Polyhedra with Boolean Constraints. - Alexey Bakhirkin; David Monniaux (SAS, 2018)

ParetoLib: A Python Library for Parameter Synthesis. - Alexey Bakhirkin; Nicolas Basset; Oded Maler; José Ignacio Requeno Jarabo (FORMATS, 2019)

Specification and Efficient Monitoring Beyond STL. - Alexey Bakhirkin; Nicolas Basset (TACAS (2), 2019)

Mining of extended signal temporal logic specifications with ParetoLib 2.0. - Akshay Mambakam; José Ignacio Requeno Jarabo; Alexey Bakhirkin; Nicolas Basset; Thao Dang 001 (Formal Methods Syst. Des., 2024)