Bigraphical Refinement - Gian Perrone; Søren Debois; Thomas T. Hildebrandt (Refine@FM, 2011)

A model checker for Bigraphs. - Gian Perrone; Søren Debois; Thomas T. Hildebrandt (SAC, 2012)

Refinement for Transition Systems with Responses - Marco Carbone; Thomas T. Hildebrandt; Gian Perrone; Andrzej Wasowski (FIT, 2012)

Big Red: A Development Environment for Bigraphs. - Alexander John Faithfull; Gian Perrone; Thomas T. Hildebrandt (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

A verification environment for bigraphs. - Gian Perrone; Søren Debois; Thomas T. Hildebrandt (Innov. Syst. Softw. Eng., 2013)

Testing Context-Aware Applications Based on Bigraphical Modeling. - Lian Yu; Wei-Tek Tsai; Gian Perrone (IEEE Trans. Reliab., 2016)

Multi-scale Anomaly Detection with Wavelets. - Jack Coughlin; Gian Perrone (BDIOT, 2017)