Extraction of Structured Programs from Specification Proofs. - John N. Crossley; Iman Poernomo; Martin Wirsing (WADT, 1999)

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

Programs, Proofs and Parametrized Specifications. - Iman Poernomo; John N. Crossley; Martin Wirsing (WADT, 2001)

Trust-by-Contract: Modelling, Analysing and Predicting Behaviour of Software Architectures. - Heinz W. Schmidt; Iman Poernomo; Ralf H. Reussner (Trans. SDPS, 2001)

Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs. - John N. Crossley; Iman Poernomo (J. Univers. Comput. Sci., 2001)

Architectures of Enterprise Systems: Modelling Transactional Contexts. - Iman Poernomo; Ralf H. Reussner; Heinz W. Schmidt (Component Deployment, 2002)

Using the TrustME Tool Suite for Automatic Component Protocol Adaptation. - Ralf H. Reussner; Iman Poernomo; Heinz W. Schmidt (International Conference on Computational Science (2), 2002)

Predictable Component Architectures Using Dependent Finite State Machines. - Heinz W. Schmidt; Bernd J. Krämer; Iman Poernomo; Ralf H. Reussner (RISSEF, 2002)

Reasoning about Software Architectures with Contractually Specified Components. - Ralf H. Reussner; Iman Poernomo; Heinz W. Schmidt (Component-Based Software Quality, 2003)

Proofs-as-Imperative-Programs: Application to Synthesis of Contracts. - Iman Poernomo (Ershov Memorial Conference, 2003)

Architectural Configuration with EDOC and .NET Component Services. - Iman Poernomo; Ralf H. Reussner; Heinz W. Schmidt (EUROMICRO, 2003)

Describing Web Service Architectures through Design-by-Contract. - Sea Ling; Iman Poernomo; Heinz W. Schmidt (ISCIS, 2003)

Reliability prediction for component-based software architectures. - Ralf H. Reussner; Heinz W. Schmidt; Iman Poernomo (J. Syst. Softw., 2003)

A Type Theoretic Framework for Formal Metamodelling. - Iman Poernomo (Architecting Systems with Trustworthy Components, 2004)

Runtime Verification of Timing and Probabilistic Properties using WMI and .NET. - Jane Jayaputera; Iman Poernomo; Heinz W. Schmidt (EUROMICRO, 2004)

Preface. - Juliana Küster Filipe; Iman Poernomo; Ralf H. Reussner; Sandeep K. Shukla (FESCA@ETAPS, 2004)

Consistent Metric Usage: From Design to Deployment. - Kenneth Chan; Iman Poernomo (Dependability Metrics, 2005)

Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model. - Iman Poernomo; Jane Jayaputera; Heinz W. Schmidt (EDOC, 2005)

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

Preface. - Stuart Allen; John N. Crossley; Kung-Kiu Lau; Iman Poernomo (CLASE, 2005)

Adapting Proofs-as-Programs - The Curry-Howard Protocol - Iman Hafiz Poernomo; Martin Wirsing; John Newsome Crossley (Springer, 2005)

AQuSerM 2006: Advances in Quality of Service Management. - Iman Poernomo; Guijun Wang (EDOC Workshops, 2006)

Runtime Prediction of Queued Behaviour. - Nurzhan Duzbayev; Iman Poernomo (QoSA, 2006)

The meta-object facility typed. - Iman Poernomo (SAC, 2006)

Verification and Prediction of Timed Probabilistic Properties over the Dmtf CIM. - Iman Poernomo; Heinz W. Schmidt; Jane Jayaputera (Int. J. Cooperative Inf. Syst., 2006)

Model Driven Control. - Assel Zh. Akzhalova; Nurzhan Duzbayev; Iman Poernomo (EDOCW, 2007)

Synthesis of Data Views for Communicating Processes. - Iman Poernomo (LOPSTR, 2007)

Pre-emptive Adaptation Through Classical Control Theory. - Nurzhan Duzbayev; Iman Poernomo (QoSA, 2007)

QoS-aware model driven architecture through the UML and CIM. - Kenneth Chan; Iman Poernomo (Inf. Syst. Frontiers, 2007)

Model driven QoS management via dynamic programming. - Assel Zh. Akzhalova; Mahbub Gani; Iman Poernomo (EDOCW, 2008)

Normative Ontologies for Data-Centric Business Process Management. - Iman Poernomo; Timur Umarov (EDOCW, 2008)

Proofs-as-Model-Transformations. - Iman Poernomo (ICMT@TOOLS, 2008)

Business Process Development in Semantically-Enriched Environment. - Iman Poernomo; Timur Umarov (ITNG, 2008)

Prototype Generation from Ontology Charts. - George Tsaramirsis; Iman Poernomo (ITNG, 2008)

Preface. - Ralf H. Reussner; Iman Poernomo; Juliana Küster Filipe Bowles (FESCA@ETAPS, 2008)

09432 Report - Quantitative Software Design. - Astrid Kreissig; Iman Poernomo; Ralf H. Reussner (Quantitative Software Design, 2009)

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

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

Compositional Prediction of Timed Behaviour for Process Control Architecture. - Kenneth Chan; Iman Poernomo (QoSA, 2009)

Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq. - Iman Poernomo; Jeffrey Terrell (ICFEM, 2010)

Ontology based UML2 Component Architecture Generation. - Iman Poernomo; George Tsaramirsis; Mohammad Yamin (ICISO, 2010)

A Constructive Approach to Testing Model Transformations. - Camillo Fiorentini; Alberto Momigliano; Mario Ornaghi; Iman Poernomo (ICMT@TOOLS, 2010)

Model Driven Approach for Dynamic Service Composition Based on QoS Constraints. - Assel Zh. Akzhalova; Iman Poernomo (SERVICES, 2010)

Message from the AQuSerM 2011 Chairs. - Iman Poernomo; Guijun Wang (EDOCW, 2011)

Efficient Multi-granularity Service Composition. - Lina Barakat; Simon Miles; Iman Poernomo; Michael Luck (ICWS, 2011)

Modelling ethnographic analyses for records via Tacit Contracts. - Gbolahan Williams; Iman Poernomo; Paul Luff (RCIS, 2011)

Comparative Evaluation of Model Transformation Specification Approaches. - Kevin Lano; Shekoufeh Kolahdouz Rahimi; Iman Poernomo (Int. J. Softw. Informatics, 2012)

Correct-by-construction synthesis of model transformations using transformation patterns. - Kevin Lano; Shekoufeh Kolahdouz Rahimi; Iman Poernomo; Jeffrey Terrell; Steffen Zschaler (Softw. Syst. Model., 2014)

DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift. - Iman Poernomo (CoRR, 2025)