Jane Jayaputera

Publication Activity (10 Years)

Years Active: 2004-2006
Publications (10 Years): 0

Publications

Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera
Verification and Prediction of Timed Probabilistic Properties over the Dmtf CIM. Int. J. Cooperative Inf. Syst. 15 (4) (2006)
Iman Poernomo, Jane Jayaputera, Heinz W. Schmidt
Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model. EDOC (2005)
Kenneth Chan, Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera
A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties. QoSA/SOQUA (2005)
Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt
Runtime Verification of Timing and Probabilistic Properties using WMI and .NET. EUROMICRO (2004)