Travelled to:
1 × Greece
Collaborated with:
C.Colombo A.Francalanza G.J.Pace
Talks about:
polylarva (1) configur (1) boundari (1) resourc (1) monitor (1) runtim (1) verif (1) awar (1)
Person: Ruth Mizzi
DBLP: Mizzi:Ruth
Contributed to:
Wrote 1 papers:
- SEFM-2012-ColomboFMP #bound #configuration management #monitoring #named #resource management #runtime #verification
- polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries (CC, AF, RM, GJP), pp. 218–232.