WiCcA : LTS Generation Tool for Wire Calculus. - Jennifer Lantair; Pawel Sobocinski 001 (CALCO, 2011)

UAS Operators Safety and Reliability Survey: Emerging Technologies towards the Certification of Autonomous UAS. - Matthew Osborne; Jennifer Lantair; Zain Shafiq; Xingyu Zhao 001; Valentin Robu; David Flynn; John Perry (ICSRS, 2019)

Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. - Xingyu Zhao 001; Matthew Osborne; Jenny Lantair; Valentin Robu; David Flynn; Xiaowei Huang 001; Michael Fisher 001; Fabio Papacchini; Angelo Ferrando 001 (SEFM, 2019)