Iman Poernomo

According to our database, Iman Poernomo authored at least 48 papers between 1999 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

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

2012

Comparative Evaluation of Model Transformation Specification Approaches.

Kevin Lano, Shekoufeh Kolahdouz Rahimi, Iman Poernomo

Int. J. Softw. Informatics, 2012

2011

Modelling ethnographic analyses for records via Tacit Contracts.

Gbolahan Williams, Iman Poernomo, Paul Luff

Proceedings of the Fifth IEEE International Conference on Research Challenges in Information Science, 2011

Efficient Multi-granularity Service Composition.

Lina Barakat, Simon Miles, Iman Poernomo, Michael Luck

Proceedings of the IEEE International Conference on Web Services, 2011

Message from the AQuSerM 2011 Chairs.

Iman Poernomo, Guijun Wang

Proceedings of the Workshops Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, 2011

2010

Model Driven Approach for Dynamic Service Composition Based on QoS Constraints.

Assel Zh. Akzhalova, Iman Poernomo

Proceedings of the 6th World Congress on Services, 2010

A Constructive Approach to Testing Model Transformations.

Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi, Iman Poernomo

Proceedings of the Theory and Practice of Model Transformations, 2010

Ontology based UML2 Component Architecture Generation.

Iman Poernomo, George Tsaramirsis, Mohammad Yamin

Proceedings of the ICISO 2010, 2010

Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq.

Iman Poernomo, Jeffrey Terrell

Proceedings of the Formal Methods and Software Engineering, 2010

2009

Compositional Prediction of Timed Behaviour for Process Control Architecture.

Kenneth Chan, Iman Poernomo

Proceedings of the Architectures for Adaptive Software Systems, 2009

A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management.

Iman Poernomo, Timur Umarov

Proceedings of the Advances in Software Engineering Techniques, 2009

Workshop summary: Advances in quality of service management (AQuSerM) 2009.

Liam O'Brien, Iman Poernomo, Guijun Wang

Proceedings of the Workshops Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference, 2009

09432 Report - Quantitative Software Design.

Astrid Kreissig, Iman Poernomo, Ralf H. Reussner

Proceedings of the Quantitative Software Design, 20.10. - 23.10.2009, 2009

2008

Prototype Generation from Ontology Charts.

George Tsaramirsis, Iman Poernomo

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

Business Process Development in Semantically-Enriched Environment.

Iman Poernomo, Timur Umarov

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

Proofs-as-Model-Transformations.

Iman Poernomo

Proceedings of the Theory and Practice of Model Transformations, 2008

Normative Ontologies for Data-Centric Business Process Management.

Iman Poernomo, Timur Umarov

Proceedings of the Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

Model driven QoS management via dynamic programming.

Assel Zh. Akzhalova, Mahbub Gani, Iman Poernomo

Proceedings of the Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

2007

QoS-aware model driven architecture through the UML and CIM.

Kenneth Chan, Iman Poernomo

Inf. Syst. Frontiers, 2007

Preface.

Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner

Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007

Pre-emptive Adaptation Through Classical Control Theory.

Nurzhan Duzbayev, Iman Poernomo

Proceedings of the Software Architectures, 2007

Synthesis of Data Views for Communicating Processes.

Iman Poernomo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2007

Model Driven Control.

Assel Zh. Akzhalova, Nurzhan Duzbayev, Iman Poernomo

Proceedings of the Workshops Proceedings of the 11th International IEEE Enterprise Distributed Object Computing Conference, 2007

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

The meta-object facility typed.

Iman Poernomo

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Runtime Prediction of Queued Behaviour.

Nurzhan Duzbayev, Iman Poernomo

Proceedings of the Quality of Software Architectures, 2006

AQuSerM 2006: Advances in Quality of Service Management.

Iman Poernomo, Guijun Wang

Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

2005

Adapting Proofs-as-Programs - The Curry-Howard Protocol

Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley

Monographs in Computer Science, Springer, ISBN: 978-0-387-28183-4, 2005

Preface.

Stuart Allen, John N. Crossley, Kung-Kiu Lau, Iman Poernomo

Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, 2005

A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties.

Kenneth Chan, Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera

Proceedings of the Quality of Software Architectures and Software Quality, 2005

Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model.

Iman Poernomo, Jane Jayaputera, Heinz W. Schmidt

Proceedings of the Ninth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2005), 2005

Consistent Metric Usage: From Design to Deployment.

Kenneth Chan, Iman Poernomo

Proceedings of the Dependability Metrics: Advanced Lectures [result from a Dagstuhl seminar, October 30, 2005

2004

Preface.

Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla

Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2004

Runtime Verification of Timing and Probabilistic Properties using WMI and .NET.

Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt

Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

A Type Theoretic Framework for Formal Metamodelling.

Iman Poernomo

Proceedings of the Architecting Systems with Trustworthy Components, 2004

2003

Reliability prediction for component-based software architectures.

Ralf H. Reussner, Heinz W. Schmidt, Iman Poernomo

J. Syst. Softw., 2003

Describing Web Service Architectures through Design-by-Contract.

Sea Ling, Iman Poernomo, Heinz W. Schmidt

Proceedings of the Computer and Information Sciences, 2003

Architectural Configuration with EDOC and .NET Component Services.

Iman Poernomo, Ralf H. Reussner, Heinz W. Schmidt

Proceedings of the 29th EUROMICRO Conference 2003, 2003

Proofs-as-Imperative-Programs: Application to Synthesis of Contracts.

Iman Poernomo

Proceedings of the Perspectives of Systems Informatics, 2003

Reasoning about Software Architectures with Contractually Specified Components.

Ralf H. Reussner, Iman Poernomo, Heinz W. Schmidt

Proceedings of the Component-Based Software Quality - Methods and Techniques, 2003

2002

Predictable Component Architectures Using Dependent Finite State Machines.

Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf H. Reussner

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

Using the TrustME Tool Suite for Automatic Component Protocol Adaptation.

Ralf H. Reussner, Iman Poernomo, Heinz W. Schmidt

Proceedings of the Computational Science - ICCS 2002, 2002

Architectures of Enterprise Systems: Modelling Transactional Contexts.

Iman Poernomo, Ralf H. Reussner, Heinz W. Schmidt

Proceedings of the Component Deployment, IFIP/ACM Working Conference, 2002

2001

Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs.

John N. Crossley, Iman Poernomo

J. Univers. Comput. Sci., 2001

Trust-by-Contract: Modelling, Analysing and Predicting Behaviour of Software Architectures.

Heinz W. Schmidt, Iman Poernomo, Ralf H. Reussner

Trans. SDPS, 2001

Programs, Proofs and Parametrized Specifications.

Iman Poernomo, John N. Crossley, Martin Wirsing

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

2000

Protocols between Programs and Proofs.

Iman Poernomo, John N. Crossley

Proceedings of the Logic Based Program Synthesis and Transformation, 2000

1999

Extraction of Structured Programs from Specification Proofs.

John N. Crossley, Iman Poernomo, Martin Wirsing

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999