`Travelled to:`

1 × Austria

1 × Denmark

1 × France

1 × Hungary

1 × Spain

`Collaborated with:`

∅ M.Giorgino C.Percebois H.N.Tran F.W.v.Henke M.Luther R.Matthes M.Pantel

`Talks about:`

verif (3) graph (3) transform (2) algorithm (2) construct (1) typelab (1) transit (1) program (1) pointer (1) modular (1)

## Person: Martin Strecker

### DBLP: Strecker:Martin

### Contributed to:

### Wrote 6 papers:

- SEFM-2013-PerceboisST #graph transformation #invariant #transitive #verification
- Rule-Level Verification of Graph Transformations for Invariants Based on Edges’ Transitive Closure (CP, MS, HNT), pp. 106–121.
- FM-2012-GiorginoS #algorithm #correctness #pointer
- Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction (MG, MS), pp. 202–216.
- AGTIVE-2011-Strecker #graph transformation #locality #reasoning
- Locality in Reasoning about Graph Transformations (MS), pp. 169–181.
- LOPSTR-2010-GiorginoSMP #algorithm #graph #verification
- Verification of the Schorr-Waite Algorithm — From Trees to Graphs (MG, MS, RM, MP), pp. 67–83.
- CADE-2002-Strecker #compilation #java #verification
- Formal Verification of a Java Compiler in Isabelle (MS), pp. 63–77.
- TAPSOFT-1997-HenkeLS #composition #development #named
- Typelab: An Environment for Modular Program Development (FWvH, ML, MS), pp. 851–854.