| |
| 2006 | ||
|---|---|---|
| 4 | EE | 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): 633-658 (2006) |
| 2005 | ||
| 3 | EE | Iman Poernomo, Jane Jayaputera, Heinz W. Schmidt: Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model. EDOC 2005: 261-272 |
| 2 | EE | Kenneth Chan, Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera: A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties. QoSA/SOQUA 2005: 38-52 |
| 2004 | ||
| 1 | EE | Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt: Runtime Verification of Timing and Probabilistic Properties using WMI and .NET. EUROMICRO 2004: 100-106 |
| 1 | Kenneth Chan | [2] |
| 2 | Iman Poernomo | [1] [2] [3] [4] |
| 3 | Heinz W. Schmidt | [1] [2] [3] [4] |