Konstantin Britikov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2023–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IFM | CHC-Based Reachability Analysis via Cycle Summarization. | Konstantin Britikov, Grigory Fedyukovich, Natasha Sharygina |
| 2024 | CAV | SolTG: A CHC-Based Solidity Test Case Generator. | Konstantin Britikov, Ilia Zlatkin, Grigory Fedyukovich, Leonardo Alt, Natasha Sharygina |
| 2024 | FM | Reachability Analysis for Multiloop Programs Using Transition Power Abstraction. | Konstantin Britikov, Martin Blicha, Natasha Sharygina, Grigory Fedyukovich |
| 2023 | CAV | The Golem Horn Solver. | Martin Blicha, Konstantin Britikov, Natasha Sharygina |