Travelled to:1 × Germany
1 × The Netherlands
Collaborated with:∅ J.Lång A.Azurat T.E.J.Vos A.v.Leeuwen
Talks about:framework (1) algorithm (1) hierarch (1) composit (1) softwar (1) generat (1) verifi (1) stabil (1) mechan (1) extens (1)
Person: I. S. W. B. Prasetya
DBLP: Prasetya:I=_S=_W=_B=
Contributed to:
2005
1997
2019Wrote 3 papers:
- SEFM-2005-PrasetyaAVL #composition #generative #verification
- Building Verification Condition Generators by Compositional Extensions (ISWBP, AA, TEJV, AvL), pp. 220–230.
- TACAS-1997-Prasetya #algorithm #self
- Mechanically Verified Self-Stabilizing Hierarchical Algorithms (ISWBP), pp. 399–415.
- ESEC-FSE-2019-LangP #c++ #case study #framework #model checking
- Model checking a C++ software framework: a case study (JL, ISWBP), pp. 1026–1036.