Runtime Verification of Timing and Probabilistic Properties using WMI and .NET. - Jane Jayaputera; Iman Poernomo; Heinz W. Schmidt (EUROMICRO, 2004)

Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model. - Iman Poernomo; Jane Jayaputera; Heinz W. Schmidt (EDOC, 2005)

A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties. - Kenneth Chan; Iman Poernomo; Heinz W. Schmidt; Jane Jayaputera (QoSA/SOQUA, 2005)

Verification and Prediction of Timed Probabilistic Properties over the Dmtf CIM. - Iman Poernomo; Heinz W. Schmidt; Jane Jayaputera (Int. J. Cooperative Inf. Syst., 2006)