BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mizzi:Ruth

Contributed to:

SEFM 20122012

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.