Travelled to:
1 × Finland
1 × USA
Collaborated with:
H.Koziolek D.Domis T.Goldschmidt P.Vorst P.M.Peranandam P.K.Nalla J.Ruf T.Kropf W.Rosenstiel
Talks about:
lightweight (1) architectur (1) properti (1) morphosi (1) sustain (1) softwar (1) facilit (1) symbol (1) method (1) falsif (1)
Person: Roland J. Weiss
DBLP: Weiss:Roland_J=
Contributed to:
Wrote 2 papers:
- WICSA-ECSA-2012-KoziolekDGVW #architecture #lightweight #named
- MORPHOSIS: A Lightweight Method Facilitating Sustainable Software Architectures (HK, DD, TG, PV, RJW), pp. 253–257.
- DAC-2006-PeranandamNRWKR #bound #performance
- Fast falsification based on symbolic bounded property checking (PMP, PKN, JR, RJW, TK, WR), pp. 1077–1082.