Journals and Conferences

 

This page provides selected publications relevant to this research area. The university maintains an online database of research publications called IRIS which may be searched for a more complete list.

Publications of the Safety Systems Research Centre are listed below arranged according to the year and types of publication,

 

 

 

 

 

 

 

 

2008

Conference Contributions

van Wijk, Lorenzo, G.A., Taylor, Richard, H., May, John, H.R., Cultural and Organizational Factors Leading to Major Events, International Topical Meeting on Safety of Nuclear Installations (TopSafe 2008), Dubrovnik, Croatia, 30/9 – 3/10, 2008, pp. A1-048-1 – A1-048-16, ISBN 978-92-95064-06-5.

Journal Articles

(Return to top page)

 


2007

Conference Contributions

Brito, Mario, May, John, H.R., 'Optimization of Safety Critical Software Development Processes', Proceedings of the European Safety and Reliability Conference (ESREL 2007), Stavanger, Norway, 25-27 June, 2007.

Brito, Mario, May, John, H.R., 'Safety Critical Software Process Improvement by Multi-Objective Optimisation Algorithms', Proceedings of the International Conference on Software Process (ICSP 2007) - Coping with Software Process Dynamics and Agility, Minneapolis, USA, 19-20 May, 2007.

Gallardo, Guillermo, May, John, H.R., Gallardo, Julio, Kuball, Silke, Chen, Luping, 'Assessing Diagnostic Techniques for Fault Tolerance in Software', Proceedings 53rd Annual Reliability & Maintainability Symposium (RAMS), Orlando, Florida, USA, January 22-25, 2007.

Journal Articles

(Return to top page)

 


2006

Conference Contributions

Gallardo, Guillermo, May, John, H.R., Gallardo, Julio, 'Assessment of Data Diversity Methods for Software Fault Tolerance Based on Mutation Analysis', Proceedings 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 06), Raleigh, North Carolina, USA, 7-10 November 2006.

Brito, Mario, May, John, H.R., ‘Gaining confidence in the Software Development Process using Expert Systems’, Proceedings of the 25th International Conference (SAFECOMP 2006) - Computer Safety, Security and Reliability, Gdansk Poland, 26-29 September 2006.

Kuball, Silke, May, John, H.R., ‘Building statistical test-cases for smart device software: an example’, Proceedings of 1st International IEE conference on system safety, London, UK, July 2006.

Brito, Mario, May, John, H.R., Gallardo, Julio, Fergus, Ed, ‘Use of Graphical Probabilistic Models to build SIL claims’, Proceedings of the 14th Safety Critical Systems Symposium - Developments in Risk-based Approaches to Safety, Bristol, UK, 7-9 February 2006.

Kuball, Silke, May, John, H.R., ‘Application of statistical testing to smart device code’, Proceedings of RAMS 2006, Newport Beach, CA, USA, January 2006.

May, John, H.R., Ponomarev, Maxim, Kuball, Silke, Gallardo, Julio, C., ‘A case for new statistical software testing methods’, Proceedings of RAMS’2006, Newport Beach, CA, USA, January 2006.

(Return to top page)

 


2005

Conference Contributions

May, John, H.R., Ponomarev, Maxim, Kuball, Silke, Gallardo, Julio, 'The Need for New Statistical Sofware Testing Models', UKTest2005: UK Software Testing Research Workshop, Proceedings at the http://www.dcs.shef.ac.uk/~phil/uktest2005/, pp.99-102, 2005.

van Wijk, Lorenzo, G.A., Blockley, David, I., 'A Systems Approach for Assessing Nuclear Non Proliferation', 29thESReDA Seminar Systems Analysis for a More Secure World: Application of System Analysis and RAMS to Security of Complex Systems, Ispra, Italy, October 25-26, 2005.

(Return to top page)

 


2004

Conference Contributions

Chen, Luping, May, John, H.R., 'Methods for Enhanced Safety Wrapper Design', Workshop on Safety, Proceedings of Reliability and Security of Industrial Computer Systems, 2004.

Chen, Luping, May, John, H.R., 'Safety Assessment of Systems Embedded with COTS Components using the PIP Technique in Testing of Component-Based Systems and Software Quality', Procs. Net.ObjectDays, 2004 Workshop-testing Components Based Systems, 2004, ISSN 1617-5468, ISBN 3885793873.

Kuball, I.S., May, John, H.R., 'Defining Statistical Testing-Cases for Safety-Related Applications', Proceedings of the International Systems Safety Conference, 2004.

Kuball, I.S., May, John, H.R., 'Statistical Testing of Safety-Related Applications', 5th International Conference on Control and Instrumentation in Nuclear Installations, 2004.

Kuball, I.S., May, John, H.R., 'Test Adequacy and Statistical and Testing: Combining different Properties of a Test-Set', 15th Int. Symposium on Software Reliability Engineering (ISSRE'04) St Malo, November 2004.

Mao, Xiaoguong, May, John, H.R., 'A Framework for Integrated Testing using AspectJ', International Workshop on Aspect-Oriented Software Development (WAOSD 2004), Part of 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004) Beijing, China 26-30 September, 2004. 

Mao, Xiaoguong, May, John, H.R., 'Reliability Specification for Component-Based Software', 8th IASTED International Conference on Software Engineering and Applications (SEA 2004), 2004.

Journal Articles

Kuball, I.S., Hughes, Gordon, May, John, H.R., Gallardo, Julio, C., 'The effectiveness of statistical testing when applied to logic systems', Safety Science, V. 42, pp. 369-383, 2004.

(Return to top page)

 


2003

Conference Contributions

Chen, Luping, May, John, H.R., 'Assessment of Diverse Protection Systems using Fault Injection', Proceeding International Conference on Software Engineering and Applications (SEA), November 3-5, Marina del Rey, CA, USA, 2003

Journal Articles

Chen, Luping, May, John, H.R. & Hughes, G. 'Assessment of the Benefit of Redundant Systems', Lecture notes in Computer Science, Springer, September, V. 2434, pp. 151-162, 2003

Popov, Strigini, Lorenzo, May, John, H.R., Kuball, I.S., 'Estimating bounds on the reliability of diverse systems', IEEE Trans. on Software Engineering, V. 29, pp. 345-359, 2003

(Return to top page)

 


2002

Conference Contributions

May, John, H.R., 'Statistical Testing and Formal Proof methods: a combined approach to verification of software built with re-used components', Proceeding International Conference on Software Engineering and Applications (SEA), MIT, Cambridge, November, 2002.

May, John, H.R., 'Testing the reliability of component-based safety critical software', 20th International System Safety Conference, Denver, Thomason S. editor, pp. 214-224. System Safety Society, August 2002, (56207 bytes). 

Journal Articles

Chen, Luping, May, John, H.R. & Hughes, G. "Assessment of the Benefit of redundant Systems." Lecture notes in Computer Science 2434, Springer, (pp. 151-162), 2002.

(Return to top page)

 


2001

Conference Contributions

Chen, Luping, May, John, H.R., Hughes, Gordon, 'Modelling and Estimation of Safety-Critical Systems by Fault Simulation', Proceeding 5th International Conference on Reliability, Maintainability and Safety, Dalian, China, 28-31 August, 2001.

Hughes, Gordon, May, John, H.R., 'Recent Contributes to System Modelling and Analysis', Proceeding 9th Safety-Critical Systems Symposium, 2001.

Hughes, Gordon, May, John, H.R., 'Recent Research on some Fundamental Safety Issues', 19th International System Safety Conference, Huntsville, 2001.

Kuball, I.S., Hughes, Gordon, May, John, H.R., Gallardo, Julio, Carter, 'The effectiveness of statistical testing when applied in logic systems', Proceeding SAFECOMP, Budapest, 25-28 September, 2001.

May, John, H.R., Chen, Luping, Hughes, Gordon, 'Estimation of software diversity by fault simulation and failure searching', Proceeding 12th International Symposium on Software Reliability Engineering (ISSRE), Hong Kong, 2001.

Journal Articles

Burgess, Dattani, Hughes, Gordon, May, John, H.R., Rees, 'Using influence diagrams to aid the management of software change', Requirements Engineering Journal, V. 6, pp. 173-182, 2001.

Kuball, Silke, Hughes, Gordon, May, John, H.R., Gallardo, Julio, John, Andrew, Carter, Roy, ‘The Effectiveness Of Statistical Testing When Applied To Logic Systems’, Lecture Notes in Computer Science, V. 2187, pp. 168-177, September 2001. 

Kuball, Silke, 'Scenario-Based System Assessment', Lecture Notes in Computer Science, V. 2043, pp. 241-252, May 2001.  

(Return to top page)

 


2000

Conference Contributions

Chen, Luping, May, John, H.R., Hughes, Gordon, ‘Software Diversity Assessment Based on Input Space Decomposition’, The Fifth International Conference on Computer Science and Informatics, pp. 623-627, March 2000. 

Hughes, Gordon, May, John, H.R., Kuball, Silke, ‘The Development and Application of Structural Statistical System Testing’, Int Conf on Control and Instrumentation in Nuclear Installations, Dr S Johnson Editor, pp. 4-2, Institution of Nuclear Engineers, November 2000.

Hughes, Gordon, May, John, H.R., Kuball, Silke, ‘The development and application of structural statistical system testing’, Int. Conf. on C\I in Nuclear Installations, P Uyanneh Editor, pp. 111-126, Institute of Nuclear Engineers, November 2000. 

Kuball, Silke, May, John, H.R., Hughes, Gordon, ‘Software Reliability Assessment for Branching Structures: A Hierarchical Approach’, Proceedings on the Second International Conference on Mathematical Methods in Reliability, MMR 2000, Nikulin, Mikhail, Limnios, Nikolaos Editors, pp. 655-658, University Victor Segalen, July 2000, (62945 bytes). 

Journal Articles

Napier, John, Chen, Luping, May, John, H.R., Hughes, Gordon, ‘Fault Simulating to validate fault-tolerance in Ada’, International Journal of Computer Systems, V.15 (1), pp. 61-67, January 2000, ISSN 0267-6192. 

(Return to top page)

 


1999

Conference Contributions

Burgess, C.J., Dattani, I., Hughes, Gordon, May, John, H.R., Rees, K., ‘Using Influence Diagrams in Software Change Management’, 7th International Conference on Software Quality Management (SQM'99), Software Quality Management VII, pp. 177-187, British Computer Society, March 1999, pdf file 124775 bytes

Chen, Luping, Napier, John, May, John, H.R., Hughes, Gordon, ‘Testing the diversity of multi-version software using fault injection’, Procs. of the Safety and Reliability Society Symposium: Advances in Safety and Reliability, pp. 13-1, SARS Ltd, June 1999. 

Giraud-Carrier, C., Dattani, I., Corley, S., 'Case Base Management through Induction', Proceedings of the IJCAI99 Workshop on Automating the Construction of Case Based Reasoners, 1999. 

Bradley, J., Davies, N., ‘Measuring Improved Reliability in Stochastic SystemsProceedings of the 15th Annual UK Performance Engineering Workshop, pp. 121-130, UK Performance Engineering Workshop, July 1999, (205097 bytes).

Bradley, J., Davies, N. Editors, ‘Proceedings of the Fifteenth Annual UK Performance Engineering Workshop’, Department of Computer Science, University of Bristol, July 1999. 

Kuball, Silke, May, John, H.R., Hughes, Gordon, ‘Building a system failure rate estimator by identifying component failure rates’, 10th International Symposium on Software Reliability Engineering (ISSRE'99), pp. 32-41, IEEE Computer Society, November 1999. 

May, John, H.R., Hughes, Gordon, Shaban, N., ‘Formal coupling of software components’, Fifteenth Annual UK Performance Engineering Workshop, pp. 35-44, Research Press, July 1999. 

Bradley, J., Davies, N,. ‘Reliable Performance Modelling with Approximate Synchronisations’, PAPM'99, Process Algebra and Performance Modelling, pp. 99-118, Prensas Universitarias de Zaragoza, September 1999, (392866 bytes). 

Napier, John, May, John, H.R. and Hughes, Gordon, 'Implementing SOftware On-Line Diagnostics in SafetY Critical Systems', Fifteenth Annual UK Performance Engineering Workshop, Bradley, J.T., Davies, N.J. Editors, pp 355-366. Research Press International, July 1999. 

Journal Articles

Hughes, Gordon, ‘Reasonable Design’, Journal of Information Law and Technology, V. 99 (2), pp. 32-44, June 1999, ISSN 1361-4169. 

May, John, H.R., Kuball, Silke, Hughes, Gordon, ‘Test Statistics for System Design Failure. International Journal of Reliability, Quality and Safety Engineering, V. 6 (3), pp. 21-27, December 1999, ISSN 0218-5393. 

(Return to top page)

 


1998

Conference Contributions

Dattani, I., Magaldi, R.V., 'Case-based reasoning (CBR) and machine learning within the aviation domain', IASTED International Conference in Artifical Intelligence and Soft Computing, 1998. 

Dattani, I., May, John, H.R., Lafave, L., ‘Enhanced Formal Modeling for Process Management’, Proceedings of The 3rd Annual International Conference on Industrial Engineering Theories, Applications and Practices, pp. 47-55, International Journal of Industrial Engineering Applications and Practice, December 1998. 

Hughes, Gordon and May, John, H.R., ‘Statistical System Testing based on the Results at Sizewell B and On-Going Research’, Proceedings of the Third International Conference on Control and Instrumentation in Nuclear Installations, pp. 50-61, May 1998,  ISSN: 0262-5091. 

Hughes, Gordon, ‘What is "Good" for Safety and is Research Helping?’, Proc. of BARQA 13th International Congress on Compliance and Computers, pp 78-90, May 1998.

May, John, H.R., Kuball, Silke, Hughes, Gordon, ‘Structural Test Statistics for Design Failure’, Procs. International Workshop on Reliability Modelling and Analysis, Nov 1998, pp. 106-115, November 1998. 

(Return to top page)

 


1997

Conference Contributions

Hughes, Gordon, May, John, H.R., Noyes, Jan, ‘Designing for Safety: Current Activities at Bristol University and Future Directions’, Procs. 5th Safety-Critical Systems Symposium, pp. 38-55. Springer, February 1997. 

Journal Articles

Zhu, H., Hall, P., May, John, H.R., ‘Software Unit Test Coverage and Adequacy’, ACM Computing Surveys, V. 29 (4), pp. 366-427, December 1997, ISSN 0360-0300. 

Dattani, I., Magaldi, R.V., ‘The Application of CBR for maintaining aeroplanes in time-constrained Operational Situations’, Advances in Industrial Engineering Applications and Practice II, pp. 1181-1186, International Journal of Industrial Engineering, November 1997.  

(Return to top page)

 


1995

Conference Contributions

May, John, H.R., Hughes, Gordon, 'Nuclear Electric's contribution to the CONTESSE Testing Framework and its Early Application', Procs. 3rd Safety-Critical Systems Symposium, pp 25-34. Springer, February 1995. 

Journal Articles

May, John, H.R., Lunn, A.D., 'A model of code sharing for estimating software failure on demand probabilities', IEEE Transactions on Software Engineering, V. 21 (9), pp. 747-753, September 1995, ISSN 0098-5589. 

May, John, H.R., Lunn, A. D., 'New statistics for demand-based software testing', Information Processing Letters, V. 53 (1), pp. 307-314, December 1995, ISSN 0020-0190. 

May, John, H.R., Hughes, Gordon, Lunn, A.D., 'Reliability estimation from appropriate testing of plant protection software', Software Engineering Journal, V. 10 (11), pp. 206-218, November 1995, ISSN 0268-6961. 

(Return to top page)

 


Pre 1995 Publications by SSRC Staff

Zhu, H., Hall, P., May, John, H.R., 'Inductive Inference and Software Testing', Journal of Software Testing, Verification and Reliability, V. 2(2), pp. 69-81, 1993, ISSN 0960-0833

Cockram, Cooper, May, John, H.R. et al., 'Human error in the software generation process', Proc. of the Safety-Critical Systems Symposium (SSS'94), The Belfry, Birmingham 8th - 10th February 1994.

Zhu, Hall, May, John, H.R., Cockram, 'Knowledge engineering helps testing protection software', International Conference on Software Engineering and Knowledge Engineering, 1994.

Cockram, May, John, H.R., 'Estimating faults introduced by software maintenance', Centre for Software Reliability Conference, Dublin, September 1994.

Cottam, May, John, H.R. et al., 'Fault analysis of the software generation process - the FASGEP project', Proc. of the Safety and Reliability Society Symposium: Risk Management and Critical Protective Systems, Altringham (UK), October 1994.

Zhu, Hall, May, John, H.R., 'Testing safety critical software via simulating failures of the environment system', Proc. of the Safety and Reliability Society Symposium: Risk Management and Critical Protective Systems, Altringham (UK), October 1994.

Zhu, Hall, May, John, H.R., Cockram, 'Injecting faults into environment simulators for testing safety critical software', Lecture Notes in Computer Science: First European Dependable Computing Conference, Berlin, October 1994, Springer Verlag, 1994.

May, John, H.R. et al., 'Fault prediction for software development processes', Proc. of Institute of Mathematics and its Applications Conference on the Mathematics of Dependable Systems, Royal Holloway, University of London, Egham, Surrey, UK, September 1993.

Zhu, Hall, May, John, H.R., 'Understanding software test adequacy - an axiomatic and measurement theory approach', Proc. of Institute of Mathematics and its Applications Conference on the Mathematics of Dependable Systems, Royal Holloway, University of London, Egham, Surrey, UK, September 1993.

Hall, P., May, John, H.R., Nichol, Czachur, D.K., Kinch, B., ‘Integrity prediction during software development’, Safety of Computer Control Systems 1992 (SAFECOMP'92), Computer Systems in Safety-Critical Applications, Proceedings of the IFAC Symposium, Zurich, Switzerland, 28-30 Oct 1992, pp. 239-244, Pergamon Press Ltd, December 1992.

Brammer, Bryant, May, John, H.R., 'Investigation of an expert systems approach to bacterial identification', Computer Applications in the Biosciences, V.7(4), 1991.

May, John, H.R., 'Computational bug-location for logical program errors', CSTR 91-09, Dept Electronics and Computer Science, Southampton University, 1991. 

(Return to top page)