Iman Poernomo

	2009
35		Grace A. Lewis, Iman Poernomo, Christine Hofmeister: Component-Based Software Engineering, 12th International Symposium, CBSE 2009, East Stroudsburg, PA, USA, June 24-26, 2009, Proceedings Springer 2009
34		Kenneth Chan, Iman Poernomo: Compositional Prediction of Timed Behaviour for Process Control Architecture. QoSA 2009: 86-100
	2008
33		Iman Poernomo: Proofs-as-Model-Transformations. ICMT 2008: 214-228
32		George Tsaramirsis, Iman Poernomo: Prototype Generation from Ontology Charts. ITNG 2008: 1177-1178
31		Iman Poernomo, Timur Umarov: Business Process Development in Semantically-Enriched Environment. ITNG 2008: 57-62
	2007
30		Iman Poernomo: Synthesis of Data Views for Communicating Processes. LOPSTR 2007: 185-200
29		Nurzhan Duzbayev, Iman Poernomo: Pre-emptive Adaptation Through Classical Control Theory. QoSA 2007: 164-181
28		Juliana Küster Filipe Bowles, Iman Poernomo, Ralf Reussner: Preface. Electr. Notes Theor. Comput. Sci. 176(2): 1-4 (2007)
27		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		Kenneth Chan, Iman Poernomo: QoS-Aware Model Driven Architecture through the UML and CIM. EDOC 2006: 345-354
25		Iman Poernomo, Guijun Wang: AQuSerM 2006: Advances in Quality of Service Management. EDOC Workshops 2006: 40
24		Nurzhan Duzbayev, Iman Poernomo: Runtime Prediction of Queued Behaviour. QoSA 2006: 78-94
23		Iman Poernomo: The meta-object facility typed. SAC 2006: 1845-1849
22		Stuart Allen, John N. Crossley, Kung-Kiu Lau, Iman Poernomo: Preface. Electr. Notes Theor. Comput. Sci. 153(1): 1-2 (2006)
21		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		Kenneth Chan, Iman Poernomo: Consistent Metric Usage: From Design to Deployment. Dependability Metrics 2005: 19-36
19		Iman Poernomo, Jane Jayaputera, Heinz W. Schmidt: Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model. EDOC 2005: 261-272
18		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		Juliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla: Preface. Electr. Notes Theor. Comput. Sci. 141(3): 1-2 (2005)
	2004
16		Iman Poernomo: A Type Theoretic Framework for Formal Metamodelling. Architecting Systems with Trustworthy Components 2004: 262-298
15		Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt: Runtime Verification of Timing and Probabilistic Properties using WMI and .NET. EUROMICRO 2004: 100-106
14		Juliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla: Preface. Electr. Notes Theor. Comput. Sci. 108: 1-2 (2004)
	2003
13		Ralf Reussner, Iman Poernomo, Heinz W. Schmidt: Reasoning about Software Architectures with Contractually Specified Components. Component-Based Software Quality 2003: 287-325
12		Iman Poernomo, Ralf Reussner, Heinz W. Schmidt: Architectural Configuration with EDOC and .NET Component Services. EUROMICRO 2003: 61-69
11		Iman Poernomo: Proofs-as-Imperative-Programs: Application to Synthesis of Contracts. Ershov Memorial Conference 2003: 112-119
10		Sea Ling, Iman Poernomo, Heinz W. Schmidt: Describing Web Service Architectures through Design-by-Contract. ISCIS 2003: 1008-1018
9		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		Iman Poernomo, Ralf Reussner, Heinz W. Schmidt: Architectures of Enterprise Systems: Modelling Transactional Contexts. Component Deployment 2002: 233-243
7		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		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		Iman Poernomo, John N. Crossley, Martin Wirsing: Programs, Proofs and Parametrized Specifications. WADT 2001: 280-304
4		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		Iman Poernomo, John N. Crossley: Protocols between programs and proofs. LOPSTR 2000
2		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] [34]
4	John N. Crossley	[1] [2] [3] [4] [5] [22]
5	Nurzhan Duzbayev	[24] [29]
6	Christine Hofmeister	[35]
7	Jane Jayaputera	[15] [18] [19] [21]
8	Bernd J. Krämer	[6]
9	Kung-Kiu Lau	[22]
10	Grace A. Lewis	[35]
11	Sea Ling	[10]
12	Ralf Reussner (Ralf H. Reussner)	[6] [7] [8] [9] [12] [13] [14] [17] [28]
13	Heinz W. Schmidt	[6] [7] [8] [9] [10] [12] [13] [15] [18] [19] [21]
14	Sandeep K. Shukla	[14] [17]
15	George Tsaramirsis	[32]
16	Timur Umarov	[31]
17	Guijun Wang	[25]
18	Martin Wirsing	[1] [5]

Colors in the list of coauthors