Thesis title: Making Runtime Monitoring of Parametric Properties Practical Thesis committee:Grigore Rosu, Director/ChairDarko MarinovGul AghaKlaus Havelund