Authors: Schmidt, Heinz, Poernomo, Iman, Reussner, Ralf

Superior Title: Schmidt , H , Poernomo , I & Reussner , R 2001 , ' Trust-By-Contract : Modelling, Analyzing and Predicting Behavior in Software Architectures ' , Journal of Integrated Design and Process Science , vol. 5 , no. 3 , pp. 25 - 51 . < http://www.metapress.com/content/fvct0d297pk7pca4/ >

File Description: application/pdf

Availability: https://kclpure.kcl.ac.uk/portal/en/publications/trustbycontract(8aaac338-bb94-42d5-a837-01f1cc1f50f1).html
https://kclpure.kcl.ac.uk/ws/files/6526844/Schmidt_Trust_2001.pdf
http://www.metapress.com/content/fvct0d297pk7pca4/

Authors: Reussner, Ralf H, Poernomo, Iman, Schmidt, Heinz W

Contributors: Cechich, A, Piattini, M, Vallecillo, A

Superior Title: Reussner , R H , Poernomo , I & Schmidt , H W 2006 , Reasoning about Software Architectures with Contractually Specified Components . in A Cechich , M Piattini & A Vallecillo (eds) , Component-Based Software Quality: Methods and Techniques . pp. 287 - 326 .

Availability: https://kclpure.kcl.ac.uk/portal/en/publications/reasoning-about-software-architectures-with-contractually-specified-components(8b3ef2f2-d636-4fff-9ee9-7d94715b9fbe).html

Authors: Poernomo, Iman, Schmidt, Heinz, Jayaputera, Jane

Superior Title: Poernomo , I , Schmidt , H & Jayaputera , J 2006 , ' Verification and Prediction of Timed Probabilistic Properties Over the Distributed Management Taskforce Common Information Model ' , INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS , vol. 15 , no. 4 , 0 , pp. 633 - 658 . https://doi.org/10.1142/S0218843006001517

Availability: https://doi.org/10.1142/S0218843006001517
https://kclpure.kcl.ac.uk/portal/en/publications/verification-and-prediction-of-timed-probabilistic-properties-over-the-distributed-management-taskforce-common-information-model(3b2f0ef6-f7e4-4633-8f2b-8eec3c8c10dd).html

Authors: Jayaputera, Jane, Poernomo, Iman, Schmidt, Heinz

Superior Title: Jayaputera , J , Poernomo , I & Schmidt , H 2003 , ' UML Specialization for Fault Tolerant Component Based Architectures, in Atila Ertas and Berd Kramer ' , INTEGRATED DESIGN AND PROCESS TECHNOLOGY , vol. 2 .

Availability: https://kclpure.kcl.ac.uk/portal/en/publications/uml-specialization-for-fault-tolerant-component-based-architectures-in-atila-ertas-and-berd-kramer(3d5b1e42-b9b2-4e6a-b6c0-c7f74937b8cb).html

Authors: Poernomo, Iman, Reussner, Ralf, Schmidt, Heinz

Superior Title: Poernomo , I , Reussner , R & Schmidt , H 2003 , ' Reliability prediction for component-based software architectures ' , Journal of Systems and Software , vol. 66 , no. 3 , pp. 241 - 252 . https://doi.org/10.1016/S0164-1212(02)00080-8

Availability: https://doi.org/10.1016/S0164-1212(02)00080-8
https://kclpure.kcl.ac.uk/portal/en/publications/reliability-prediction-for-componentbased-software-architectures(54e2dde8-bcfe-4132-9eaf-0c7920d8f0c7).html

Authors: Chan, Kenneth, Poernomo, Iman, Schmidt, Heinz, Jayaputera, Jane

Contributors: Reussner, Ralf, Mayer, Johannes, Stafford, Judith

Superior Title: Chan , K , Poernomo , I , Schmidt , H , Jayaputera , J , Reussner , R (ed.) , Mayer , J (ed.) & Stafford , J (ed.) 2005 , A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties . in Quality of Software Architectures and Software Quality, First International Conference on the Quality of Software Architectures, QoSA 2005 . vol. 3712 LNCS , Quality of Software Architectures and Software Quality, Lecture Notes in Computer Science , pp. 38 - 52 , First International Conference on the Quality of Software Architectures, QoSA 2005 , 1/01/2005 .

Availability: https://kclpure.kcl.ac.uk/portal/en/publications/a-modeloriented-framework-for-runtime-monitoring-of-nonfunctional-properties(5fcf944f-c218-41d7-8a0e-a858328bee1f).html
http://www.scopus.com/inward/record.url?scp=33646179809&partnerID=8YFLogxK

Authors: Poernomo, Iman, Schmidt, Heinz, Jayaputera, Jane

Superior Title: Poernomo , I , Schmidt , H & Jayaputera , J 2005 , Timed Probabilistic Constraints over the DMTF Common Information Model . in 9th IEEE International EDOC Conference (EDOC 2005) . pp. 261 - 273 , 9th IEEE International EDOC Conference (EDOC 2005) , Enschede, The Netherlands , 1/01/2005 .

Availability: https://kclpure.kcl.ac.uk/portal/en/publications/timed-probabilistic-constraints-over-the-dmtf-common-information-model(b1b6427e-fae7-49ea-9eed-5440fbebb068).html

Authors: Schmidt, Heinz, Kramer, Bernd, Poernomo, I, Reussner, Ralf

Superior Title: Schmidt , H , Kramer , B , Poernomo , I & Reussner , R 2004 , Predictable Component Architectures Using Dependent Finite State Machines . in Proceedings of the 9th International Workshop in Radical Innovations of Software and Systems Engineering in the Future . LNCS , pp. 310 - 324 , 9th International Workshop in Radical Innovations of Software and Systems Engineering in the Future , Venice , Italy , 1/01/2004 .

Availability: https://kclpure.kcl.ac.uk/portal/en/publications/predictable-component-architectures-using-dependent-finite-state-machines(c8936ffb-105f-40e1-ab43-d968dde81afe).html
http://www.scopus.com/inward/record.url?scp=35048865881&partnerID=8YFLogxK

Authors: Jayaputera, Jane, Poernomo, Iman, Schmidt, Heinz

Superior Title: Jayaputera , J , Poernomo , I & Schmidt , H 2004 , Runtime Verification of Timing and Probabilistic Properties Using WMI and .NET . in 30th EUROMICRO Conference 2004, New Waves in System Architecture . pp. 100 - 106 , 30th EUROMICRO Conference 2004, New Waves in System Architecture , Rennes , France , 31/08/2004 .

Availability: https://kclpure.kcl.ac.uk/portal/en/publications/runtime-verification-of-timing-and-probabilistic-properties-using-wmi-and-net(b4c62301-5df4-4c1d-82ae-8f3c64235b1d).html
http://www.scopus.com/inward/record.url?scp=11844290695&partnerID=8YFLogxK

Authors: Poernomo, Iman, Reussner, Ralf, Schmidt, Heinz

Superior Title: Poernomo , I , Reussner , R & Schmidt , H 2003 , Architectural Configuration with EDOC and .NET Component Services . in 29th EUROMICRO Conference 2003, New Waves in System Architecture . pp. 61 - 69 , 29th EUROMICRO Conference 2003, New Waves in System Architecture , Belek-Antalya , Turkey , 1/01/2003 .

Availability: https://kclpure.kcl.ac.uk/portal/en/publications/architectural-configuration-with-edoc-and-net-component-services(200405d5-4066-4254-a99a-d63e4614e3b5).html

Authors: Reussner, Ralf, Schmidt, Heinz, Poernomo, Iman

Superior Title: Reussner , R , Schmidt , H & Poernomo , I 2002 , Using Parameterized Contracts for Component Reliability Prediction . in Conference of Integrated Design and Process Science . pp. 241 - 252 , Conference of Integrated Design and Process Science , Pasadena , United States , 1/01/2002 .

Availability: https://kclpure.kcl.ac.uk/portal/en/publications/using-parameterized-contracts-for-component-reliability-prediction(dd0e0b4e-ebf1-4bde-937f-7f174955a543).html

Authors: Poernomo, Iman, Reussner, Ralf, Schmidt, Heinz W

Superior Title: Poernomo , I , Reussner , R & Schmidt , H W 2002 , Architectures of Enterprise Systems: Modelling Transactional Contexts . in Proceedings of the First IFIP/ACM Working Conference on Component Deployment (CD 2002), Volume 2370 LNCS . pp. 233 - 243 , Proceedings of the First IFIP/ACM Working Conference on Component Deployment , 1/01/2002 .

Availability: https://kclpure.kcl.ac.uk/portal/en/publications/architectures-of-enterprise-systems-modelling-transactional-contexts(3d9c6024-4411-4cd5-8f34-408e03e7a5fb).html

Authors: Poernomo, Iman, Schmidt, Heinz

Superior Title: Poernomo , I & Schmidt , H 2001 , An Architectural Description Language for Enterprise Computing . in Working Conference on Complex and Dynamic Systems Architecture . Brisbane, Australia , pp. 1 - 5 , Working Conference on Complex and Dynamic Systems Architecture , Brisbane , Australia , 1/01/2001 .

File Description: application/pdf

Availability: https://kclpure.kcl.ac.uk/portal/en/publications/an-architectural-description-language-for-enterprise-computing(b6e703ad-e39e-4d0e-b687-55c0158c0d44).html
https://kclpure.kcl.ac.uk/ws/files/7762206/Poernomo_Architectural_2001.pdf