Personal information

Activities

Collapse all

Employment (1)

Ludwig-Maximilians-Universität München: Munich, Bavaria, DE

2018-07 to present
Employment
Source: Self-asserted source
Martin Spiessl

Funding (1)

GRK 2428:  CONVEY - Continuous Verification of CYber-Physical Systems

2019-01-01 to present | Grant
German Research Foundation (Bonn, DE)
URL: https://app.dimensions.ai/details/grant/grant.8102674
GRANT_NUMBER: 378803395
Source: Self-asserted source
Martin Spiessl via DimensionsWizard

Works (7)

Software Verification Witnesses 2.0

2025 | Book chapter
DOI: 10.1007/978-3-031-66149-5_11
Contributors: Paulína Ayaziová; Dirk Beyer; Marian Lingsch-Rosenfeld; Martin Spiessl; Jan Strejček
Source: check_circle
Crossref

CPAchecker 2.3 with Strategy Selection

2024 | Book chapter
DOI: 10.1007/978-3-031-57256-2_21
Contributors: Daniel Baier; Dirk Beyer; Po-Chun Chien; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger; Marian Lingsch-Rosenfeld; Martin Spiessl; Henrik Wachowitz et al.
Source: check_circle
Crossref

LIV: Loop-Invariant Validation Using Straight-Line Programs

2023-09-11 | Conference paper
DOI: 10.1109/ASE56229.2023.00214
Contributors: Dirk Beyer; Martin Spiessl
Source: check_circle
Crossref

A Unifying Approach for Control-Flow-Based Loop Abstraction

2022 | Book chapter
DOI: 10.1007/978-3-031-17108-6_1
Contributors: Dirk Beyer; Marian Lingsch Rosenfeld; Martin Spiessl
Source: check_circle
Crossref

Cooperation Between Automatic and Interactive Software Verifiers

2022 | Book chapter
DOI: 10.1007/978-3-031-17108-6_7
Contributors: Dirk Beyer; Martin Spiessl; Sven Umbricht
Source: check_circle
Crossref

The Static Analyzer Frama-C in SV-COMP (Competition Contribution)

2022 | Book chapter
DOI: 10.1007/978-3-030-99527-0_26
Contributors: Dirk Beyer; Martin Spiessl
Source: check_circle
Crossref

MetaVal: Witness Validation via Verification

2020 | Book chapter
DOI: 10.1007/978-3-030-53291-8_10
Contributors: Dirk Beyer; Martin Spiessl
Source: check_circle
Crossref
How many people are using ORCID?