with Tamburrini, G. , 2017, 'Explaining engineered computing systems' behaviour: the role of abstraction and idealization', Philosophy & Technology 30 (2), 239-258.
, 2014a, 'Computational idealizations in software intensive science: a comment on Symons' and Horner's paper', Philosophy & Technology 27 (3), 479-484.
, 2014b, 'The problem of justification of empirical hypotheses in software testing', Philosophy & Technology 27 (3), 423-439.