( en | de | ru )

 

Disambiguation of "Poernomo, Iman"

Author of the publication

copydeleteadd this publication to your clipboard
Using the TrustME Tool Suite for Automatic Component Protocol Adaptation.

, , and . International Conference on Computational Science (2), volume 2330 of Lecture Notes in Computer Science, page 854-863. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Konin Imanishi

Iman Alsharhan

Jussef Imanabadi

Lynda M Iman-Loch

Jafargholi Imani

 

Other publications of authors with the same name

Verification and Prediction of Timed Probabilistic Properties over the Dmtf CIM., , and . Int. J. Cooperative Inf. Syst., 15 (4): 633-658 (2006)Comparative Evaluation of Model Transformation Specification Approaches., , and . Int. J. Softw. Informatics, 6 (2): 233-269 (2012)A Type Theoretic Framework for Formal Metamodelling.. Architecting Systems with Trustworthy Components, volume 3938 of Lecture Notes in Computer Science, page 262-298. Springer, (2004)A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management., and . CEE-SET, volume 7054 of Lecture Notes in Computer Science, page 136-149. Springer, (2009)Reasoning about Software Architectures with Contractually Specified Components., , and . Component-Based Software Quality, volume 2693 of Lecture Notes in Computer Science, page 287-325. Springer, (2003)QoS-Aware Model Driven Architecture through the UML and CIM., and . EDOC, page 345-354. IEEE Computer Society, (2006)Using the TrustME Tool Suite for Automatic Component Protocol Adaptation., , and . International Conference on Computational Science (2), volume 2330 of Lecture Notes in Computer Science, page 854-863. Springer, (2002)Message from the AQuSerM 2011 Chairs., and . EDOCW, page 95. IEEE Computer Society, (2011)Reliability prediction for component-based software architectures., , and . J. Syst. Softw., 66 (3): 241-252 (2003)Proofs-as-Imperative-Programs: Application to Synthesis of Contracts.. Ershov Memorial Conference, volume 2890 of Lecture Notes in Computer Science, page 112-119. Springer, (2003)