Alexey Bakhirkin

Publication Activity (10 Years)

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

Top Topics

Boolean Constraints

Pattern Matching

Forward And Backward

Top Venues

University of Leicester, UK (PHD)

Education History

University of Leicester, UK

PHD

Publications

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)