Parameterized Models for Distributed Java Objects. - Tomás Barros; Rabéa Boulifa; Eric Madelaine (FORTE, 2004)

Parameterized Specification and Verification of the Chilean Electronic Invoices System. - Isabelle Attali; Tomás Barros; Eric Madelaine (SCCC, 2004)

Behavioural Models for Hierarchical Components. - Tomás Barros; Ludovic Henrio; Eric Madelaine (SPIN, 2005)

Verification of Distributed Hierarchical Components. - Tomás Barros; Ludovic Henrio; Eric Madelaine (FACS, 2005)

Spécification et vérification formelles des systèmes de composants répartis. (Formal specification and verification of distributed component systems). - Tomás Barros (2005)

Model-checking Distributed Components: The Vercors Platform. - Tomás Barros; Antonio Cansado; Eric Madelaine; Marcela Rivera (FACS, 2006)

Specifying Fractal and GCM Components with UML. - Solange Ahumada; Ludovic Apvrille; Tomás Barros; Antonio Cansado; Eric Madelaine; Emil Salageanu (SCCC, 2007)

Behavioural models for distributed Fractal components. - Tomás Barros; Rabéa Ameur-Boulifa; Antonio Cansado; Ludovic Henrio; Eric Madelaine (Ann. des Télécommunications, 2009)

Soundness of Chilean Internet Routes. - Pablo Sepulveda; Victor Ramiro; Tomás Barros; José Miguel Piquer (SCCC, 2010)

Adkintun: SLA Monitoring of ISP Broadband Offerings. - Javier Bustos-Jiménez; Victor Ramiro; Felipe Lalanne; Tomás Barros (AINA Workshops, 2013)

Poor Man's Hardware Security Module (pmHSM): A Threshold Cryptographic Backend for DNSSEC. - Francisco Cifuentes; Alejandro Hevia; Francisco Montoto; Tomás Barros; Victor Ramiro; Javier Bustos-Jiménez (LANC, 2016)