The modifiability of rule-based expert systems. - Leonardo Bottaci (1985)

User Enhanceability for Fast Response to Changing Office Needs. - Nikolay Mehandjiev; Leonardo Bottaci; Roger Phillips (HICSS (4), 1994)

Formal specification using Z - a modelling approach. - Leonardo Bottaci; John Jones (International Thomson, 1995)

User-Enhanceability for Organizational Information Systems through Visual Programming. - Nikolay Mehandjiev; Leonardo Bottaci (CAiSE, 1996)

Modular production systems: a new manufacturing paradigm. - G. G. Rogers; Leonardo Bottaci (J. Intell. Manuf., 1997)

An AI Modelling Approach to Understanding a Complex Manufacturing Process. - Marcos A. Rodrigues 001; Leonardo Bottaci (IEA/AIE (Vol. 1), 1998)

Efficiency of Mutation Operators and Selective Mutation Strategies: An Empirical Study. - Elfurjani Sassi Mresa; Leonardo Bottaci (Softw. Test. Verification Reliab., 1999)

Learning and Diagnosis in Manufacturing Processes Through an Executable Bayesian Network. - Marcos A. Rodrigues 001; Yonghuai Liu; Leonardo Bottaci; Dimitrios I. Rigas (IEA/AIE, 2000)

Instrumenting Programs With Flag Variables For Test Data Search By Genetic Algorithms. - Leonardo Bottaci (GECCO, 2002)

Predicate Expression Cost Functions to Guide Evolutionary Search for Test Data. - Leonardo Bottaci (GECCO, 2003)

Using Program Data-State Diversity in Test Data Search. - Mohammad Aref Alshraideh; Leonardo Bottaci (TAIC PART, 2006)

Search-based software test data generation for string data using program-specific search operators. - Mohammad Aref Alshraideh; Leonardo Bottaci (Softw. Test. Verification Reliab., 2006)

Compositional Temporal Fault Tree Analysis. - Martin Walker; Leonardo Bottaci; Yiannis Papadopoulos (SAFECOMP, 2007)

Type Sensitive Application of Mutation Operators for Dynamically Typed Programs. - Leonardo Bottaci (ICST Workshops, 2010)

TAIC-PART 2008 - Testing: Academic & Industrial conference - Practice and research techniques, special section editorial. - Leonardo Bottaci; Gregory M. Kapfhammer; Marc Roper (Inf. Softw. Technol., 2010)

TAIC-PART 2009 - Testing: Academic & Industrial Conference - Practice And Research Techniques: Special Section Editorial. - Leonardo Bottaci; Gregory M. Kapfhammer; Neil Walkinshaw (J. Syst. Softw., 2010)

Using program data-state scarcity to guide automatic test data generation. - Mohammad Aref Alshraideh; Leonardo Bottaci; Basel A. Mahafzah (Softw. Qual. J., 2010)

Guest editor's introduction to the special section on TAIC-PART 2010 - Testing: Academic and Industrial Conference-Practice and Research Techniques. - Anthony J. H. Simons; Gordon Fraser 001; Leonardo Bottaci (Softw. Pract. Exp., 2013)

A synthesis of logic and bio-inspired techniques in the design of dependable systems. - Yiannis Papadopoulos; Martin Walker; David Parker 002; Septavera Sharvia; Leonardo Bottaci; Sohag Kabir; Luís Silva Azevedo; Ioannis Sorokos (Annu. Rev. Control., 2016)

A Dependability Modeling and Analysis Approach for an IoP-Based Service System. - Zhibao Mian; Leonardo Bottaci; Jiulei Jiang; Jun He; Qiancheng Yu; Xiaofeng Wang (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

Model transformation for analyzing dependability of AADL model by using HiP-HOPS. - Zhibao Mian; Leonardo Bottaci; Yiannis Papadopoulos; Nidhal Mahmud (J. Syst. Softw., 2019)