Iman Poernomo

Publication Activity (10 Years)

Years Active: 1999-2014
Publications (10 Years): 0

Top Topics

Comparative Evaluation

Computational Model

Management System

Top Venues

Int. J. Softw. Informatics

Softw. Syst. Model.

Publications

Kevin Lano, Shekoufeh Kolahdouz Rahimi, Iman Poernomo, Jeffrey Terrell, Steffen Zschaler
Correct-by-construction synthesis of model transformations using transformation patterns. Softw. Syst. Model. 13 (2) (2014)
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Iman Poernomo
Comparative Evaluation of Model Transformation Specification Approaches. Int. J. Softw. Informatics 6 (2) (2012)
Lina Barakat, Simon Miles, Iman Poernomo, Michael Luck
Efficient Multi-granularity Service Composition. ICWS (2011)
Iman Poernomo, Guijun Wang
Message from the AQuSerM 2011 Chairs. EDOCW (2011)
Gbolahan Williams, Iman Poernomo, Paul Luff
Modelling ethnographic analyses for records via Tacit Contracts. RCIS (2011)
Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi, Iman Poernomo
A Constructive Approach to Testing Model Transformations. ICMT@TOOLS (2010)
Iman Poernomo, Jeffrey Terrell
Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq. ICFEM (2010)
Ralf H. Reussner, Iman Poernomo, Juliana Küster Filipe Bowles
Preface. Electron. Notes Theor. Comput. Sci. 238 (6) (2010)
Iman Poernomo, George Tsaramirsis, Mohammad Yamin
Ontology based UML2 Component Architecture Generation. ICISO (2010)
Assel Zh. Akzhalova, Iman Poernomo
Model Driven Approach for Dynamic Service Composition Based on QoS Constraints. SERVICES (2010)
Liam O'Brien, Iman Poernomo, Guijun Wang
Workshop summary: Advances in quality of service management (AQuSerM) 2009. EDOCW (2009)
Iman Poernomo, Timur Umarov
A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management. CEE-SET (2009)
Astrid Kreissig, Iman Poernomo, Ralf H. Reussner
09432 Report - Quantitative Software Design. Quantitative Software Design (2009)
Kenneth Chan, Iman Poernomo
Compositional Prediction of Timed Behaviour for Process Control Architecture. QoSA (2009)
Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner
Preface. Electron. Notes Theor. Comput. Sci. 203 (7) (2009)
George Tsaramirsis, Iman Poernomo
Prototype Generation from Ontology Charts. ITNG (2008)
Iman Poernomo, Timur Umarov
Business Process Development in Semantically-Enriched Environment. ITNG (2008)
Iman Poernomo
Proofs-as-Model-Transformations. ICMT@TOOLS (2008)
Iman Poernomo, Timur Umarov
Normative Ontologies for Data-Centric Business Process Management. EDOCW (2008)
Assel Zh. Akzhalova, Mahbub Gani, Iman Poernomo
Model driven QoS management via dynamic programming. EDOCW (2008)
Assel Zh. Akzhalova, Nurzhan Duzbayev, Iman Poernomo
Model Driven Control. EDOCW (2007)
Kenneth Chan, Iman Poernomo
QoS-aware model driven architecture through the UML and CIM. Inf. Syst. Frontiers 9 (2-3) (2007)
Nurzhan Duzbayev, Iman Poernomo
Pre-emptive Adaptation Through Classical Control Theory. QoSA (2007)
Iman Poernomo
Synthesis of Data Views for Communicating Processes. LOPSTR (2007)
Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner
Preface. Electron. Notes Theor. Comput. Sci. 176 (2) (2007)
Stuart Allen, John N. Crossley, Kung-Kiu Lau, Iman Poernomo
Preface. Electron. Notes Theor. Comput. Sci. 153 (1) (2006)
Iman Poernomo
The meta-object facility typed. SAC (2006)
Nurzhan Duzbayev, Iman Poernomo
Runtime Prediction of Queued Behaviour. QoSA (2006)
Kenneth Chan, Iman Poernomo
QoS-Aware Model Driven Architecture through the UML and CIM. EDOC (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) (2006)
Iman Poernomo, Guijun Wang
AQuSerM 2006: Advances in Quality of Service Management. EDOC Workshops (2006)
Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla
Preface. Electron. Notes Theor. Comput. Sci. 141 (3) (2005)
Kenneth Chan, Iman Poernomo
Consistent Metric Usage: From Design to Deployment. Dependability Metrics (2005)
Iman Poernomo, Jane Jayaputera, Heinz W. Schmidt
Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model. EDOC (2005)
Kenneth Chan, Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera
A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties. QoSA/SOQUA (2005)
Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla
Preface. Electron. Notes Theor. Comput. Sci. 108 (2004)
Iman Poernomo
A Type Theoretic Framework for Formal Metamodelling. Architecting Systems with Trustworthy Components (2004)
Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt
Runtime Verification of Timing and Probabilistic Properties using WMI and .NET. EUROMICRO (2004)
Iman Poernomo, Ralf H. Reussner, Heinz W. Schmidt
Architectural Configuration with EDOC and .NET Component Services. EUROMICRO (2003)
Ralf H. Reussner, Heinz W. Schmidt, Iman Poernomo
Reliability prediction for component-based software architectures. J. Syst. Softw. 66 (3) (2003)
Iman Poernomo
Proofs-as-Imperative-Programs: Application to Synthesis of Contracts. Ershov Memorial Conference (2003)
Ralf H. Reussner, Iman Poernomo, Heinz W. Schmidt
Reasoning about Software Architectures with Contractually Specified Components. Component-Based Software Quality (2003)
Sea Ling, Iman Poernomo, Heinz W. Schmidt
Describing Web Service Architectures through Design-by-Contract. ISCIS (2003)
Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf H. Reussner
Predictable Component Architectures Using Dependent Finite State Machines. RISSEF (2002)
Iman Poernomo, Ralf H. Reussner, Heinz W. Schmidt
Architectures of Enterprise Systems: Modelling Transactional Contexts. Component Deployment (2002)
Ralf H. Reussner, Iman Poernomo, Heinz W. Schmidt
Using the TrustME Tool Suite for Automatic Component Protocol Adaptation. International Conference on Computational Science (2) (2002)
Heinz W. Schmidt, Iman Poernomo, Ralf H. Reussner
Trust-by-Contract: Modelling, Analysing and Predicting Behaviour of Software Architectures. Trans. SDPS 5 (3) (2001)
Iman Poernomo, John N. Crossley, Martin Wirsing
Programs, Proofs and Parametrized Specifications. WADT (2001)
John N. Crossley, Iman Poernomo
Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs. J. Univers. Comput. Sci. 7 (1) (2001)
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)
John N. Crossley, Iman Poernomo, Martin Wirsing
Extraction of Structured Programs from Specification Proofs. WADT (1999)