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: Heckeler:Patrick
Contributed to:
2014
2013
2011Wrote 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.