SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

Iman Poernomo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

Ralf Reussner, Iman Poernomo, Heinz W. Schmidt
Reasoning about Software Architectures with Contractually Specified Components. [Citation Graph (0, 0)][DBLP]
Component-Based Software Quality, 2003, pp:287-325 [Conf]
Iman Poernomo, Ralf Reussner, Heinz W. Schmidt
Architectures of Enterprise Systems: Modelling Transactional Contexts. [Citation Graph (0, 0)][DBLP]
Component Deployment, 2002, pp:233-243 [Conf]
Iman Poernomo
A Type Theoretic Framework for Formal Metamodelling. [Citation Graph (0, 0)][DBLP]
Architecting Systems with Trustworthy Components, 2004, pp:262-298 [Conf]
Iman Poernomo, Jane Jayaputera, Heinz W. Schmidt
Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model. [Citation Graph (0, 0)][DBLP]
EDOC, 2005, pp:261-272 [Conf]
Iman Poernomo
Proofs-as-Imperative-Programs: Application to Synthesis of Contracts. [Citation Graph (0, 0)][DBLP]
Ershov Memorial Conference, 2003, pp:112-119 [Conf]
Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt
Runtime Verification of Timing and Probabilistic Properties using WMI and .NET. [Citation Graph (0, 0)][DBLP]
EUROMICRO, 2004, pp:100-106 [Conf]
Iman Poernomo, Ralf Reussner, Heinz W. Schmidt
Architectural Configuration with EDOC and .NET Component Services. [Citation Graph (0, 0)][DBLP]
EUROMICRO, 2003, pp:61-69 [Conf]
Ralf Reussner, Iman Poernomo, Heinz W. Schmidt
Using the TrustME Tool Suite for Automatic Component Protocol Adaptation. [Citation Graph (0, 0)][DBLP]
International Conference on Computational Science (2), 2002, pp:854-863 [Conf]
Sea Ling, Iman Poernomo, Heinz W. Schmidt
Describing Web Service Architectures through Design-by-Contract. [Citation Graph (0, 0)][DBLP]
ISCIS, 2003, pp:1008-1018 [Conf]
Iman Poernomo, John N. Crossley
Protocols between programs and proofs. [Citation Graph (0, 0)][DBLP]
LOPSTR, 2000, pp:- [Conf]
Iman Poernomo, John N. Crossley
Protocols between Programs and Proofs. [Citation Graph (0, 0)][DBLP]
LOPSTR (LNCS 2042: Selected Papers), 2000, pp:18-37 [Conf]
Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf Reussner
Predictable Component Architectures Using Dependent Finite State Machines. [Citation Graph (0, 0)][DBLP]
RISSEF, 2002, pp:310-324 [Conf]
Iman Poernomo
The meta-object facility typed. [Citation Graph (0, 0)][DBLP]
SAC, 2006, pp:1845-1849 [Conf]
Kenneth Chan, Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera
A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties. [Citation Graph (0, 0)][DBLP]
QoSA/SOQUA, 2005, pp:38-52 [Conf]
John N. Crossley, Iman Poernomo, Martin Wirsing
Extraction of Structured Programs from Specification Proofs. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:419-437 [Conf]
Iman Poernomo, John N. Crossley, Martin Wirsing
Programs, Proofs and Parametrized Specifications. [Citation Graph (0, 0)][DBLP]
WADT, 2001, pp:280-304 [Conf]
Nurzhan Duzbayev, Iman Poernomo
Runtime Prediction of Queued Behaviour. [Citation Graph (0, 0)][DBLP]
QoSA, 2006, pp:78-94 [Conf]
Stuart Allen, John Crossley, Kung-Kiu Lau, Iman Poernomo
Preface. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:153, n:1, pp:1-2 [Journal]
Juliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla
Preface. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2004, v:108, n:, pp:1-2 [Journal]
Juliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla
Preface. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:141, n:3, pp:1-2 [Journal]
Juliana Küster Filipe Bowles, Iman Poernomo, Ralf Reussner
Preface. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2007, v:176, n:2, pp:1-4 [Journal]
Ralf Reussner, Heinz W. Schmidt, Iman Poernomo
Reliability prediction for component-based software architectures. [Citation Graph (0, 0)][DBLP]
Journal of Systems and Software, 2003, v:66, n:3, pp:241-252 [Journal]
John N. Crossley, Iman Poernomo
Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs. [Citation Graph (0, 0)][DBLP]
J. UCS, 2001, v:7, n:1, pp:71-88 [Journal]
Kenneth Chan, Iman Poernomo
QoS-Aware Model Driven Architecture through the UML and CIM. [Citation Graph (0, 0)][DBLP]
EDOC, 2006, pp:345-354 [Conf]
Iman Poernomo, Guijun Wang
AQuSerM 2006: Advances in Quality of Service Management. [Citation Graph (0, 0)][DBLP]
EDOC Workshops, 2006, pp:40- [Conf]
Kenneth Chan, Iman Poernomo
QoS-aware model driven architecture through the UML and CIM. [Citation Graph (0, 0)][DBLP]
Information Systems Frontiers, 2007, v:9, n:2-3, pp:209-224 [Journal]
Consistent Metric Usage: From Design to Deployment. [Citation Graph (, )][DBLP]
Business Process Development in Semantically-Enriched Environment. [Citation Graph (, )][DBLP]
Prototype Generation from Ontology Charts. [Citation Graph (, )][DBLP]
Synthesis of Data Views for Communicating Processes. [Citation Graph (, )][DBLP]
Compositional Prediction of Timed Behaviour for Process Control Architecture. [Citation Graph (, )][DBLP]
Pre-emptive Adaptation Through Classical Control Theory. [Citation Graph (, )][DBLP]
Proofs-as-Model-Transformations. [Citation Graph (, )][DBLP]
A Constructive Approach to Testing Model Transformations. [Citation Graph (, )][DBLP]
Model Driven Approach for Dynamic Service Composition Based on QoS Constraints. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.306secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP