Alexey Bakhirkin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2014–2019
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | TACAS | Specification and Efficient Monitoring Beyond STL. | Alexey Bakhirkin, Nicolas Basset |
| 2018 | EMSOFT | The first-order logic of signals: keynote. | Alexey Bakhirkin, Thomas Ferrre, Thomas A. Henzinger, Dejan Nickovic |
| 2018 | SAS | Extending Constraint-Only Representation of Polyhedra with Boolean Constraints. | Alexey Bakhirkin, David Monniaux |
| 2017 | SAS | Combining Forward and Backward Abstract Interpretation of Horn Clauses. | Alexey Bakhirkin, David Monniaux |
| 2016 | TACAS | Finding Recurrent Sets with Backward Analysis and Trace Partitioning. | Alexey Bakhirkin, Nir Piterman |
| 2015 | SAS | A Forward Analysis for Recurrent Sets. | Alexey Bakhirkin, Josh Berdine, Nir Piterman |
| 2014 | SAS | Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction. | Alexey Bakhirkin, Josh Berdine, Nir Piterman |