Jane Jayaputera - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 4 from 4

2006

Verification and Prediction of Timed Probabilistic Properties over the Dmtf CIMIman Poernomo, Heinz W. Schmidt, Jane Jayaputera. ijcis, 15(4):633-658, 2006. [doi]

2005

A Model-Oriented Framework for Runtime Monitoring of Nonfunctional PropertiesKenneth Chan, Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera. soqua 2005: 38-52 [doi]

Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information ModelIman Poernomo, Jane Jayaputera, Heinz W. Schmidt. edoc 2005: 261-272 [doi]

2004

Runtime Verification of Timing and Probabilistic Properties using WMI and .NETJane Jayaputera, Iman Poernomo, Heinz W. Schmidt. euromicro 2004: 100-106 [doi]

Sign in or sign up to see more results.

runs on WebDSL