An iterative approach for development of safety-critical software and safety arguments X Ge, RF Paige, JA McDermid 2010 Agile Conference, 35-43, 2010 | 99 | 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 | 91 | 2006 |
Probabilistic failure propagation and transformation analysis X Ge, RF Paige, JA McDermid International Conference on Computer Safety, Reliability, and Security, 215-228, 2009 | 68 | 2009 |
Agile security using an incremental security architecture H Chivers, RF Paige, X Ge Extreme Programming and Agile Processes in Software Engineering: 6th …, 2005 | 66 | 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 | 52 | 2018 |
Towards agile engineering of high-integrity systems RF Paige, R Charalambous, X Ge, PJ Brooke International Conference on Computer Safety, Reliability, and Security, 30-43, 2008 | 52 | 2008 |
Secure databases: an analysis of Clark-Wilson model in a database environment X Ge, F Polack, R Laleau International Conference on Advanced Information Systems Engineering, 234-247, 2004 | 38 | 2004 |
Extreme programming security practices X Ge, RF Paige, F Polack, P Brooke International Conference on Extreme Programming and Agile Processes in …, 2007 | 37 | 2007 |
FPTC: automated safety analysis for domain-specific languages RF Paige, LM Rose, X Ge, DS Kolovos, PJ Brooke International Conference on Model Driven Engineering Languages and Systems …, 2008 | 31 | 2008 |
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 | 21 | 2012 |
Analysing system failure behaviours with PRISM X Ge, RF Paige, JA McDermid 2010 Fourth International Conference on Secure Software Integration and …, 2010 | 20 | 2010 |
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 |
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 | 19 | 2011 |
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 | 9 | 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 |
Failures of a business process in enterprise systems X Ge, RF Paige, JA McDermid International Conference on ENTERprise Information Systems, 139-146, 2011 | 8 | 2011 |
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 |