Travelled to:1 × The Netherlands
1 × United Kingdom
Collaborated with:J.P.Hansen S.Chaki D.d.Niz M.H.Klein R.C.Seacord J.Elm W.Goethert G.A.Lewis D.Plakosh J.E.Robert M.Lindvall
Talks about:sustain (1) statist (1) softwar (1) semant (1) measur (1) import (1) sampl (1) model (1) check (1)
Person: Lutz Wrage
DBLP: Wrage:Lutz
Contributed to:
2015
2003Wrote 2 papers:
- TACAS-2015-HansenWCNK #model checking #semantics #statistics
- Semantic Importance Sampling for Statistical Model Checking (JPH, LW, SC, DdN, MHK), pp. 241–255.
- ICSM-2003-SeacordEGLPRWL
- Measuring Software Sustainability (RCS, JE, WG, GAL, DP, JER, LW, ML), p. 450–?.