Jan Haltermann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2021–2023
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FASE | Parallel Program Analysis via Range Splitting. | Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim |
| 2023 | SEFM | Ranged Program Analysis via Instrumentation. | Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim |
| 2023 | SEFM | Timeout Prediction for Software Analyses. | Nicola Thoben, Jan Haltermann, Heike Wehrheim |
| 2022 | ICSE | Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR. | Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim |
| 2022 | ICST | Machine Learning Based Invariant Generation: A Framework and Reproducibility Study. | Jan Haltermann, Heike Wehrheim |
| 2022 | SEFM | Information Exchange Between Over- and Underapproximating Software Analyses. | Jan Haltermann, Heike Wehrheim |
| 2021 | FASE | CoVEGI: Cooperative Verification via Externally Generated Invariants. | Jan Haltermann, Heike Wehrheim |