Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

Dr. Xiaocheng Ge

(Former)

  1. 2012
  2. A Systematic Analysis of the Wenzhou High Speed Train Accident Using STAMP

    Niu, R., Ge, X., McDermid, J. A. & Tang, T., Aug 2012, 30th International System Safety Conference : ISSC. The International System Safety Society

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Revealing Complexity through Domain-Specific Modelling and Analysis

    Paige, R. F., Brooke, P. J., Ge, X., Power, C. D., Burton, F. R. & Poulding, S. M., 2012, Large-Scale Complex IT Systems. Development, Operation and Management. Springer, Vol. 7539 LNCS. p. 251-265 15 p. (Lecture Notes in Computer Science; vol. 7539).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. 2011
  5. Failures of a Business Process in Enterprise Systems

    Ge, X., Paige, R. F. & McDermid, J. A., 2011, CENTERIS 2011, Part I: CCIS. Cruz-Cunha, M. (ed.). PART 1 ed. Springer Berlin / Heidelberg, Vol. 219 CCIS. p. 139-146 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. 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, Volume 3, Beijing, China. 8-11 June, 2011. SciTePress, Vol. 3 ISAS. p. 388-391 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. 2010
  8. Analysing System Failure Behaviours with PRISM

    Ge, X., Paige, R. F. & McDermid, J. A., Jun 2010, Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion (SSIRI-C). p. 130-136 6 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  9. An Iterative Approach for Development of Safety-Critical Software and Safety Arguments

    Ge, X., Paige, R. F. & McDermid, J. A., 2010, AGILE Conference, 2010. IEEE, p. 35-43 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Use of model transformation for the formal analysis of railway interlocking models

    Xu, T., Santos, O. M., Ge, X. & Woodcock, J., 2010, Computers in Railways XII, COMPRAIL 2010. p. 815-826 12 p. (WIT Transactions on the Built Environment; vol. 114).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. 2009
  12. Domain Analysis of an Electronic Health records System

    Ge, X., Paige, R. F. & McDermid, J. A., 2009, FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development . New York: ACM, p. 49-54 5 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  13. FPTC: Automated Safety Analysis for Domain-Specific Languages

    Paige, R. F., Rose, L. M., Ge, X., Kolovos, D. S. & Brooke, P. J., 2009, p. 229-242.

    Research output: Contribution to conferencePaperpeer-review

  14. Probabilistic Failure Propagation and Transformation Analysis

    Ge, X., Paige, R. F. & McDermid, J. A., 2009, SAFECOMP '09 : Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security. Berlin, Heidelberg: Springer-Verlag, p. 215-228 14 p. (Lecture Notes In Computer Science; vol. 5775).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. 2008
  16. Towards Agile Engineering of High-Integrity Systems

    Paige, R. F., Charalambous, R., Ge, X. & Brooke, P. J., 2008, COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS. Harrison, MD. & Sujan, MA. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5219 LNCS. p. 30-43 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  17. Towards Agile Engineering of High-Integrity Systems

    Paige, R. F., Charalambous, R., Ge, X. & Brooke, P. J., 2008, p. 30-43. 13 p.

    Research output: Contribution to conferencePaperpeer-review

  18. 2007
  19. Extreme Programming Security Practices

    Ge, X., Paige, R. F., Polack, F. & Brooke, P. J., 2007, p. 226-230. 4 p.

    Research output: Contribution to conferencePaperpeer-review

  20. Extreme programming security practices

    Ge, X., Paige, R. F., Polack, F. & Brooke, P., 2007, Agile Processes in Software Engineering and Extreme Programming, Proceedings. Concas, G., Damiani, E., Scotto, M. & Succi, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 226-230 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. 2006
  22. Agile development of secure web applications

    Ge, X., Paige, R. F., Polack, F., Chivers, H. & Brooke, P. J., 2006, p. 305-312. 7 p.

    Research output: Contribution to conferencePaper

  23. 2005
  24. Agile Security Using an Incremental Security Architecture

    Chivers, H., Paige, R. F. & Ge, X., 2005, p. 57-65. 8 p.

    Research output: Contribution to conferencePaperpeer-review

  25. Agile security using an incremental security architecture

    Chivers, H., Paige, R. F. & Ge, X. C., 2005, EXTREME PROGRAMMING AND AGILE PROCESSES IN SOFTWARE ENGINEERING, PROCEEDINGS. Baumeister, H., Marchesi, M. & Holcombe, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 57-65 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  26. Flexible Dynamic Binding in Agile Grid Development

    Cakic, J., Paige, R., Chivers, H., Ge, X., McDermid, J. & Austin, J., 2005.

    Research output: Contribution to conferencePaperpeer-review

  27. 2004
  28. Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment

    Ge, X., Polack, F. & Laleau, R., 2004, p. 234-247.

    Research output: Contribution to conferencePaper

  29. Secure databases: An analysis of Clark-Wilson model in a database environment

    Ge, X. C., Polack, F. & Laleau, R., 2004, ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS. Persson, A. & Stirna, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 234-247 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution