From

Institution

Field

Type

Topic: Logic, programming, and type systems ×

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “symbolic execution” in Logic, programming, and type systems 7

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Symbolic execution formally explained
2021 Formal Aspects of Computing article Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Marcello Bonsangue

13

citations
SymPaths: Symbolic Execution Meets Partial Order Reduction
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Marcello Bonsangue, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

2

citations
Inferring Lower Runtime Bounds for Integer Programs
2020 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Matthias Naaf, Marc Brockschmidt, Jürgen Giesl

12

citations
AProVE: Non-Termination Witnesses for C Programs
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Jera Hensel, Constantin Mensendiek, Jürgen Giesl

10

citations
AProVE (KoAT + LoAT)
2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Jürgen Giesl

5

citations
AProVE: Modular Termination Analysis of Memory-Manipulating C Programs
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Frank Emrich, Jera Hensel, Jürgen Giesl

1

citations
Multiobjective Preexpectation Reasoning for Probabilistic Programs
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Lena Verscht, Hannah Mertens, Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen

0

citations

7 results