BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Strecker:Martin

Contributed to:

SEFM 20132013
FM 20122012
AGTIVE 20112011
LOPSTR 20102010
CADE 20022002

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.