Iman Poernomo

Kevin Lano, Shekoufeh Kolahdouz Rahimi, Iman Poernomo: Comparative Evaluation of Model Transformation Specification Approaches. Int. J. Software and Informatics 6(2): 233-269 (2012)

Iman Poernomo, Guijun Wang: Message from the AQuSerM 2011 Chairs. EDOCW 2011: 95

Lina Barakat, Simon Miles, Iman Poernomo, Michael Luck: Efficient Multi-granularity Service Composition. ICWS 2011: 227-234

Gbolahan Williams, Iman Poernomo, Paul Luff: Modelling ethnographic analyses for records via Tacit Contracts. RCIS 2011: 1-6

Ralf Reussner, Iman Poernomo, Juliana Küster Filipe Bowles: Preface. Electr. Notes Theor. Comput. Sci. 238(6): 1-2 (2010)

Iman Poernomo, Jeffrey Terrell: Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq. ICFEM 2010: 56-73

Iman Poernomo, George Tsaramirsis, Mohammad Yamin: Ontology based UML2 Component Architecture Generation. ICISO 2010: 314-321

Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi, Iman Poernomo: A Constructive Approach to Testing Model Transformations. ICMT 2010: 77-92

Assel Zh. Akzhalova, Iman Poernomo: Model Driven Approach for Dynamic Service Composition Based on QoS Constraints. SERVICES 2010: 590-597

Juliana Küster Filipe Bowles, Iman Poernomo, Ralf Reussner: Preface. Electr. Notes Theor. Comput. Sci. 203(7): 1-2 (2009)

Liam O'Brien, Iman Poernomo, Guijun Wang: Workshop summary: Advances in quality of service management (AQuSerM) 2009. EDOCW 2009: 114-115

Iman Poernomo, Timur Umarov: A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management. CEE-SET 2009: 136-149

Kenneth Chan, Iman Poernomo: Compositional Prediction of Timed Behaviour for Process Control Architecture. QoSA 2009: 86-100

Grace A. Lewis, Iman Poernomo, Christine Hofmeister (Eds.): Component-Based Software Engineering, 12th International Symposium, CBSE 2009, East Stroudsburg, PA, USA, June 24-26, 2009, Proceedings. Lecture Notes in Computer Science 5582, Springer 2009, isbn 978-3-642-02413-9

Iman Poernomo, Timur Umarov: Normative Ontologies for Data-Centric Business Process Management. EDOCW 2008: 23-34

Assel Zh. Akzhalova, Mahbub Gani, Iman Poernomo: Model driven QoS management via dynamic programming. EDOCW 2008: 87-95

Iman Poernomo: Proofs-as-Model-Transformations. ICMT 2008: 214-228

Iman Poernomo, Timur Umarov: Business Process Development in Semantically-Enriched Environment. ITNG 2008: 57-62

George Tsaramirsis, Iman Poernomo: Prototype Generation from Ontology Charts. ITNG 2008: 1177-1178

Juliana Küster Filipe Bowles, Iman Poernomo, Ralf Reussner: Preface. Electr. Notes Theor. Comput. Sci. 176(2): 1-4 (2007)

Kenneth Chan, Iman Poernomo: QoS-aware model driven architecture through the UML and CIM. Information Systems Frontiers 9(2-3): 209-224 (2007)

Assel Zh. Akzhalova, Nurzhan Duzbayev, Iman Poernomo: Model Driven Control. EDOCW 2007: 1-11

Iman Poernomo: Synthesis of Data Views for Communicating Processes. LOPSTR 2007: 185-200

Nurzhan Duzbayev, Iman Poernomo: Pre-emptive Adaptation Through Classical Control Theory. QoSA 2007: 164-181

Stuart Allen, John N. Crossley, Kung-Kiu Lau, Iman Poernomo: Preface. Electr. Notes Theor. Comput. Sci. 153(1): 1-2 (2006)

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)

Iman Poernomo, Guijun Wang: AQuSerM 2006: Advances in Quality of Service Management. EDOC Workshops 2006: 40

Kenneth Chan, Iman Poernomo: QoS-Aware Model Driven Architecture through the UML and CIM. EDOC 2006: 345-354

Nurzhan Duzbayev, Iman Poernomo: Runtime Prediction of Queued Behaviour. QoSA 2006: 78-94

Iman Poernomo: The meta-object facility typed. SAC 2006: 1845-1849

Juliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla: Preface. Electr. Notes Theor. Comput. Sci. 141(3): 1-2 (2005)

Kenneth Chan, Iman Poernomo: Consistent Metric Usage: From Design to Deployment. Dependability Metrics 2005: 19-36

Iman Poernomo, Jane Jayaputera, Heinz W. Schmidt: Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model. EDOC 2005: 261-272

Kenneth Chan, Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera: A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties. QoSA/SOQUA 2005: 38-52

Juliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla: Preface. Electr. Notes Theor. Comput. Sci. 108: 1-2 (2004)

Iman Poernomo: A Type Theoretic Framework for Formal Metamodelling. Architecting Systems with Trustworthy Components 2004: 262-298

Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt: Runtime Verification of Timing and Probabilistic Properties using WMI and .NET. EUROMICRO 2004: 100-106

Ralf Reussner, Heinz W. Schmidt, Iman Poernomo: Reliability prediction for component-based software architectures. Journal of Systems and Software 66(3): 241-252 (2003)

Ralf Reussner, Iman Poernomo, Heinz W. Schmidt: Reasoning about Software Architectures with Contractually Specified Components. Component-Based Software Quality 2003: 287-325

Iman Poernomo: Proofs-as-Imperative-Programs: Application to Synthesis of Contracts. Ershov Memorial Conference 2003: 112-119

Iman Poernomo, Ralf Reussner, Heinz W. Schmidt: Architectural Configuration with EDOC and .NET Component Services. EUROMICRO 2003: 61-69

Sea Ling, Iman Poernomo, Heinz W. Schmidt: Describing Web Service Architectures through Design-by-Contract. ISCIS 2003: 1008-1018

Iman Poernomo, Ralf Reussner, Heinz W. Schmidt: Architectures of Enterprise Systems: Modelling Transactional Contexts. Component Deployment 2002: 233-243

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

Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf Reussner: Predictable Component Architectures Using Dependent Finite State Machines. RISSEF 2002: 310-324

John N. Crossley, Iman Poernomo: Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs. J. UCS 7(1): 71-88 (2001)

Iman Poernomo, John N. Crossley, Martin Wirsing: Programs, Proofs and Parametrized Specifications. WADT 2001: 280-304

Iman Poernomo, John N. Crossley: Protocols between programs and proofs. LOPSTR 2000

Iman Poernomo, John N. Crossley: Protocols between Programs and Proofs. LOPSTR (LNCS 2042: Selected Papers) 2000: 18-37

John N. Crossley, Iman Poernomo, Martin Wirsing: Extraction of Structured Programs from Specification Proofs. WADT 1999: 419-437