Items where Subject is "Q Science > QA Mathematics > QA76 Computer software"

A

Adamsky, F., Khayam, S. A., Jager, R. & Rajarajan, M. (2012). Security analysis of the micro transport protocol with a misbehaving receiver. Paper presented at the 2012 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discover, 10 - 12 October 2012, Sanya, China.

B

Bayer, J., Flege, O. & Gacek, C. (2000). Creating product line architectures. Lecture Notes in Computer Science, 1951, 210 - 216. doi: 10.1007/978-3-540-44542-5_23

Bayer, J., Gacek, C., Muthig, D. & Widen, T. (2000). PuLSE-I: Deriving instances from a product line infrastructure. In: Engineering of Computer Based Systems, 2000. (ECBS 2000) Proceedings. Seventh IEEE International Conference and Workshop. (pp. 237 - 245). London, UK: IEEE Computer Society. ISBN 0-7695-0604-6

Benetos, E. & Dixon, S. (2011). Polyphonic music transcription using note onset and offset detection. Paper presented at the 2011 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 22 - 27 May 2011, Prague, Czech Republic.

Benetos, E., Kotti, M. & Kotropoulos, C. (2006). Applying supervised classifiers based on non-negative matrix factorization to musical instrument classification. Paper presented at the IEEE International Conference on Multimedia and Expo (ICME 2006), 9 - 12 July 2006, Toronto, Canada.

Benetos, E., Kotti, M. & Kotropoulos, C. (2006). Musical instrument classification using non-negative matrix factorization algorithms and subset feature selection. ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings, 5, 221 - 224. ISSN 1520-6149

Bertolino, A. & Strigini, L. (1998). Assessing the Risk due to Software Faults: Estimates of Failure Rate versus Evidence of Perfection.. Software Testing, Verification and Reliability, 8(3), 155 - 166. doi: 10.1002/(SICI)1099-1689(1998090)8:3<155::AID-STVR163>3.0.CO;2-B

Bertolino, A. & Strigini, L. (1996). On the use of testability measures for dependability assessment. IEEE Transactions on Software Engineering, 22(2), 97 - 108. doi: 10.1109/32.485220

Bessani, A. N., Reiser, H. P., Sousa, P., Gashi, I., Stankovic, V., Distler, T., Kapitza, R., Daidone, A. & Obelheiro, R. R. (2008). FOREVER: Fault/intrusiOn REmoVal through Evolution & Recovery. Paper presented at the ACM/IFIP/USENIX Middleware '08 Conference.

Bishop, P. G. (2002). Estimating Residual Faults from Code Coverage. Paper presented at the SAFECOMP 2002, 10 - 13 Sept 2002, Catania, Italy.

Bishop, P. G. (2003). MC/DC based estimation and detection of residual faults in PLC logic networks. Paper presented at the 14th IEEE International Symposium on Software Reliability Engineering ISSRE 2003, 17 - 20 Nov 2003, Denver, Colorado.

Bishop, P. G. (2005). SILS and Software. Safety-Critical Systems Club Newsletter, 14(2),

Bishop, P. G. (1997). Using reversible computing to achieve fail-safety. Paper presented at the Eighth International Symposium On Software Reliability Engineering , 2 - 5 Nov 1997, Albuquerque, NM , USA.

Bishop, P. G. & Bloomfield, R. E. (1998). A Methodology for Safety Case Development. In: F. Redmill & T. Anderson (Eds.), Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998. . London, UK: Springer. ISBN 3540761896

Bishop, P. G. & Bloomfield, R. E. (1995). The SHIP Safety Case. In: Safecomp '95 : The 14th International Conference on Computer Safety, Reliability and Security. . London, UK: Springer. ISBN 3540199624

Bishop, P. G. & Bloomfield, R. E. (2003). Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction. Paper presented at the 14th IEEE International Symposium on Software Reliability Engineering (ISSRE 2003), 17 - 20 Nov 2003, Denver, Colorado.

Bishop, P. G. & Bloomfield, R. E. (2002). Worst Case Reliability Prediction Based on a Prior Estimate of Residual Defects. In: Software Reliability Engineering, 2002. ISSRE 2003. Proceedings. 13th International Symposium on. (pp. 295 - 303). IEEE.

Bishop, P. G., Bloomfield, R. E., Gashi, I. & Stankovic, V. (2012). Diverse protection systems for improving security: a study with AntiVirus engines. London, UK: City University London.

Bishop, P. G., Bloomfield, R. E., Littlewood, B., Povyakalo, A. A. & Wright, D. (2011). Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems. IEEE Transactions on Software Engineering, 37(5), 708 - 717. doi: 10.1109/TSE.2010.67

Bishop, P. G., Burns, G. & Anderson, S. O. (1993). Stepwise Development and Verification of a Boiler System Specification. Paper presented at the International Workshop on the Design and Review of Software Controlled Safety-related Systems, 28 - 29 Jun 1993, National Research Council, Ottawa, Canada.

Bishop, P. G., Gashi, I., Littlewood, B. & Wright, D (2007). Reliability modeling of a 1-out-of-2 system: Research with diverse Off-the-shelf SQL database servers. Paper presented at the The 18th IEEE International Symposium on Software Reliability (ISSRE '07), 5 - 9 Nov 2007, Trollhättan, Sweden.

Bishop, P. G., Penny, J., Eaton, A. & Bloomfield, R. E. (2001). The Practicalities of Goal-Based Safety Regulation. In: F. Redmill & T. Anderson (Eds.), Aspects of Safety Management: Proceedings of the Ninth Safety-critical Systems Symposium, Bristol, UK 2001. (pp. 35 - 48). London; New York: Springer. ISBN 1852334118

Bishop, P. G., Tourlas, K. & Chozos, N. (2010). An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems. In: E. Schoitsch (Ed.), Computer safety, reliability, and security. Lecture Notes in Computer Science, 6351. (pp. 375 - 388). London, UK: Springer.

Blandford, A., Adams, A., Attfield, S., Buchanan, G., Gow, J., Makri, S., Rimmer, J. & Warwick, C. (2008). The PRET A Rapporter framework: Evaluating digital libraries from the perspective of information work. Information Processing & Management, 44(1), 4 - 21. doi: 10.1016/j.ipm.2007.01.021

Blandford, A., Green, T. R. G., Furniss, D. & Makri, S. (2008). Evaluating system utility and conceptual fit using CASSM. International Journal of Human-Computer Studies, 66(6), 393 - 409. doi: 10.1016/j.ijhcs.2007.11.005

Bloomfield, R. E., Gashi, I., Povyakalo, A. A. & Stankovic, V. (2008). Comparison of Empirical Data from Two Honeynets and a Distributed Honeypot Network. Paper presented at the 19th International Symposium on Software Reliability Engineering, 2008, 10 - 14 Nov 2008, Seattle, USA.

Bloomfield, R. E., Littlewood, B. & Wright, D. (2007). Confidence: Its role in dependability cases for risk assessment. 37TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 338 - 346. doi: 10.1109/DSN.2007.29 ISSN 1530-0889

Borges, Rafael (2012). A neural-symbolic system for temporal reasoning with application to model verification and learning. (Unpublished Doctoral thesis, City University London)

C

Cukier, M., Gashi, I., Sobesto, B. & Stankovic, V. (2013). Does Malware Detection Improve With Diverse AntiVirus Products? An Empirical Study. Paper presented at the 32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP), 24- - 27 September 2013, Toulouse, France.

D

de Lemos, R., Gacek, C. & Romanovsky, A. (2003). Architectural mismatch tolerance. Lecture Notes in Computer Science, 2677, 175 - 194. doi: 10.1007/3-540-45177-3_8

E

Egyed, A., Medvidovic, N. & Gacek, C. (2000). Component-based perspective on software mismatch detection and resolution. IEE Proceedings: Software, 147(6), 225 - 236. doi: 10.1049/ip-sen:20000915

F

Filho, Gilberto Amado de Azevedo Cysneiros (2011). Software Traceability for Multi-Agent Systems Implemented Using BDI Architecture. (Unpublished Doctoral thesis, City University London)

G

Gacek, C. (2004). An interdisciplinary perspective of dependability in Open Source Software. BUILDING THE INFORMATION SOCIETY, 156, 685 - 691. ISSN 1571-5736

Gacek, C., Arief, B. & Lawrie, T. (2001). Software architectures and Open Source Software: Where can research leverage the most?. Paper presented at the 1st Workshop on Open Source Software Engineering: Making Sense of the Bazaar (part of the 23rd IEEE International Conference on Software Engineering (ICSE 2001)), 15 May 2001, Toronto, Canada.

Gacek, C., Lawrie, T. & Arief, B. (2002). Interdisciplinary insights on Open Source. Paper presented at the Open Source Software Development Workshop, 25 - 26 Feb 2002, Newcastle upon Tyne, UK.

Galliers, J. R., Wilson, S., Muscroft, S., Marshall, J., Roper, A., Cocks, N. & Pring, T. (2011). Accessibility of 3D Game Environments for People with Aphasia: An Exploratory Study. Paper presented at the 13th International ACM SIGACCESS Conference on Computers and Accessibility, 24 - 26 Oct 2011, Dundee, Scotland.

Garcia, M., Bessani, A. N., Gashi, I., Neves, N. & Obelheiro, R. R. (2013). Analysis of operating system diversity for intrusion tolerance. Software: Practice and Experience, doi: 10.1002/spe.2180

Garcia, M., Bessani, A. N., Gashi, I., Neves, N. & Obelheiro, R. R. (2011). OS diversity for intrusion tolerance: Myth or reality?. Paper presented at the 41st International Conference on Dependable Systems & Networks (DSN), 27 - 30 Jun 2011, Hong Kong.

Gashi, I., Bloomfield, R., Bloomfield, R. E. & Stroud, R. (2012). How secure is ERTMS?. Paper presented at the Workshop on Dependable and Secure Computing for Large-scale Complex Critical Infrastructures (DESEC4LCCI), 25 September 2012, Herrenkrug, Germany.

Gashi, I. & Bloomfield, R. E. (2008). Evaluating the resilience and security of boundaryless, evolving socio-technical Systems of Systems. Centre for Software Reliability, City University London.

Gashi, I. & Popov, P. T. (2006). Rephrasing rules for off-the-shelf SQL database servers. Paper presented at the Sixth European Dependable Computing Conference, 2006 (EDCC '06), 18 - 20 Oct 2006, Coimbra, Portugal.

Gashi, I. & Popov, P. T. (2007). Uncertainty explicit assessment of off-the-shelf software: Selection of an optimal diverse pair. Paper presented at the Sixth International IEEE Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems, 26 Feb - 2 Mar 2007, Banff, Canada.

Gashi, I., Popov, P. T. & Stankovic, V. (2009). Uncertainty explicit assessment of off-the-shelf software: A Bayesian approach. Information and Software Technology, 51(2), 497 - 511. doi: 10.1016/j.infsof.2008.06.003

Gashi, I., Popov, P. T., Stankovic, V. & Strigini, L. (2004). On designing dependable services with diverse off-the-shelf SQL servers. Lecture Notes in Computer Science, 3069, 191 - 214. doi: 10.1007/978-3-540-25939-8_9

Gashi, I., Popov, P. T. & Strigini, L. (2004). Fault diversity among off-the-shelf SQL database servers. Paper presented at the International Conference on Dependable Systems and Networks, 28 Jun - 1 Jul 2004.

Gashi, I., Popov, P. T. & Strigini, L. (2007). Fault tolerance via diversity for off-the-shelf products: A study with SQL database servers. IEEE Transactions on Dependable and Secure Computing, 4(4), 280 - 294. doi: 10.1109/TDSC.2007.70208

Gashi, I., Stankovic, V., Cukier, M. & Sobesto, B. (2012). Diversity with AntiVirus products: Additional empirical studies. Paper presented at the 42nd IEEE International Conference on Dependable Systems and Networks (DSN) 2012, 25 - 28 June 2012, Boston, USA.

Gashi, I., Stankovic, V., Leita, C. & Thonnard, O. (2009). An Experimental Study of Diversity with Off-The-Shelf AntiVirus Engines. Paper presented at the Eighth IEEE International Symposium on Network Computing and Applications, 9 - 11 July 2009, Cambridge, MA, USA.

Glover, I. (2012). SCOF: A Standardised, Customisable Online Feedback Tool. In: T. Amiel & B. Wilson (Eds.), Proceedings of World Conference on Educational Multimedia, Hypermedia and Telecommunications 2012. (pp. 1805 - 1812). EdITLib. ISBN 1880094959

H

Howe, J. M. & King, A. (2010). A pearl on SAT solving in Prolog. Lecture Notes in Computer Science, 6009, 165 - 174. doi: 10.1007/978-3-642-12251-4_13

J

Jones, K., Kim, J. & Horowitz, M. (2010). Fast, non-monte-carlo estimation of transient performance variation due to device mismatch. IEEE Transactions on Circuits and Systems, 57(7), pp. 1746-1755. doi: 10.1109/TCSI.2009.2035418

K

Karakostas, B. & Katsoulakos, T. (2013). A DSL For Logistics Clouds. Paper presented at the The Fourth International Conference on Cloud Computing, GRIDs, and Virtualization, 27 May - 01 June 2013, Valencia, Spain.

Karakostas, B. & Theodoulidis, B. (2013). A MapReduce architecture for web site user behaviour monitoring in real time. Paper presented at the 2nd International Conference on Data Management Technologies and Applications (DATA), 29 - 31 July 2013, Reykjavik, Iceland.

Kharchenko, V. S., Popov, P. T., Odarushchenko, O. & Zhadan, V. (2012). Empirical evaluation of accuracy of mathematical software used for availability assessment of fault-tolerant computer systems. Reliability: Theory & Applications,

Kim, J., Jones, K. & Horowitz, M. (2007). Variable domain transformation for linear PAC analysis of mixed-signal systems. Paper presented at the International Conference on Computer-Aided Design, 2007. ICCAD 2007, 05 - 08 Nov 2007, San Jose, California, USA.

Kotti, M, Benetos, E., Kotropoulos, C. & Pitas, I (2007). A neural network approach to audio-assisted movie dialogue detection. Neurocomputing, 71(1-3), pp. 157-166. doi: 10.1016/j.neucom.2007.08.006

Kotti, M., Benetos, E. & Kotropoulos, C. (2006). Automatic speaker change detection with the Bayesian information criterion using MPEG-7 features and a fusion scheme. Paper presented at the International Symposium on Circuits and Systems (ISCAS 2006), 21 - 24 May 2006, Island of Kos, Greece.

Kotti, M., Martins, L. P. M., Benetos, E., Cardoso, J. S. & Kotropoulos, C. (2006). Automatic speaker segmentation using multiple features and distance measures: a comparison of three approaches. Paper presented at the IEEE International Conference on Multimedia and Expo (ICME 2006) , 9 - 12 July 2006, Toronto, Canada.

L

Littlewood, B. (2006). Comments on 'Evolutionary neural network modelling for software cumulative failure time prediction' by Liang Tian and Afzel Noore [Reliability Engineering and System Safety 87 (2005) 45-51]. Reliability Engineering & System Safety, 91(4), 485 - 486. doi: 10.1016/j.ress.2005.02.001

Littlewood, B. (1996). Evaluation of software dependability. In: I. C. Wand & R. Milner (Eds.), Computing Tomorrow: Future Research Directions in Computer Science. (pp. pp. 198-216). New York, USA: Cambridge University Press. ISBN 9780521460859

Littlewood, B. (1996). The impact of diversity upon common mode failures. Reliability Engineering & System Safety, 51(1), 101 - 113. doi: 10.1016/0951-8320(95)00120-4

Littlewood, B. (2000). The problems of assessing software reliability ...When you really need to depend on it. Paper presented at the Conference on Lessons in System Safety.

Littlewood, B. (2000). The use of proofs in diversity arguments. IEEE Transactions on Software Engineering, 26(10), 1022 - 1023. doi: 10.1109/32.879822

Littlewood, B., Brocklehurst, S., Fenton, N., Mellor, P., Page, S., Wright, D., Dobson, J., McDermid, J. & Gollmann, D. (1993). Towards operational measures of computer security. Journal of Computer Security, 2(3), 211 - 229.

Littlewood, B. & Burns, A. (2010). Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems. Paper presented at the 31st IEEE Real-Time Systems Symposium, 30 November - 03 December 2010, San Diego, USA.

Littlewood, B., Popov, P. T. & Strigini, L. (2002). Assessing the reliability of diverse fault-tolerant software-based systems. Safety Science, 40(9), 781 - 796.

Littlewood, B., Popov, P. T. & Strigini, L. (2001). Design diversity: an update from research on reliability modelling. Paper presented at the 9th Safety-critical Systems Symposium, 2001, Bristol, UK.

Littlewood, B., Popov, P. T. & Strigini, L. (1999). A note on reliability estimation of functionally diverse systems. Reliability Engineering & System Safety, 66(1), 93 - 95. doi: 10.1016/S0951-8320(99)00014-9

Littlewood, B., Popov, P. T., Strigini, L. & Shryane, N. (2000). Modeling the effects of combining diverse software fault detection techniques. IEEE Transactions on Software Engineering, 26(12), 1157 - 1167. doi: 10.1109/32.888629

Littlewood, B. & Povyakalo, A. A. (2012). Conservative bounds for the pfd of a 1-out-of-2 software-based system based on an assessor’s subjective probability of "not worse than independence" (Report No. CSR Technical Report, 20 May 2012). London: Centre for Software Reliability, City University London.

Littlewood, B. & Povyakalo, A. A. (2012). Conservative reasoning about epistemic uncertainty for the probability of failure on demand of a 1-out-of-2 software-based system in which one channel is "possibly perfect" (Report No. CSR Technical Report 20 March 2012). London: Centre for Software Reliability, City University London.

Littlewood, B. & Rushby, J. (2011). Reasoning about the Reliability of Diverse Two-Channel Systems in which One Channel is "Possibly Perfect". IEEE Transactions on Software Engineering, doi: 10.1109/TSE.2011.80

Littlewood, B. & Strigini, L. (2004). Redundancy and diversity in security. COMPUTER SECURITY ESORICS 2004, PROCEEDINGS, 3193, 423 - 438. ISSN 0302-9743

Littlewood, B. & Strigini, L. (2000). Software reliability and dependability: a roadmap. In: A Finkelstein (Ed.), The Future of Software Engineering. State of the Art Reports given at the 22nd Int. Conf. on Software Engineering. (pp. 177 - 188). ACM Press. ISBN 1581132530

Littlewood, B. & Strigini, L. (1993). Validation of Ultrahigh Dependability for Software-Based Systems. Communications of the ACM (CACM), 36(11), 69 - 80. doi: 10.1145/163359.163373

Littlewood, B. & Wright, D. (1995). A Bayesian model that combines disparate evidence for the quantitative assessment of system dependability. Paper presented at the 14th International Conference on Computer Safety (SafeComp’95), 11 - 13 October 1995, Belgirate, Italy.

Littlewood, B. & Wright, D. (1996). Reliability prediction of a software product using testing data from other products or execution environment (Report No. 10). Brussels: DeVa Project.

Littlewood, B. & Wright, D. (1997). Some conservative stopping rules for the operational testing of safety-critical software. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 23(11), 673 - 683. doi: 10.1109/32.637384

Littlewood, B. & Wright, D. (1996). Some conservative stopping rules for the operational testing of saftey-critical software (Report No. 33). Brussels: DeVa ESPRIT Long Term Research Project.

Littlewood, B. & Wright, D. (2007). The use of multilegged arguments to increase confidence in safety claims for software-based systems: A study based on a BBN analysis of an idealized example. IEEE Transactions on Software Engineering, 33(5), 347 - 365. doi: 10.1109/TSE.2007.1002

Lugini, L., Marasco, E., Cukic, B. & Gashi, I. (2013). Interoperability in Fingerprint Recognition: A Large-Scale Empirical Study. Paper presented at the 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013), 24 - 27 June 2013, Budapest, Hungary.

M

Moschou, V., Kotti, M., Benetos, E. & Kotropoulos, C. (2007). Systematic comparison of BIC-based speaker segmentation systems. Paper presented at the IEEE 9Th International Workshop on Multimedia Signal Processing, 1 - 3 October 2007, Crete, Greece.

P

Panagakis, I., Benetos, E. & Kotropoulos, C. (2008). Music genre classification: a multilinear approach. Paper presented at the International Symposium Music Information Retrieval, 14 - 18 September 2008, Philadelphia, USA.

Pizza, M. & Strigini, L. (1998). Comparing the effectiveness of testing methods in improving programs: the effect of variations in program quality. Paper presented at the The Ninth International Symposium on Software Reliability Engineering, 4 - 7 Nov 1998, Paderborn, Germany.

Popov, P. T. & Littlewood, B. (2004). The effect of testing on reliability of fault-tolerant software. Paper presented at the 2004 International Conference on dependable systems and networks, 28 June - 1 July 2004, Florence, Italy.

Popov, P. T., Stankovic, V. & Strigini, L. (2012). An Empirical Study of the Effectiveness of 'Forcing Diversity' Based on a Large Population of Diverse Programs. Paper presented at the ISSRE 2012, International Symposium on Software Reliability Engineering, 27 - 30 November 2012, Dallas, Texas, USA.

Popov, P. T. & Strigini, L. (2010). Assessing Asymmetric Fault-Tolerant Software. Paper presented at the Software Reliability Engineering (ISSRE), 2010 IEEE 21st International Symposium on , 1 - 4 Nov 2010, San Jose, California.

Popov, P. T. & Strigini, L. (2001). The reliability of diverse systems: a contribution using modelling of the fault creation process. Paper presented at the International Conference on Dependable Systems and Networks, 1 - 4 Jul 2001, Goteborg, Sweden .

Popov, P. T., Strigini, L., Riddle, S. & Romanovsky, A. (2001). On Systematic Design of Protectors for Employing OTS Items. Euromicro Conference, 2001. Proceedings. 27th, 2001, 22 - 29. doi: 10.1109/EURMIC.2001.952434

Popov, P. T., Strigini, L. & Romanovsky, A. (1999). Choosing effective methods for design diversity - How to progress from intuition to science. COMPUTER SAFETY, RELIABILITY AND SECURITY, 1698, 272 - 285. ISSN 0302-9743

S

Salako, Kizito (2012). Extension to models of coincident failure in multiversion software. (Unpublished Doctoral thesis, City University London)

Schmid, K. & Gacek, C. (2000). Implementation issues in product line scoping. Lecture notes in computer science, 1844, pp. 38-82. doi: 10.1007/978-3-540-44995-9_11

Spanoudakis, G., Kloukinas, C. & Androutsopoulos, K. (2007). Towards security monitoring patterns. Paper presented at the 22nd Annual ACM Symposium on Applied Computing, 11 - 15 March 2007, Seoul, Korea.

Stankovic, V., Alata, E., Leita, C., Serafini, M., Thonnard, O., Viniikka, J. & Zurutuza, U. (2008). Malicious Fault Characterization Exploiting Honeypot Data. Paper presented at the 7th European Dependable Computing Conference (EDCC 2008), 7 - 9 May 2008, Kaunas, Lithuania.

Stankovic, V., Bessani, A. N., Daidone, A., Gashi, I., Obelheiro, R. R. & Sousa, P. (2009). Enhancing Fault / Intrusion Tolerance through Design and Configuration Diversity. Paper presented at the 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS 2009), Jun 2009, Estoril, Lisbon, Portugal.

Stankovic, V., Bloomfield, R. E., Bishop, P. G. & Gashi, I. (2011). Diversity for Security: a Study with Off-The-Shelf AntiVirus Engines. Paper presented at the 21st International Symposium on Software Reliability Engineering (ISSRE 2011), Hiroshima, Japan.

Stankovic, V., Lin, S., Pareaud, T., Robert, T. & Zutautaite-Seputiene, I. (2008). Toward Adaptable Software Architecture for Dependability: ASAP. Paper presented at the 7th European Dependable Computing Conference (EDCC 2008), 7 - 9 May 2008, Kaunas, Lithuania.

Stankovic, V. & Popov, P. T. (2006). Improving DBMS performance through diverse redundancy. SRDS 2006: 25th IEEE Symposium on Reliable Distributed Systems, Proceedings, 391 - 400. ISSN 1060-9857

Strigini, L. (2012). Fault tolerance and resilience: meanings, measures and assessment. In: K. Wolter, A. Avritzer, M. Vieira & A. van Moorsel (Eds.), Resilience Assessment and Evaluation of Computing Systems. . Berlin, Germany: Springer.

Strigini, L. & Bertolino, A. (1996). Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results. In: Lecture notes in computer science. (pp. 83 - 94). Springer.

Strigini, L., Bosio, D., Littlewood, B. & Newby, M. J. (2002). Advantages of open source processes for reliability: clarifying the issues. Paper presented at the Workshop on Open Source Software Development, Feb 2002, Newcastle upon Tyne, UK.

Strigini, L., Delic, K. A. & Mazzanti, F. (1998). Formalising Engineering Judgement on Software Dependability via Belief Networks. Paper presented at the Sixth IFIP International Working Conference "Can We Rely on Computers?", Mar 1997, Garmisch-Partenkirchen, Germany.

Strigini, L. & Fenton, N. (1996). Rigorously assessing software reliability and safety. European Space Agency, (Special Publication) ESA SP(377), 193 - 198. ISSN 0379-6566

Stroud, R. & Gashi, I. (2012). Methodology for a security audit of ERTMS. Paper presented at the 42nd IEEE International Conference on Dependable Systems and Networks (DSN) 2012, 25 - 28 June 2012, Boston, USA.

T

Tsigkritis, Theocharis (2010). Diagnosing runtime violations of security and dependability properties. (Unpublished Doctoral thesis, City University London)

V

van der Meulen, M., Riddle, S., Strigini, L. & Jefferson, N. (2005). Protective wrapping of off-the-shelf components. COTS-based Software Systems, 3412, 168 - 177. doi: 10.1007/978-3-540-30587-3_27

van der Meulen, M., Strigini, L. & Revilla, M. A. (2005). On the effectiveness of run-time checks. Computer Safety, Reliability and Security, 3688, 151 - 164. doi: 10.1007/11563228_12