• Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
20042021

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2020

    Research on system resilience recovery based on time, spare parts and task importance

    Dou, K., Cui, X., Li, Z., Ge, X. & Sun, C. X., 1 Aug 2020, Conference Proceedings of the 8th International Symposium on Project Management, ISPM 2020. You, W., Cheng, C. & Zhang, H. (eds.). Aussino Academic Publishing House, Vol. 1 of 2. p. 1045-1058 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2018

    Analysing Railway Safety with Systems Thinking

    Zhang, Y., Ge, X., Yang, W. & Guo, J., 13 Mar 2018, ICRT 2017: Railway Development, Operations, and Maintenance - Proceedings of the 1st International Conference on Rail Transportation 2017. American Society of Civil Engineers (ASCE), p. 464-475 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    1 Citation (Scopus)
  • 2014

    Application of DTF method in disturbance propagation analysis of complex chemical process

    Li, K., Xie, L., Ge, X. & Wang, X., 2014, Proceedings of the 11th IEEE International Conference on Networking, Sensing and Control, ICNSC 2014. IEEE Computer Society, p. 685-689 5 p. 6819708

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2012

    Revealing Complexity through Domain-Specific Modelling and Analysis

    Paige, R. F., Brooke, P. J., Ge, X., Power, C. D. S., Burton, F. R. & Poulding, S., 2012, Large-Scale Complex IT Systems. : Development, Operation and Management - 17th Monterey Workshop 2012, Revised Selected Papers. Calinescu, R. & Garlan, D. (eds.). 1 ed. Springer, Vol. 7539. p. 251-265 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7539 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Citation (Scopus)
  • 2011

    Failures of a Business Process in Enterprise Systems

    Ge, X., Paige, R. F. & McDermid, J. A., 2011, ENTERprise Information Systems: International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011. Proceedings, Part I. Cruz-Cunha, M. M., Varajao, J., Powell, P. & Martinho, R. (eds.). PART 1 ed. Springer-Verlag Berlin Heidelberg, Vol. CCIS 219. p. 139-146 8 p. (Communications in Computer and Information Science; vol. 219, no. PART 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Citations (Scopus)
  • Model-Based Failure Analysis of Business Process

    Ge, X., Paige, R. F. & McDermid, J. A., 2011, ICEIS 2011: Proceedings of the 13th International Conference on Enterprise Information Systems. Zhang, R., Cordeiro, J., Li, X., Zhang, Z. & Zhang, J. (eds.). SciTePress, Vol. 4. p. 388-391 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • 2010

    Analysing System Failure Behaviours with PRISM

    Ge, X., Paige, R. F. & McDermid, J. A., 26 Jul 2010, SSIRI-C 2010: The Fourth IEEE International Conference on Secure Software Integration and Reliability Improvement Companion. Los Alamitos: IEEE, p. 130-136 7 p. 5521571

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    12 Citations (Scopus)
  • An Iterative Approach for Development of Safety-Critical Software and Safety Arguments

    Ge, X., Paige, R. F. & McDermid, J. A., 7 Sep 2010, Agile 2010 Conference. Fruedenberg, S. & Chao, J. (eds.). Los Alamitos, CA: IEEE, p. 35-43 9 p. 5562808

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    37 Citations (Scopus)
  • Use of Nodel Transformation For The Formal Analysis Of Railway Interlocking Models

    Xu, T., Santos, O. M., Ge, X. & Woodcock, J., 2010, Computers in Railways XII: Computer System Design and Operation in the Railway and Other Transit Systems, COMPRAIL 2010. Ning, B. & Brebbia, C. A. (eds.). WIT Press, Vol. 114. p. 815-826 12 p. (WIT Transactions on the Built Environment; vol. 114).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    1 Citation (Scopus)
  • 2009

    Domain analysis on an electronic health records system

    Ge, X., Paige, R. F. & McDermid, J. A., 9 Nov 2009, Proceedings of the 1st International Workshop on Feature-Oriented Software Development, FOSD in conjunction with MODELS/GPCE/SLE 2009. Association for Computing Machinery (ACM), p. 49-54 6 p. 1629727

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Citations (Scopus)
  • FPTC: Automated Safety Analysis for Domain-Specific Languages

    Paige, R. F., Rose, L. M., Ge, X., Kolovos, D. S. & Brooke, P. J., 2009, Models in Software Engineering: Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers. Chaudron, M. R. V. (ed.). 1 ed. Springer-Verlag Berlin Heidelberg, Vol. LNCS 5421. p. 229-242 14 p. (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 5421).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    11 Citations (Scopus)
  • Probabilistic Failure Propagation and Transformation Analysis

    Ge, X., Paige, R. F. & McDermid, J. A., 2009, Computer Safety, Reliability, and Security: 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings. Buth, B., Rabe, G. & Seyfarth, T. (eds.). 1 ed. Springer-Verlag Berlin Heidelberg, Vol. LNCS 5775. p. 215-228 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5775).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    30 Citations (Scopus)
  • 2008

    Towards Agile Engineering of High-Integrity Systems

    Paige, R. F., Charalambous, R., Ge, X. & Brooke, P. J., 2008, Computer Safety, Reliability, and Security: 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings. Harrison, M. D. & Sujan, M-A. (eds.). 1 ed. Springer-Verlag Berlin Heidelberg, Vol. LNCS 5219. p. 30-43 14 p. (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 5219).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    21 Citations (Scopus)
  • 2007

    Extreme Programming Security Practices

    Ge, X., Paige, R. F., Polack, F. & Brooke, P., 2007, Agile Processes in Software Engineering and Extreme Programming: 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings. Concas, G., Damiani, E., Scotto, M. & Succi, G. (eds.). 1 ed. Springer-Verlag Berlin Heidelberg, Vol. LNCS 4536. p. 226-230 5 p. (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 4536).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    17 Citations (Scopus)
  • 2006

    Agile Development of Secure Web Applications

    Ge, X., Paige, R. F., Polack, F. A. C., Chivers, H. & Brooke, P. J., 2006, ICWE'06: The Sixth International Conference on Web Engineering. Association for Computing Machinery (ACM), p. 305-312 8 p. (ACM International Conference Proceeding Series (ICPS)).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    33 Citations (Scopus)
  • 2005

    Agile Security Using an Incremental Security Architecture

    Chivers, H., Paige, R. F. & Ge, X., 2005, Extreme Programming and Agile Processes in Software Engineering: 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings. Baumeister, H., Marchesi, M. & Holcombe, M. (eds.). 1 ed. Springer-Verlag Berlin Heidelberg, Vol. LNCS 3556. p. 57-65 9 p. (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 3556).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    14 Citations (Scopus)
  • 2004

    Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment

    Ge, X., Polack, F. & Laleau, R., 2004, Advanced Information Systems Engineering: 16th International Conference, CAiSE 2004, Riga, Latvia, June 7-11, 2004. Proceedings. Persson, A. & Stirna, J. (eds.). 1 ed. Springer-Verlag Berlin Heidelberg, Vol. LNCS 3084. p. 234-247 14 p. (Lecture Notes in Computer Science; vol. 3084).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    8 Citations (Scopus)