• Sign in
  • Sign up
conf.researchr.org / Martin Spiessl
  • ASE 2023 profile
  • ECOOP and ISSTA 2023 profile
  • ETAPS 2019 profile
  • POPL 2020 profile
Martin Spiessl

Registered user since Tue 2 Apr 2019

Name:Martin Spiessl
Country:Germany
Affiliation:LMU Munich

Contributions

2023

ASE

  • Author of LIV: Invariant Validation Using Straight-Line Programs within the Tool Demonstrations-track
  • Author of CEGAR-PT: A Tool for Abstraction by Program Transformation within the Tool Demonstrations-track

ECOOP

  • Committee Member in Artifact Evaluation Committee within the Artifacts-track
  • Committee Member in Extended Review Committee and External Reviewers within the Research Papers-track

2020

VMCAI

  • Committee Member in Artifact-Evaluation Committee within the VMCAI 2020-track

2019

ETAPS

  • Author of CPAchecker with Strategy Selection within the Posters-track
Share
xThu 8 May 18:22
using conf.researchr.org (v1.69.0)
Support page
Sign Up