Iman Poernomo

2008
33	EE	Iman Poernomo: Proofs-as-Model-Transformations. ICMT 2008: 214-228
32	EE	George Tsaramirsis, Iman Poernomo: Prototype Generation from Ontology Charts. ITNG 2008: 1177-1178
31	EE	Iman Poernomo, Timur Umarov: Business Process Development in Semantically-Enriched Environment. ITNG 2008: 57-62
2007
30	EE	Iman Poernomo: Synthesis of Data Views for Communicating Processes. LOPSTR 2007: 185-200
29	EE	Nurzhan Duzbayev, Iman Poernomo: Pre-emptive Adaptation Through Classical Control Theory. QoSA 2007: 164-181
28	EE	Juliana Küster Filipe Bowles, Iman Poernomo, Ralf Reussner: Preface. Electr. Notes Theor. Comput. Sci. 176(2): 1-4 (2007)
27	EE	Kenneth Chan, Iman Poernomo: QoS-aware model driven architecture through the UML and CIM. Information Systems Frontiers 9(2-3): 209-224 (2007)
2006
26	EE	Kenneth Chan, Iman Poernomo: QoS-Aware Model Driven Architecture through the UML and CIM. EDOC 2006: 345-354
25	EE	Iman Poernomo, Guijun Wang: AQuSerM 2006: Advances in Quality of Service Management. EDOC Workshops 2006: 40
24	EE	Nurzhan Duzbayev, Iman Poernomo: Runtime Prediction of Queued Behaviour. QoSA 2006: 78-94
23	EE	Iman Poernomo: The meta-object facility typed. SAC 2006: 1845-1849
22	EE	Stuart Allen, John N. Crossley, Kung-Kiu Lau, Iman Poernomo: Preface. Electr. Notes Theor. Comput. Sci. 153(1): 1-2 (2006)
21	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
20	EE	Kenneth Chan, Iman Poernomo: Consistent Metric Usage: From Design to Deployment. Dependability Metrics 2005: 19-36
19	EE	Iman Poernomo, Jane Jayaputera, Heinz W. Schmidt: Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model. EDOC 2005: 261-272
18	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
17	EE	Juliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla: Preface. Electr. Notes Theor. Comput. Sci. 141(3): 1-2 (2005)
2004
16	EE	Iman Poernomo: A Type Theoretic Framework for Formal Metamodelling. Architecting Systems with Trustworthy Components 2004: 262-298
15	EE	Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt: Runtime Verification of Timing and Probabilistic Properties using WMI and .NET. EUROMICRO 2004: 100-106
14	EE	Juliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla: Preface. Electr. Notes Theor. Comput. Sci. 108: 1-2 (2004)
2003
13	EE	Ralf Reussner, Iman Poernomo, Heinz W. Schmidt: Reasoning about Software Architectures with Contractually Specified Components. Component-Based Software Quality 2003: 287-325
12	EE	Iman Poernomo, Ralf Reussner, Heinz W. Schmidt: Architectural Configuration with EDOC and .NET Component Services. EUROMICRO 2003: 61-69
11	EE	Iman Poernomo: Proofs-as-Imperative-Programs: Application to Synthesis of Contracts. Ershov Memorial Conference 2003: 112-119
10	EE	Sea Ling, Iman Poernomo, Heinz W. Schmidt: Describing Web Service Architectures through Design-by-Contract. ISCIS 2003: 1008-1018
9	EE	Ralf Reussner, Heinz W. Schmidt, Iman Poernomo: Reliability prediction for component-based software architectures. Journal of Systems and Software 66(3): 241-252 (2003)
2002
8	EE	Iman Poernomo, Ralf Reussner, Heinz W. Schmidt: Architectures of Enterprise Systems: Modelling Transactional Contexts. Component Deployment 2002: 233-243
7	EE	Ralf Reussner, Iman Poernomo, Heinz W. Schmidt: Using the TrustME Tool Suite for Automatic Component Protocol Adaptation. International Conference on Computational Science (2) 2002: 854-863
6	EE	Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf Reussner: Predictable Component Architectures Using Dependent Finite State Machines. RISSEF 2002: 310-324
2001
5	EE	Iman Poernomo, John N. Crossley, Martin Wirsing: Programs, Proofs and Parametrized Specifications. WADT 2001: 280-304
4	EE	John N. Crossley, Iman Poernomo: Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs. J. UCS 7(1): 71-88 (2001)
2000
3	EE	Iman Poernomo, John N. Crossley: Protocols between programs and proofs. LOPSTR 2000
2	EE	Iman Poernomo, John N. Crossley: Protocols between Programs and Proofs. LOPSTR (LNCS 2042: Selected Papers) 2000: 18-37
1999
1		John N. Crossley, Iman Poernomo, Martin Wirsing: Extraction of Structured Programs from Specification Proofs. WADT 1999: 419-437

Coauthor Index

1	Stuart Allen	[22]
2	Juliana Küster Filipe Bowles (Juliana Küster Filipe)	[14] [17] [28]
3	Kenneth Chan	[18] [20] [26] [27]
4	John N. Crossley	[1] [2] [3] [4] [5] [22]
5	Nurzhan Duzbayev	[24] [29]
6	Jane Jayaputera	[15] [18] [19] [21]
7	Bernd J. Krämer	[6]
8	Kung-Kiu Lau	[22]
9	Sea Ling	[10]
10	Ralf Reussner (Ralf H. Reussner)	[6] [7] [8] [9] [12] [13] [14] [17] [28]
11	Heinz W. Schmidt	[6] [7] [8] [9] [10] [12] [13] [15] [18] [19] [21]
12	Sandeep K. Shukla	[14] [17]
13	George Tsaramirsis	[32]
14	Timur Umarov	[31]
15	Guijun Wang	[25]
16	Martin Wirsing	[1] [5]

Colors in the list of coauthors