Travelled to:1 × China
Collaborated with:D.S.Rosenblum ∅ Y.R.S.Llerena M.Böhme G.Su
Talks about:uncertainti (1) probabilist (1) complianc (1) properti (1) function (1) behavior (1) presenc (1) perform (1) monitor (1) autonom (1)
Person: Marc Brünink
DBLP: Br=uuml=nink:Marc
Contributed to:
20142016
2018Wrote 3 papers:
- FSE-2014-Brunink #monitoring #non-functional
- Autonomous compliance monitoring of non-functional properties (MB), pp. 795–798.
- FSE-2016-BruninkR #mining #performance #specification
- Mining performance specifications (MB, DSR), pp. 39–49.
- ESEC-FSE-2018-LlerenaBBSR #behaviour #modelling #nondeterminism #probability #verification
- Verifying the long-run behavior of probabilistic system models in the presence of uncertainty (YRSL, MB, MB, GS, DSR), pp. 587–597.