Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

Divisions: PALab: Predictable Assembly Laboratory

Number of items at this level: 31.

Chan, Kenneth and Poernomo, Iman (2007) Consistent metric usage from design to deployment. In: Advances in Software Metrics. (In Press)

Chan, Kenneth and Poernomo, Iman (2007) QoS-aware model driven architecture through the UML and CIM. Information Systems Frontiers, 9 (2-3). pp. 209-224.

Poernomo, Iman and Schmidt, Heinz and Jayaputera, Jane (2006) Verification and Prediction of Timed Probabilistic Properties over the Distributed Management Taskforce Common Information Model. International Journal of Cooperative Information Systems, 15 (4). pp. 633-658.

Chan, Kenneth and Poernomo, Iman (2006) QoS-Aware Model Driven Architecture. In: The 10th IEEE International Enterprise Distributed Object Conference (EDOC 2006), 16-23 October 2006, Hong Kong.

Duzbayev, Nurzhan and Poernomo, Iman (2006) Runtime prediction of queued behaviour. In: Quality of Software Architectures and Software Quality, Second International Conference on the Quality of Software Architectures, QoSA 2006.

Poernomo, Iman (2006) The meta-object facility typed. In: SAC '06: Proceedings of the 2006 ACM symposium on Applied computing.

Filipe, Juliana Küster and Reussner, Ralf and Shukla, Sandeep K. (2005) Preface to collected papers of FESCA 2005. Electronic Notes in Theoretical Computer Science, 141 (3). pp. 1-2.

Schmidt, Heinz and Kraemer, Bernd and Poernomo, Iman and Reussner, Ralf (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, Venice, Italy.

Filipe, Juliana Küster and Reussner, Ralf and Shukla, Sandeep K. (2004) Preface to collected papers of FESCA 2004. Electronic Notes in Theoretical Computer Science, 108 . pp. 1-2.

Iman, Poernomo and Jane, Jayaputera and Heinz, Schmidt (2004) Runtime Verification of Timing and Probabilistic Properties using WMI and .NET. In: 30th EUROMICRO Conference 2004, 31 August - 3 September, August 31st to September 3rd 2004, Rennes, France.

Jeavons, John S. and Poernomo, Iman and Basit, Bolis and Crossley, John (2003) A layered approach to extracting programs from proofs with an application in Graph Theory. In: Proceedings of the 7th and 8th Asian Logic Conferences.

Iman, Poernomo and Schmidt, Heinz (2003) Architectural Configuration with EDOC and .NET Component Services. In: 29th EUROMICRO Conference 2003, New Waves in System Architecture,.

Poernomo, Iman and Reussner, Ralf and Schmidt, Heinz (2003) Architectural Configuration with EDOC and .NET Component Services. In: 29th EUROMICRO Conference 2003, New Waves in System Architecture, .

Poernomo, Iman (2003) Proofs-as-imperative-programs: Application to Synthesis of Contracts. In: Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers.

Reussner, Ralf and Poernomo, Iman and Schmidt, Heinz (2003) Reasoning about Software Architectures with Contractually Specified Components. In: Component-Based Software Quality: Methods and Techniques.

Reussner, Ralf and Schmidt, Heinz and Poernomo, Iman (2003) Reliability Prediction for Component-Based Software Architectures. Journal of Systems and Software, 66 (3). pp. 241-252.

Poernomo, Iman and Crossley, John (2003) The Curry-Howard isomorphism adapted for imperative program synthesis and reasoning. In: Proceedings of the 7th and 8th Asian Logic Conferences.

Jayaputera, Jane and Poernomo, Iman and Schmidt, Heinz (2003) UML Specialization for Fault Tolerant Component Based Architectures. In: IDPT: Proceedings of the Seventh Biennial World Conference on Integrated Design and Process Technology.

Poernomo, Iman and Reussner, Ralf and Schmidt, Heinz (2002) Architectures of Enterprise Systems: Modelling Transactional Contexts. In: Proceedings of the First IFIP/ACM Working Conference on Component Deployment (CD 2002).

Ling, Sea and Poernomo, Iman and Schmidt, Heinz (2002) Describing Web Service Architectures through Design-by-Contract. Computer and Information Sciences -- ISCIS 2003, 18th International Symposium, Antalya, Turkey, November 3-5, 2003, Proceedings, Springer, LNCS 2869 . pp. 1008-1018.

Poernomo, Iman and Crossley, John and Wirsing, Martin (2002) Programs, proofs and parametrized specifications. In: Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers.

Reussner, Ralf and Schmidt, Heinz and Poernomo, Iman (2002) Using Parameterized Contracts for Component Reliability Prediction. In: Conference of Integrated Design and Process Science, Pasadena, USA, 2002.

Reussner, Ralf and Poernomo, Iman and Schmidt, Heinz (2002) Using the TrustME Tool Suite for Automatic Component Protocol Adaptation. In: Computational Science - ICCS 2002, International Conference, Amsterdam, The Netherlands, April 21-24, 2002, Proceedings, Part II.

Poernomo, Iman and Schmidt, Heinz (2001) An Architectural Description Language for Enterprise Computing. In: Working Conference on Complex and Dynamic Systems Architecture.

Crossley, John and Poernomo, Iman (2001) Fred: An approach to generating real, correct, reusable programs from proofs. Journal of Universal Computer Science, 7 (1). pp. 71-88.

Poernomo, Ananda and Poernomo, Iman (2001) Mosaic : Functional Programming for Set Theoretic Composition. In: Proceedings of the Second International Conference on Generative Systems in the Electronic Arts, Victoria, Australia, 5-7 December 2001.

Poernomo, Iman and Crossley, John (2001) Protocols between programs and proofs. In: Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers.

Schmidt, Heinz and Poernomo, Iman and Reussner, Ralf (2001) Trust-By-Contract: Modelling, Analysing and Predicting Behaviour in Software Architectures. Journal of Integrated Design and Process Science, 5 (3). pp. 25-51.

Crossley, John and Poernomo, Iman and Wirsing, Martin (2000) Extraction of structured programs from specification proofs. In: Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ‘99, Chateau de Bonas, September 15-18, 1999 Selected Papers.

Poernomo, Iman and Crossley, John and Jeavons, John and Basit, Bolis (1998) Reasoning in proofEd3. In: 1st IEEE YUFORIC Workshop on Formal Methods for Dependable Systems .

Poernomo, Iman and Tsaramirsis, George Prototype Generation from Ontology Charts. (Unpublished)

This list was generated on Tue Jul 29 12:04:25 2014 BST.