Professor Malcolm Munro

Selected Publications

Refereed Journals

 

 1.          M. Basheri, E. L. Burd, M. Munro, and N. Baghaei, Collaborative Learning Skills in Multi-touch Tables for UML Software Design, International Journal of Advanced Computer Science and Applications (IJACSA), 4(3), Pages 60-66, 2013, ISSN : 2156-5570

 2.          Ling Liu, Malcolm Munro, Systematic analysis of centralized online reputation systems, Decision Support Systems, Volume 52, Issue 2, January 2012, Pages 438-449, ISSN 0167-9236, 10.1016/j.dss.2011.10.003.

 3.          X. Du, W. Song, and M. Munro, CbSSDF: A Two-Layer Conceptual Graph Approach to Web Services Description and Composition – A Scenario Based Solution Analysis and Comparison with OWL-S, International Journal of Information System Modelling and Design, IGI Global, 2011, DOI: 10.4018/jismd.2011100104, ISSN: 1947-8186

 4.          A. Alaraj and M. Munro, Enforcing Honesty in Fair Exchange Protocols, Emergent Web Intelligence: Advanced Semantic Technologies, Springer, ISBN: 978-1-84996-076-2, 2009

 5.          A. Alaraj and M. Munro, An Efficient e-Commerce Fair Exchange Protocol that Encourages Customer and Merchant to be Honest, Computer Safety, Reliability, and Security, Lecture Notes in Computer Science, Springer ,ISBN  978-3-540-87697-7, 193-206, 2008

 6.          A. Alaraj and M. Munro, An e-Commerce Fair Exchange Protocol that Enforces the Customer to be Honest, International Journal of Product Lifecycle Management, ISSN (Online): 1743-5129  -  ISSN (Print): 1743-5110, InderScience, 2008

 7.          K.B. Gallagher, A.S. Hatch, and M. Munro, Software Architecture Visualization: An Evaluation Framework and Its Application, IEEE Transactions on Software Engineering, ISSN 0098-5589, 2007

 8.          N. Looker, J. Xu, and M. Munro, Determining the Dependability of Service-Oriented Architectures, International Journal of Simulation and Process Modelling, 2007.

 9.          S. Ibrahim, M. Munro, and A. Deraman, A Requirements traceability to Support Change Impact Analysis, Asian Journal of Information Technology, 4(4) 2005, ISSN: 1682-3915

10.          N. Looker, M. Munro, J. Xu,, Simulating Errors in Web Services, International Journal of Simulation: Systems, Science & Technology, vol. 5, 2004, ISSN 1473-804x Online

11.          X. Zhang, M. Munro, M. Harman, L. Hu, Weakest Precondition for General Recursive Programs Formalized in Coq. in Theorem proving in higher order logics, Lecture Notes in Computer. Science., 2410,  Springer, Berlin, 2004; ISBN: 3-540-44039-9, pp , 332--347

12.          N.E. Gold, C. Knight, A. Mohan, M. Munro, Understanding Service-Oriented Software, IEEE Software, 21(2), 2004, pp71-77, ISSN 0740-7459

13.          M. Harman, L. Hu , M. Munro, X. Zhang, D. Binkley, S. Danicic, M. Daoudi   Syntax-Directed Amorphous Slicing, Journal of Automated Software Engineering, 11(1), 2004, pp 27-61, ISSN 0928-8910

14.          S. Shaw, M. Goldstein, M. Munro, and E. Burd, Moral Dominance Relations for Program Comprehension, IEEE Transactions on Software Engineering, 29(9), 2003, pp 851-863, ISSN 0098-5589

15.          Y.K. Jang, M. Munro, and Y.R. Kwon, An improved method of selecting regression tests for C++ programs, Journal of Software Maintenance and Evolution: Research and Practice, 13, pp 331-350, 2001, ISSN 1040-550X

16.          F. P. A. Coolen, M. Goldstein and M. Munro, Generalized partition testing via Bayes linear methods, Information and Software Technology, Elsevier Science, 43(13), pp 783-793, 2001, ISSN 0950-5849

 

 

Refereed Conferences

 

 1.          M. Basheri, E. L. Burd, M. Munro, and N. Baghaei , Enhancing Engagement and Collaborative Learning Skills in Multi-touch Software for UML Diagramming, International Conference on Computer Supported Collaborative Learning (CSCL 2013), 2013

 2.          M. Basheri, E. L. Burd, M. Munro, and N. Baghaei, Enhancing the Quality of Software Design through Multi-touch Interfaces, Frontiers in Education Conference (FIE 2013), 2013

 3.          I. Alfafli, and M. Munro, Citizen Centered e-Government Services Assessment Framework, European Conference on e-Government (ECEG 2013), 2013

 4.          A. Ngah, M. Munro, and K. Gallagher, Regression Test Selection Model using Decomposition Slicing, IASTED International Conference on Software Engineering (SE 2012), 2012

 5.          M. Abdullah, and M. Munro, A Static Robustness Grid Using MISRA C2 Language Rules, International Conference on Software Engineering Advances (ICSEA 2011), 2011

 6.          L. Liu,, and M. Munro, Evaluation of Collecting Reviews in Centralize Online Reputation Systems, Web Information Systems and Technologies (WEBIST), 2010

 7.          A.M. Alnajim, and M. Munro, An Approach to the Implementation of the Anti-Phishing Tool for Phishing Websites Detection, International Conference on Intelligent Networking and Collaborative Systems (INCOS '09 ), 2009

 8.          X. Du, W. Song, and M. Munro, CbSSDF and OWL-S, A Scenario based Solution Analysis and Comparison, International Conference on Information System development (ISD2009), 2009

 9.          A. Alnajim and M. Munro, An Evaluation of Users' Tips Effectiveness for Phishing Websites Detection and Prevention, International Conference on Digital Information Management (ICDIM 2008), 2008

10.          A. Alaraj and M. Munro, An Efficient e-Commerce Fair Exchange Protocol that Encourages Customer and Merchant to be Honest, International Conference on Computer Safety, Reliability and Security (SAFECOMP 208), 2008

11.          S. Hanna, and M. Munro, Fault-Based Web Service Testing, IEEE International Conference on Information Technology : New Generations (ITNG 2008), 2008

12.          A. Alaraj and M. Munro, An Efficient Fair Exchange Protocol that Enforces the Merchant to be Honest, International Conference on Collaborative Computing: Networking, Applications and Worksharing (COLLABORATECOM 2007), 2007

13.          A. Alaraj and M. Munro, An e-Commerce Fair Exchange Protocol for Exchanging Digital Products and Payments, IEEE International Conference on Digital Information Management (ICDIM’07), 2007

14.          S. Hanna, and M. Munro, Fault-Based Web Service Testing, IEEE International Conference on Information Technology : New Generations (ITNG 2008), 2008

15.          A. Alaraj and M. Munro, An Efficient Fair Exchange Protocol that Enforces the Merchant to be Honest, International Conference on Collaborative Computing: Networking, Applications and Worksharing (COLLABORATECOM 2007), 2007

16.          A. Alaraj and M. Munro, An e-Commerce Fair Exchange Protocol for Exchanging Digital Products and Payments, IEEE International Conference on Digital Information Management (ICDIM’07), 2007

17.          S. Hanna, and M. Munro, An Approach for WSDL-based Automated Robustness Testing of Web Services, International Conference on Information System development (ISD2007), 2007

18.          X. Du, W. Song, and M. Munro, Semantic service Description Framework for Addressing Imprecise Service Requirements, International Conference on Information System development (ISD2007), 2007

19.          S. Hanna, and M. Munro, An Approach for Specification-based Test case Generation for Web Services, ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), 2007

20.          X. Du, W. Song, and M. Munro, Semantics Recognition in Service Composition Using Conceptual Graphs, International Workshop on Semantics in Virtual Organizations and Web Services (SVO&WS), 2006

21.          X. Du, W. Song, and M. Munro, Service Composition in the Context of the Grid, UK e-Science All Hands Meeting 2006

22.          X. Du, W. Song, and M. Munro, Using Common Process Patterns for Semantic Web Services Composition, International Conference on Information Systems Development, 2006

23.          N. Looker, L. Burd, S. Drummond, J. Xu, M. Munro, Pedagogic Data as a Basis for Web Service Fault Models, IEEE International Workshop on Service-Oriented System Engineering (SOSE'05), pp. 125-136, 2005

24.          M.P. Smith and M. Munro, Identifying Structural Features of Java Programs by Analysing the Interaction of Classes at Runtime, International Workshop on Visualizing Software for Understanding and Analysis (VISSOFT), IEEE, 2005

25.          N. Looker, M. Munro, J. Xu, A Comparison of Network Level Fault Injection with Code Insertion, 29th Annual International Computer Software and Applications Conference, (COMPSAC), 2005.

26.          N. Looker, J. Xu, M. Munro, Increasing Web Service Dependability Through Consensus Voting, 2nd International Workshop on Quality Assurance and Testing of Web-Based Applications, COMPSAC 2005.

27.          N. Looker, B. Gwynne, J.Xu, M. Munro, An Ontology-Based Approach for Determining the Dependability of Service-Oriented Architectures, 10th IEEE International Workshop on Object-oriented Real-time Dependable Systems, 2005.

28.          S. Ibrahim, N.B. Idris, M. Munro, and A. Deraman, Implementing A Document-Based Requirements Traceability : A Case Study, IASTED International Conference on Software Engineering (SE 2005), 2005

29.          N. Looker and M. Munro, Assessing Web Service Quality of Service with Fault Injection, Workshop on Quality of Service for Application Servers in conjunction with  IEEE Symposium on Reliable Distributed Systems, Brazil, 2004.

30.          M.P. Smith, and M. Munro, Providing a user customisable tool for software visualisation at runtime, IASTED International Conference on Visualization, Imaging and Image Processing (VIIP 2004), 2004

31.          S. Charters, N.S. Holliman, and M. Munro, Distributing Stereoscopic Scientific Visualisation across the Grid, Computer Graphics and Imaging (CGIM 2004), 2004

32.          N. Looker, M. Munro, and J. Xu, WS-FIT: A Tool for Dependability Analysis of Web Services, 1st Workshop on Quality Assurance and Testing of Web-Based Applications in association with the 28th IEEE Annual International Computer Software and Applications Conference (COMPSAC), 2004

33.          N. Looker, M. Munro, and J. Xu, Practical Dependability Analysis of SOAP Based Systems, UK e-Science All Hands Meeting 2004

34.          S.M. Charters, N.S. Holliman, M. Munro, Visualisation on the Grid: A Web Service Approach, UK e-Science All Hands Meeting 2004

35.          S. M. Charters, N. S. Holliman and M. Munro, Visualisation in e-Demand: A Grid Service Architecture for Stereoscopic Visualisation, UK eScience Second All-Hands Meeting, 2003, ISBN 1-904425-11-9

36.          X. Zhang, M. Munro, M. Harman, L. Hu, Formal Verification of Communication Protocol using Type Theory, International Conference on Communications Technology (ICCT 2003)

37.          S. Charters, N. Thomas, M. Munro, The end of the line for Software Visualisation?, IEEE VISSOFT 2003

38.          M. Harman, L. Hu , R. Herions, M. Munro, X. Zhang, J.J. Dolado, M.C. Otero, J. Wegener,  A Post-Placement Side-Effect Removal Algorithm International Conference on Software Maintenance, IEEE ,pp 2-11,  2002, ISSN 1063-6773

39.          M. Harman, L. Hu , M. Munro, X. Zhang, S. Danicic, M. Daoudi   An Inter procedural Amorphous Slicer for WSL 2nd International Workshop on Source Code Analysis and Manipulation (SCAM 2002), IEEE, 2002, pp 105-114,  ISBN 0-7695-1793-5

40.          X. Zhang, M. Munro, M. Harman, L. Hu , Mechanized Operational Semantics of WSL 2nd International Workshop on Source Code Analysis and Manipulation (SCAM 2002), IEEE, 2002, pp 73-84,  ISBN 0-7695-1793-5

41.          C. Knight, M. Munro. Program Comprehension Experiences with GXL; comprehension for Comprehension International Workshop on Program Comprehension, IEEE, 2002, pp147-156, ISSN 1092-8138

42.          C.Taylor,  M.Munro, Revision Towers, 1st International Workshop on Visualizing Software for Understanding and Analysis (VISSOFT), IEEE, 2002,  pp43-50, ISBN 0-7695-1662-9

43.          M.Smith, M. Munro, Runtime Visualisation of Object Oriented Software, 1st International Workshop on Visualizing Software for Understanding and Analysis (VISSOFT), IEEE, 2002,  pp43-50, ISBN 0-7695-1662-9

44.          C. Knight, M.A. Storey, M. Munro (Editors), IEEE Proceedings of the First International Workshop on Visualizing Software for Understanding and Analysis, ISBN 0-7695-1662-9

45.          S. Charters, C. Knight, N. Thomas, M. Munro, Visualisation for Information and Decision Support; From Code to Components, Workshop on Software Engineering Decision Support, SEKE'02, 2002, pp. 765-772, ISBN:1-58113-556-4

46.          X. Zhang, M. Munro, M. Harman, L. Hu, Weakest Precondition for General Recursive Programs Formalized in Coq. International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2002), 2002

47.          P. Townend, J. Xu, and M. Munro, Building embedded Fault-Tolerant Systems for Critical Applications: An Experimental Study, IFIP WCC 2002 (Distributed and Parallel Embedded Systems), 2002

48.          K Bennett, J Xu, M Munro, P Layzell, N Gold, D Budgen, P Brereton, Prototype Implementation of an Architectural Model for Service Based Flexible Software, Proc. 35th Hawaii International Conference on System Sciences, IEEE Press, 2002, ISBN 0-7695-1435-9

49.          K Bennett, J Xu, M Munro, Z Hong, P Layzell, N Gold, D Budgen, and P Brereton An Architectural Model for Service-based Flexible Software. Proceedings of COMPSAC'01, Chicago, October 2001, IEEE Computer Society Press, ISBN 0-7695-1372-7, pp137-142, ISBN 0-7695-1372-7

50.          K. Bennett, M. Munro, N. Gold, P. Layzell, D. Budgen, P. Brereton, An Architectural Model for Service-Based Software with Ultra Rapid Evolution, International Conference on Software Maintenance, IEEE, 2001, pp292-300, ISBN 0-7695-1189-9

51.          M. Harman, L. Hu, X. Zhang, M. Munro, Side-Effect Removal Transformation, International Workshop on Program Comprehension, IEEE, 2001, ISSN 1063-6773

52.          C. Knight, M. Munro. Mediating Diverse Visualisations for Comprehension. International Workshop on Program Comprehension, IEEE, 2001, ISSN 1063-6773

53.          M. Harman, L. Hu, X. Zhang, M. Munro, GUSTT: An Amorphous Slicing System which Combines Slicing and Transformations, Working Conference on Reverse Engineering, IEEE, 2001, pp 271-280, ISSN 1095-1350

54.          P. Townend, J. Xu, and M. Munro, Building Dependable Software for Critical Applications: Multi-version software versus one good one, IEEE/IFIP International Conference on Dependable Systems and Networks, 2001

55.          A.S. Hatch, M.P. Smith, C.M.B. Taylor, and M. Munro, No Silver Bullet in Software Visualisation Evaluation, Workshop on Fundamental Issues of Visualisation, CISST,2001

56.          C. Knight, M. Munro. Towards Automatic Adaptation of Data Interfaces, UAHCI 2001

57.          C. Knight, M. Munro. Visual Information; Amplifying and Foraging, SPIE Visual Data Exploration and Analysis, San Jose, USA, January 2001, ISBN 0-8194-3980-0