Iman Poernomo

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Correct-by-construction synthesis of model transformations using transformation patterns.
Softw. Syst. Model., 2014

2012
Comparative Evaluation of Model Transformation Specification Approaches.
Int. J. Softw. Informatics, 2012

2011
Modelling ethnographic analyses for records via Tacit Contracts.
Proceedings of the Fifth IEEE International Conference on Research Challenges in Information Science, 2011

Efficient Multi-granularity Service Composition.
Proceedings of the IEEE International Conference on Web Services, 2011

Message from the AQuSerM 2011 Chairs.
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.
Proceedings of the 6th World Congress on Services, 2010

A Constructive Approach to Testing Model Transformations.
Proceedings of the Theory and Practice of Model Transformations, 2010

Ontology based UML2 Component Architecture Generation.
Proceedings of the ICISO 2010, 2010

Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq.
Proceedings of the Formal Methods and Software Engineering, 2010

2009
Compositional Prediction of Timed Behaviour for Process Control Architecture.
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.
Proceedings of the Advances in Software Engineering Techniques, 2009

Workshop summary: Advances in quality of service management (AQuSerM) 2009.
Proceedings of the Workshops Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference, 2009

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

2008
Preface.
Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2008

Prototype Generation from Ontology Charts.
Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

Business Process Development in Semantically-Enriched Environment.
Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

Proofs-as-Model-Transformations.
Proceedings of the Theory and Practice of Model Transformations, 2008

Normative Ontologies for Data-Centric Business Process Management.
Proceedings of the Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

Model driven QoS management via dynamic programming.
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.
Inf. Syst. Frontiers, 2007

Pre-emptive Adaptation Through Classical Control Theory.
Proceedings of the Software Architectures, 2007

Synthesis of Data Views for Communicating Processes.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2007

Model Driven Control.
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.
Int. J. Cooperative Inf. Syst., 2006

The meta-object facility typed.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Runtime Prediction of Queued Behaviour.
Proceedings of the Quality of Software Architectures, 2006

AQuSerM 2006: Advances in Quality of Service Management.
Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

2005
Adapting Proofs-as-Programs - The Curry-Howard Protocol
Monographs in Computer Science, Springer, ISBN: 978-0-387-28183-4, 2005

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

A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties.
Proceedings of the Quality of Software Architectures and Software Quality, 2005

Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model.
Proceedings of the Ninth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2005), 2005

Consistent Metric Usage: From Design to Deployment.
Proceedings of the Dependability Metrics: Advanced Lectures [result from a Dagstuhl seminar, October 30, 2005

2004
Preface.
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.
Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

A Type Theoretic Framework for Formal Metamodelling.
Proceedings of the Architecting Systems with Trustworthy Components, 2004

2003
Reliability prediction for component-based software architectures.
J. Syst. Softw., 2003

Describing Web Service Architectures through Design-by-Contract.
Proceedings of the Computer and Information Sciences, 2003

Architectural Configuration with EDOC and .NET Component Services.
Proceedings of the 29th EUROMICRO Conference 2003, 2003

Proofs-as-Imperative-Programs: Application to Synthesis of Contracts.
Proceedings of the Perspectives of Systems Informatics, 2003

Reasoning about Software Architectures with Contractually Specified Components.
Proceedings of the Component-Based Software Quality - Methods and Techniques, 2003

2002
Predictable Component Architectures Using Dependent Finite State Machines.
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

Using the TrustME Tool Suite for Automatic Component Protocol Adaptation.
Proceedings of the Computational Science - ICCS 2002, 2002

Architectures of Enterprise Systems: Modelling Transactional Contexts.
Proceedings of the Component Deployment, IFIP/ACM Working Conference, 2002

2001
Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs.
J. Univers. Comput. Sci., 2001

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

Programs, Proofs and Parametrized Specifications.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

2000
Protocols between Programs and Proofs.
Proceedings of the Logic Based Program Synthesis and Transformation, 2000

1999
Extraction of Structured Programs from Specification Proofs.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999


  Loading...