Keynote Speech: Technological Breakthroughs in Environmental Sensor Networks. - Paulo de Souza (APWeb Workshops, 2012)

A Digital Twin Runtime Verification Framework for Protecting Satellites Systems from Cyber Attacks. - Zhé Hóu; Qinyi Li; Ernest Foo; Jin Song Dong; Paulo de Souza (ICECCS, 2022)