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 × Portugal
2 × France
Collaborated with:
T.Kropf B.Schlich J.Ruf W.Rosenstiel J.Behrend D.Lettnin S.Huster H.Eichelberger S.Burg
Talks about:
overhead (1) softwar (1) scalabl (1) flexibl (1) acceler (1) specif (1) robust (1) revers (1) object (1) invari (1)

Person: Patrick Heckeler

DBLP DBLP: Heckeler:Patrick

Contributed to:

SEFM 20142014
SAC 20132013
DATE 20112011

Wrote 3 papers:

SEFM-2014-HusterHERBKR #flexibility #invariant #specification
More Flexible Object Invariants with Less Specification Overhead (SH, PH, HE, JR, SB, TK, WR), pp. 302–316.
SAC-2013-HeckelerSK #component #execution #robust #testing #using
Accelerated robustness testing of state-based components using reverse execution (PH, BS, TK), pp. 1188–1195.
DATE-2011-BehrendLHRKR #embedded #hybrid #scalability #verification
Scalable hybrid verification for embedded software (JB, DL, PH, JR, TK, WR), pp. 179–184.

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.