Research output per year
Research output per year
Personal profile
Research interests
NET; enterprise software architecture; quality of service; formal methods; constructive type theory.
Research interests (short)
NET; enterprise software architecture; quality of service; formal methods; constructive type theory.
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Fingerprint
Dive into the research topics where Iman Poernomo is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Correct-by-Construction Synthesis of Model Transformations using Transformation Patterns
Lano, K., Kolahdouz Rahimi, S., Poernomo, I., Terrell, J. & Zschaler, S., May 2014, In: Software and Systems Modeling. 13, 2, p. 873-907 35 p.Research output: Contribution to journal › Article › peer-review
9 Citations (Scopus) -
A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management
Poernomo, I. & Umarov, T., 2012, ADVANCES IN SOFTWARE ENGINEERING TECHNIQUES. Szmuc, T., Szpyrka, M. & Zendulka, J. (eds.). BERLIN: Springer, Vol. 7054 LNCS. p. 136-149 14 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper
2 Citations (Scopus) -
Comparative evaluation of model transformation specification approaches
Lano, K., Kolahdouz Rahimi, S. & Poernomo, I., 2012, In: International Journal of Software Informatics. 6, 2, p. 233-269 37 p.Research output: Contribution to journal › Article › peer-review
File25 Downloads (Pure) -
Proof-Carrying Model-Transformation Components
Terrell, J., Zschaler, S. & Poernomo, I., 2011, King's College London. 15 p.Research output: Book/Report › Report
-
Towards Modular Reasoning for Model Transformations
Zschaler, S., Terrell, J. & Poernomo, I., 2011, Workshop on Composition and Evolution of Model Transformations.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Projects
- 12 Finished
-
-
Trans-European Research Training Network on Engineering and Provisioning of Service-Based Cloud Applications: RELATE
Poernomo, I. (Primary Investigator) & Zschaler, S. (Primary Investigator)
1/03/2011 → 28/02/2015
Project: Research
-
-
-
Higher order Refinement Techniques for Model Driven Architecture
Poernomo, I. (Primary Investigator) & Lano, K. (Co-Investigator)
EPSRC Engineering and Physical Sciences Research Council
1/12/2008 → 10/05/2012
Project: Research
Activities
- 5 Publication peer-review
-
Journal of Knowledge and Information Systems (Journal)
Poernomo, I. (Editor)
2001 → …Activity: Publication peer-review and editorial work › Publication peer-review
-
Journal of Theory and Practice of Logic Programming (Journal)
Poernomo, I. (Editor)
2001 → …Activity: Publication peer-review and editorial work › Publication peer-review
-
Computer Networks: the International Journal of Distributed Informatique (Journal)
Poernomo, I. (Editor)
2001 → …Activity: Publication peer-review and editorial work › Publication peer-review
-
IEE Transactions in Software (Journal)
Poernomo, I. (Editor)
2001 → …Activity: Publication peer-review and editorial work › Publication peer-review
-
Journal of Systems and Software (Journal)
Poernomo, I. (Editor)
2001 → …Activity: Publication peer-review and editorial work › Publication peer-review