Alexey Bakhirkin

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