Alexey Bakhirkin

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 11

Top Venues

SAS

FORMATS

HSCC

CoRR

University of Leicester, UK (PHD)

Education History

University of Leicester, UK

PHD

Publications

Akshay Mambakam, José Ignacio Requeno Jarabo, Alexey Bakhirkin, Nicolas Basset, Thao Dang
Mining of extended signal temporal logic specifications with ParetoLib 2.0. Formal Methods Syst. Des. 62 (1) (2024)
Alexey Bakhirkin, Nicolas Basset, Oded Maler, José-Ignacio Requeno Jarabo
ParetoLib: A Python Library for Parameter Synthesis. FORMATS (2019)
Alexey Bakhirkin, Nicolas Basset
Specification and Efficient Monitoring Beyond STL. TACAS (2) (2019)
Alexey Bakhirkin, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic
The first-order logic of signals: keynote. EMSOFT (2018)
Alexey Bakhirkin, David Monniaux
Extending Constraint-Only Representation of Polyhedra with Boolean Constraints. SAS (2018)
Alexey Bakhirkin, Thomas Ferrère, Dejan Nickovic, Oded Maler, Eugene Asarin
Online Timed Pattern Matching Using Automata. FORMATS (2018)
Alexey Bakhirkin, Thomas Ferrère, Oded Maler
Efficient Parametric Identification for STL. HSCC (2018)
Alexey Bakhirkin, Thomas Ferrère, Oded Maler, Dogan Ulus
On the Quantitative Semantics of Regular Expressions over Real-Valued Signals. FORMATS (2017)
Alexey Bakhirkin, David Monniaux
Combining Forward and Backward Abstract Interpretation of Horn Clauses. CoRR (2017)
Alexey Bakhirkin, David Monniaux
Combining Forward and Backward Abstract Interpretation of Horn Clauses. SAS (2017)
Alexey Bakhirkin, Nir Piterman
Finding Recurrent Sets with Backward Analysis and Trace Partitioning. TACAS (2016)
Alexey Bakhirkin, Josh Berdine, Nir Piterman
A Forward Analysis for Recurrent Sets. SAS (2015)
Alexey Bakhirkin, Josh Berdine, Nir Piterman
Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction. SAS (2014)

Alexey Bakhirkin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alexey Bakhirkin