Leonardo Bottaci - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 21 from 21

2019

Model transformation for analyzing dependability of AADL model by using HiP-HOPSZhibao Mian, Leonardo Bottaci, Yiannis Papadopoulos, Nidhal Mahmud. jss, 151:258-282, 2019. [doi]

2018

A Dependability Modeling and Analysis Approach for an IoP-Based Service SystemZhibao Mian, Leonardo Bottaci, Jiulei Jiang, Jun He, Qiancheng Yu, Xiaofeng Wang. uic 2018: 2036-2041 [doi]

2016

A synthesis of logic and bio-inspired techniques in the design of dependable systemsYiannis Papadopoulos, Martin Walker, David Parker 0002, Septavera Sharvia, Leonardo Bottaci, Sohag Kabir, Luís Silva Azevedo, Ioannis Sorokos. arc, 41:170-182, 2016. [doi]

2013

Guest editor's introduction to the special section on TAIC-PART 2010 - Testing: Academic and Industrial Conference-Practice and Research TechniquesAnthony J. H. Simons, Gordon Fraser, Leonardo Bottaci. SPE, 43(9):1101-1102, 2013. [doi]

2010

2007

Compositional Temporal Fault Tree AnalysisMartin Walker, Leonardo Bottaci, Yiannis Papadopoulos. safecomp 2007: 106-119 [doi]

2006

Using Program Data-State Diversity in Test Data SearchMohammad Alshraideh, Leonardo Bottaci. taicpart 2006: 107-114 [doi]

Search-based software test data generation for string data using program-specific search operatorsMohammad Alshraideh, Leonardo Bottaci. stvr, 16(3):175-203, 2006. [doi]

2003

Predicate Expression Cost Functions to Guide Evolutionary Search for Test DataLeonardo Bottaci. gecco 2003: 2455-2464 [doi]

2002

Instrumenting Programs With Flag Variables For Test Data Search By Genetic AlgorithmsLeonardo Bottaci. gecco 2002: 1337-1342

2000

Learning and Diagnosis in Manufacturing Processes Through an Executable Bayesian NetworkMarcos A. Rodrigues, Yonghuai Liu, Leonardo Bottaci, Dimitrios I. Rigas. ieaaie 2000: 390-395 [doi]

1999

Efficiency of Mutation Operators and Selective Mutation Strategies: An Empirical StudyElfurjani S. Mresa, Leonardo Bottaci. stvr, 9(4):205-232, 1999.

1998

An AI Modelling Approach to Understanding a Complex Manufacturing ProcessMarcos A. Rodrigues, Leonardo Bottaci. ieaaie 1998: 814-821

1997

Modular production systems: a new manufacturing paradigmG. G. Rogers, Leonardo Bottaci. jim, 8(2):147-156, 1997. [doi]

1996

User-Enhanceability for Organizational Information Systems through Visual ProgrammingNikolay Mehandjiev, Leonardo Bottaci. caise 1996: 432-456

1995

Formal specification using Z - a modelling approachLeonardo Bottaci, John Jones. International Thomson, 1995.

1994

User Enhanceability for Fast Response to Changing Office NeedsNikolay Mehandjiev, Leonardo Bottaci, Roger Phillips. hicss 1994: 673-682

1985

The modifiability of rule-based expert systemsLeonardo Bottaci. PhD thesis, Brunel University London, UK, 1985. [doi]

Sign in or sign up to see more results.

runs on WebDSL