The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. 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]
  2. 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]
  3. Iman Poernomo
    A Type Theoretic Framework for Formal Metamodelling. [Citation Graph (0, 0)][DBLP]
    Architecting Systems with Trustworthy Components, 2004, pp:262-298 [Conf]
  4. 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]
  5. Iman Poernomo
    Proofs-as-Imperative-Programs: Application to Synthesis of Contracts. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2003, pp:112-119 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. Iman Poernomo, John N. Crossley
    Protocols between programs and proofs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
  11. 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]
  12. 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]
  13. Iman Poernomo
    The meta-object facility typed. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:1845-1849 [Conf]
  14. 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]
  15. 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]
  16. Iman Poernomo, John N. Crossley, Martin Wirsing
    Programs, Proofs and Parametrized Specifications. [Citation Graph (0, 0)][DBLP]
    WADT, 2001, pp:280-304 [Conf]
  17. Nurzhan Duzbayev, Iman Poernomo
    Runtime Prediction of Queued Behaviour. [Citation Graph (0, 0)][DBLP]
    QoSA, 2006, pp:78-94 [Conf]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. Iman Poernomo, Guijun Wang
    AQuSerM 2006: Advances in Quality of Service Management. [Citation Graph (0, 0)][DBLP]
    EDOC Workshops, 2006, pp:40- [Conf]
  26. 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]

  27. Consistent Metric Usage: From Design to Deployment. [Citation Graph (, )][DBLP]


  28. Business Process Development in Semantically-Enriched Environment. [Citation Graph (, )][DBLP]


  29. Prototype Generation from Ontology Charts. [Citation Graph (, )][DBLP]


  30. Synthesis of Data Views for Communicating Processes. [Citation Graph (, )][DBLP]


  31. Compositional Prediction of Timed Behaviour for Process Control Architecture. [Citation Graph (, )][DBLP]


  32. Pre-emptive Adaptation Through Classical Control Theory. [Citation Graph (, )][DBLP]


  33. Proofs-as-Model-Transformations. [Citation Graph (, )][DBLP]


  34. A Constructive Approach to Testing Model Transformations. [Citation Graph (, )][DBLP]


  35. Model Driven Approach for Dynamic Service Composition Based on QoS Constraints. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002