An iterative approach for development of safety-critical software and safety arguments X Ge, RF Paige, JA McDermid 2010 Agile Conference, 35-43, 2010 | 98 | 2010 |
Agile development of secure web applications X Ge, RF Paige, FAC Polack, H Chivers, PJ Brooke Proceedings of the 6th international conference on Web engineering, 305-312, 2006 | 90 | 2006 |
Probabilistic failure propagation and transformation analysis X Ge, RF Paige, JA McDermid Computer Safety, Reliability, and Security: 28th International Conference
, 2009 | 66 | 2009 |
Agile security using an incremental security architecture H Chivers, RF Paige, X Ge Extreme Programming and Agile Processes in Software Engineering: 6th
, 2005 | 64 | 2005 |
Multipath ultrasonic gas flow-meter based on multiple reference waves H Zhou, T Ji, R Wang, X Ge, X Tang, S Tang Ultrasonics 82, 145-152, 2018 | 53 | 2018 |
Towards agile engineering of high-integrity systems RF Paige, R Charalambous, X Ge, PJ Brooke Computer Safety, Reliability, and Security: 27th International Conference
, 2008 | 52 | 2008 |
Secure databases: an analysis of Clark-Wilson model in a database environment X Ge, F Polack, R Laleau Advanced Information Systems Engineering: 16th International Conference
, 2004 | 39 | 2004 |
Extreme programming security practices X Ge, RF Paige, F Polack, P Brooke Agile Processes in Software Engineering and Extreme Programming: 8th
, 2007 | 37 | 2007 |
FPTC: automated safety analysis for domain-specific languages RF Paige, LM Rose, X Ge, DS Kolovos, PJ Brooke Models in Software Engineering: Workshops and Symposia at MODELS 2008
, 2009 | 32 | 2009 |
Introducing goal structuring notation to explain decisions in clinical practice X Ge, R Rijo, RF Paige, TP Kelly, JA McDermid Procedia Technology 5, 686-695, 2012 | 20 | 2012 |
High-integrity agile processes for the development of safety critical software RF Paige, A Galloway, R Charalambous, X Ge, PJ Brooke International Journal of Critical Computer-Based Systems 2 (2), 181-216, 2011 | 20 | 2011 |
System dynamics model for high‐speed railway operation safety supervision system based on evolutionary game theory K Li, Y Zhang, J Guo, X Ge, Y Su Concurrency and computation: practice and experience 31 (10), e4743, 2019 | 19 | 2019 |
Analysing system failure behaviours with PRISM X Ge, RF Paige, JA McDermid 2010 Fourth International Conference on Secure Software Integration and
, 2010 | 19 | 2010 |
Applying system thinking to learn from accident of modern automatic control systems R Niu, Y Cao, X Ge, T Tang Chinese Journal of Electronics 23 (2), 409-414, 2014 | 12 | 2014 |
Domain analysis on an electronic health records system X Ge, RF Paige, JA McDermid Proceedings of the First International Workshop on Feature-Oriented Software
, 2009 | 12 | 2009 |
Failure propagation modeling and analysis via system interfaces L Zhao, K Thulasiraman, X Ge, R Niu Mathematical Problems in Engineering 2016 (1), 8593612, 2016 | 10 | 2016 |
A non-intrusive pressure sensor by detecting multiple longitudinal waves H Zhou, W Lin, X Ge, J Zhou Sensors 16 (8), 1237, 2016 | 8 | 2016 |
Automated safety analysis for domain-specific languages RF Paige, LM Rose, X Ge, DS Kolovos, PJ Brooke Workshop on Non-Functional System Properties in Domain Specific Modeling
, 2008 | 8 | 2008 |
Towards agile re-engineering of dependable grid applications RF PAIGE, J CAKIC, X GE, H CHIVERS Software & systems engineering and their applications, 1.1-1.7, 2004 | 8 | 2004 |
Revealing complexity through domain-specific modelling and analysis RF Paige, PJ Brooke, X Ge, CDS Power, FR Burton, S Poulding Large-Scale Complex IT Systems. Development, Operation and Management: 17th
, 2012 | 7 | 2012 |