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:
2013
2012
2011
2010
2002
1997Wrote 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.