Gerald Lüttgen

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Jan H. Boockmann

> Home > Persons > Gerald Lüttgen

Publications

2024
[c63]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/BoockmannL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BoockmannL24
Jan H. Boockmann, Gerald Lüttgen:
Comprehending Object State via Dynamic Class Invariant Learning. FASE 2024: 143-164
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/BoockmannL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/BoockmannL24
Jan H. Boockmann, Gerald Lüttgen:
On the Hunt for Invalid Objects: Exploring the Object State Space with Program Mutants. SANER 2024: 711-716
2022
[j34]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/stt/BoockmannJL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stt/BoockmannJL22
Jan H. Boockmann, Kerstin Jacob, Gerald Lüttgen:
Model-driven Engineering for Dynamic Data Structures. Softwaretechnik-Trends 42(4): 2-7 (2022)
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpc/BoockmannL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpc/BoockmannL22
Jan H. Boockmann, Gerald Lüttgen:
Shape-analysis driven memory graph visualization. ICPC 2022: 298-308
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/seuh/BoockmannJL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seuh/BoockmannJL22
Jan H. Boockmann, Kerstin Jacob, Gerald Lüttgen:
Throw Away Student Software At Semester End? Better Not! SEUH 2022: 23-28
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/vissoft/BoockmannL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vissoft/BoockmannL22
Jan H. Boockmann, Gerald Lüttgen:
Heap Patterns for Memory Graph Visualization. VISSOFT 2022: 162-166
2020
[c55]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/BoockmannL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BoockmannL20
Jan H. Boockmann, Gerald Lüttgen:
Learning Data Structure Shapes from Memory Graphs. LPAR 2020: 151-168
2018
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BoockmannLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BoockmannLM18
Jan H. Boockmann, Gerald Lüttgen, Jan Tobias Mühlberg:
Generating Inductive Shape Predicates for Runtime Checking and Formal Verification. ISoLA (2) 2018: 64-74
2017
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/RupprechtC0BLB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/RupprechtC0BLB17
Thomas Rupprecht, Xi Chen, David H. White, Jan H. Boockmann, Gerald Lüttgen, Herbert Bos:
DSIbin: identifying dynamic data structures in C/C++ binaries. ASE 2017: 331-341

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.