Alexey Bakhirkin

According to our database, Alexey Bakhirkin authored at least 12 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Specification and Efficient Monitoring Beyond STL.

Alexey Bakhirkin, Nicolas Basset

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

ParetoLib: A Python Library for Parameter Synthesis.

Alexey Bakhirkin, Nicolas Basset, Oded Maler, José-Ignacio Requeno Jarabo

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

2018

Extending Constraint-Only Representation of Polyhedra with Boolean Constraints.

Alexey Bakhirkin, David Monniaux

Proceedings of the Static Analysis - 25th International Symposium, 2018

Efficient Parametric Identification for STL.

Alexey Bakhirkin, Thomas Ferrère, Oded Maler

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Online Timed Pattern Matching Using Automata.

Alexey Bakhirkin, Thomas Ferrère, Dejan Nickovic, Oded Maler, Eugene Asarin

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

The first-order logic of signals: keynote.

Alexey Bakhirkin, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic

Proceedings of the International Conference on Embedded Software, 2018

2017

Combining Forward and Backward Abstract Interpretation of Horn Clauses.

Alexey Bakhirkin, David Monniaux

Proceedings of the Static Analysis - 24th International Symposium, 2017

On the Quantitative Semantics of Regular Expressions over Real-Valued Signals.

Alexey Bakhirkin, Thomas Ferrère, Oded Maler, Dogan Ulus

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

2016

Recurrent sets for non-termination and safety of programs.

Alexey Bakhirkin

PhD thesis, 2016

Finding Recurrent Sets with Backward Analysis and Trace Partitioning.

Alexey Bakhirkin, Nir Piterman

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

A Forward Analysis for Recurrent Sets.

Alexey Bakhirkin, Josh Berdine, Nir Piterman

Proceedings of the Static Analysis - 22nd International Symposium, 2015

2014

Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction.

Alexey Bakhirkin, Josh Berdine, Nir Piterman

Proceedings of the Static Analysis - 21st International Symposium, 2014