• 204 Citations
  • 9 h-Index
20042019

Research output per year

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

Research Output

Filter
Conference contribution
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 contribution

Open Access
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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

33 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 contribution

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 contribution

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 contribution

10 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 contribution

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 contribution

19 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 contribution

15 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 contribution

28 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 contribution

13 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 contribution

6 Citations (Scopus)