• 218 Citations
  • 9 h-Index
20042019

Research output per year

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

Research Output

2019

System Dynamics Model for High-Speed Railway Operation Safety Supervision System Based On Evolutionary Game Theory

Li, K., Zhang, Y., Guo, J., Ge, X. & Su, Y., 25 May 2019, In : Concurrency Computation. 31, 10, 10 p., e4743.

Research output: Contribution to journalArticle

3 Citations (Scopus)
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
1 Citation (Scopus)

Multipath Ultrasonic Gas Flow-Meter Based on Multiple Reference Waves

Zhou, H., Ji, T., Wang, R., Ge, X., Tang, X. & Tang, S., Jan 2018, In : Ultrasonics. 82, p. 145-152 8 p.

Research output: Contribution to journalArticle

Open Access
14 Citations (Scopus)
2017

Pressure measurement based on multi-waves fusion algorithm

Zhou, H., Zhou, H., Zhang, H., Ge, X., Zhao, Y. & Lin, W., May 2017, In : IET Science, Measurement and Technology. 11, 3, p. 354-362 9 p.

Research output: Contribution to journalArticle

Open Access
1 Citation (Scopus)
2016

A Non-Intrusive Pressure Sensor by Detecting Multiple Longitudinal Waves

Zhou, H., Lin, W., Ge, X. & Zhou, J., 5 Aug 2016, In : Sensors. 16, 8, 11 p., 1237.

Research output: Contribution to journalArticle

Open Access
2 Citations (Scopus)

Failure Propagation Modeling and Analysis via System Interfaces

Zhao, L., Thulasiraman, K., Ge, X. & Niu, R., 5 Apr 2016, In : Mathematical Problems in Engineering. 2016, 12 p., 8593612.

Research output: Contribution to journalArticle

Open Access
2015

Agile development of security- critical enterprise system

Ge, X., 28 Feb 2015, Standards and Standardization: Concepts, Methodologies, Tools, and Applications. IGI Global, p. 629-651 23 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

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

Applying system thinking to learn from accident of modern automatic control systems

Niu, R., Cao, Y., Ge, X. & Tang, T., Apr 2014, In : Chinese Journal of Electronics. 23, 2, p. 409-414 6 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)
2013

Multiple Approaches to the Diagnosis of Attention Deficit Hyperactivity Disorder

Rijo, R., Martinho, R. & Ge, X., 2013, In : International Journal of Healthcare Information Systems and Informatics. 8, 4, p. 44-57 14 p., 4.

Research output: Contribution to journalArticle

1 Citation (Scopus)
2012

International Workshop on Agility of Enterprise Systems (AgilES 2012)

Ge, X., 2012, Advanced Information Systems Engineering Workshops: CAiSE 2012 International Workshops, Gdańsk, Poland, June 25-26, 2012, Proceedings. Bajec, M. & Eder, J. (eds.). 1 ed. Springer, Vol. 112. p. XXX 1 p. (Lecture Notes in Business Information Processing; vol. LNBIP 112).

Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

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)

High-integrity agile processes for the development of safety critical software

Paige, R. F., Galloway, A., Charalambous, R., Ge, X. & Brooke, P. J., 2011, In : International Journal of Critical Computer-Based Systems. 2, 2, p. 181-216 36 p.

Research output: Contribution to journalArticle

4 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

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

Automated Safety Analysis for Domain-Specific Languages

Paige, R. F., Rose, L. M., Ge, X., Kolovos, D. S. & Brooke, P. J., 2008, In : CEUR Workshop Proceedings. 394, 15 p.

Research output: Contribution to journalConference article

Open Access

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

20 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

16 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

30 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

7 Citations (Scopus)