---
title: "TACAS (A): papers and universities"
description: "TACAS (Tools and Algorithms for Construction and Analysis of Systems) is rated A by the CORE Conference Rankings (ICORE2026); OpenAlex lists 202 of its papers from 2024–2026 (70 in 2024, 60 in 2025, 72 in 2026). By the countries of the authors' institutions, the most papers come from Germany (67), the United States (38) and Czechia (22)."
url: https://scholar4ai.com/proceedings/tacas
markdown_url: https://scholar4ai.com/proceedings/tacas.md
license: CC BY-NC 4.0 (https://creativecommons.org/licenses/by-nc/4.0/)
share_text: "TACAS (Tools and Algorithms for Construction and Analysis of Systems) is rated A by the CORE Conference Rankings (ICORE2026); OpenAlex lists 202 of its papers from 2024–2026 (70 in 2024, 60 in 2025, 72 in 2026). (as of 2026-11-02)"
data_url: https://scholar4ai.com/data/rankings.json
updated: 2026-11-02T12:20:52+09:00
window: 2026-10-04 to 2026-11-02
source: OpenAlex (CC0)
---

# TACAS: Tools and Algorithms for Construction and Analysis of Systems — papers and institutions, 2024–2026

Papers of TACAS, Tools and Algorithms for Construction and Analysis of Systems (CORE rank A; field: Software engineering), 2024–2026: per year, the institutions, countries and topics, and the most-cited papers. Ranks are those of the CORE Conference Rankings, edition ICORE2026 (portal.core.edu.au), applied to every year shown. Papers are the works OpenAlex lists for the conference's proceedings, or for the issues of a conference-linked journal that publishes its papers (such as PACMPL, PVLDB or ACM TOG), by publication year; workshops, companion volumes, posters and Findings are left out. A paper counts once for each institution and country among its authors' affiliations as OpenAlex assigns them; papers without affiliations in OpenAlex count for none. For conferences published in book series that OpenAlex files as one source (LNCS, LIPIcs, SIAM and IOS Press proceedings), the papers are found by DOI: those of the volumes with the conference's title in Crossref, or LIPIcs DOIs, which name the conference. Conferences without DOIs (PMLR, USENIX, OpenReview) are listed without counts. A dash (–) for a year means OpenAlex has no papers of the conference for it yet: the proceedings are not published or indexed yet, or the conference did not meet that year (some meet every other year). 2026 counts what OpenAlex had indexed by 2026-11-02.

All conferences: https://scholar4ai.com/proceedings.md

## Key findings

- TACAS (Tools and Algorithms for Construction and Analysis of Systems) is rated A by the CORE Conference Rankings (ICORE2026); OpenAlex lists 202 of its papers from 2024–2026 (70 in 2024, 60 in 2025, 72 in 2026).
- By the countries of the authors' institutions, the most papers come from Germany (67), the United States (38) and Czechia (22).
- The institutions with the most papers are Ludwig-Maximilians-Universität München (17), Centre National de la Recherche Scientifique (14) and Masaryk University (14).
- Its most-cited paper of these years is “State of the Art in Software Verification and Witness Validation: SV-COMP 2024” (2024), with 79 citations.

## Papers per year

*TACAS papers per publication year in OpenAlex (–: not in OpenAlex yet)*

| Year | Papers | With affiliations |
|---|---:|---:|
| 2024 | 70 | 70 |
| 2025 | 60 | 60 |
| 2026 | 72 | 72 |

## Sources

*Where OpenAlex lists the papers*

| OpenAlex source | Which papers |
|---|---|
| [S106296714](https://openalex.org/S106296714) | Papers of the volumes titled “Tools and Algorithms for the Construction and Analysis of Systems” (LNCS), found by DOI through Crossref |

## Who publishes there

*Institutions with the most TACAS papers, 2024–2026*

| # | Institution | Papers |
|---:|---|---:|
| 1 | Ludwig-Maximilians-Universität München | 17 |
| 2 | [Centre National de la Recherche Scientifique](https://scholar4ai.com/institutions/centre-national-de-la-recherche-scientifique.md) | 14 |
| 3 | Masaryk University | 14 |
| 4 | Technical University of Munich | 10 |
| 5 | Institute of Science and Technology Austria | 9 |
| 6 | Budapest University of Technology and Economics | 9 |
| 7 | [Stanford University](https://scholar4ai.com/institutions/stanford-university.md) | 8 |
| 8 | Max Planck Institute for Software Systems | 7 |
| 9 | Brno University of Technology | 7 |
| 10 | Carnegie Mellon University | 7 |

*Countries with the most TACAS papers, 2024–2026*

| # | Country | Papers |
|---:|---|---:|
| 1 | Germany | 67 |
| 2 | United States | 38 |
| 3 | Czechia | 22 |
| 4 | France | 22 |
| 5 | United Kingdom | 20 |
| 6 | Austria | 16 |
| 7 | Netherlands | 14 |
| 8 | Hungary | 11 |
| 9 | Israel | 11 |
| 10 | Italy | 11 |

*Keywords with the most TACAS papers, 2024–2026*

| # | Keyword | Papers |
|---:|---|---:|
| 1 | program verification | 28 |
| 2 | C programs | 18 |
| 3 | SMT solvers | 17 |
| 4 | formal verification | 17 |
| 5 | model checking | 16 |
| 6 | symbolic execution | 15 |
| 7 | software verification | 14 |
| 8 | abstract interpretation | 13 |
| 9 | linear temporal logic | 9 |
| 10 | reachability analysis | 8 |

## Most-cited papers

*Most-cited TACAS papers of 2024–2026 (citations counted by OpenAlex)*

| # | Citations | Title | Published | Authors |
|---:|---:|---|---|---|
| 1 | 79 | [State of the Art in Software Verification and Witness Validation: SV-COMP 2024](https://doi.org/10.1007/978-3-031-57256-2_15) | 2024-01-01 | Dirk Beyer |
| 2 | 39 | [Improvements in Software Verification and Witness Validation: SV-COMP 2025](https://doi.org/10.1007/978-3-031-90660-2_9) | 2025-01-01 | Dirk Beyer, Jan Strejček |
| 3 | 24 | [CPAchecker 2.3 with Strategy Selection](https://doi.org/10.1007/978-3-031-57256-2_21) | 2024-01-01 | Daniel Baier, Dirk Beyer, Po-Chun Chien et al. |
| 4 | 23 | [SootUp: A Redesign of the Soot Static Analysis Framework](https://doi.org/10.1007/978-3-031-57246-3_13) | 2024-01-01 | Kadiray Karakaya, Stefan Schott, Jonas Klauke et al. |
| 5 | 20 | [ESBMC v7.4: Harnessing the Power of Intervals](https://doi.org/10.1007/978-3-031-57256-2_24) | 2024-01-01 | Rafael Menezes, Mohannad Aldughaim, Bruno Farias et al. |
| 6 | 17 | [Neural Network Verification with Branch-and-Bound for General Nonlinearities](https://doi.org/10.1007/978-3-031-90643-5_17) | 2025-01-01 | Zhouxing Shi, Qirui Jin, J. Zico Kolter et al. |
| 7 | 16 | [Ultimate Automizer and the Abstraction of Bitwise Operations](https://doi.org/10.1007/978-3-031-57256-2_31) | 2024-01-01 | Frank Schüssele, Manuel Bentele, Daniel Dietsch et al. |
| 8 | 15 | [Sound Statistical Model Checking for Probabilities and Expected Rewards](https://doi.org/10.1007/978-3-031-90643-5_9) | 2025-01-01 | Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer et al. |
| 9 | 15 | [Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution](https://doi.org/10.1007/978-3-031-57256-2_29) | 2024-01-01 | Martin Jonáš, Kristián Kumor, Jakub Novák et al. |
| 10 | 15 | [Z3-Noodler: An Automata-based String Solver](https://doi.org/10.1007/978-3-031-57246-3_2) | 2024-01-01 | Yu‐Fang Chen, David Chocholatý, Vojtěch Havlena et al. |

## Cite this page

Scholar4AI. (2026). TACAS: Tools and Algorithms for Construction and Analysis of Systems — papers and institutions, 2024–2026. Journal and Conference Research Rankings. Retrieved November 2, 2026, from https://scholar4ai.com/proceedings/tacas

```bibtex
@misc{scholar4ai-proceedings-tacas,
  author = {{Scholar4AI}},
  title = {TACAS: Tools and Algorithms for Construction and Analysis of Systems — papers and institutions, 2024–2026},
  year = {2026},
  howpublished = {\url{https://scholar4ai.com/proceedings/tacas}},
  urldate = {2026-11-02},
  note = {Journal and Conference Research Rankings; data from OpenAlex (CC0); licensed CC BY-NC 4.0}
}
```

License: CC BY-NC 4.0 (https://creativecommons.org/licenses/by-nc/4.0/).