Tomás Barros

According to our database, Tomás Barros authored at least 11 papers between 2004 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

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

Proceedings of the 9th Latin America Networking Conference, 2016

2013

Adkintun: SLA Monitoring of ISP Broadband Offerings.

Javier Bustos-Jiménez, Victor Ramiro, Felipe Lalanne, Tomás Barros

Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013

2010

Soundness of Chilean Internet Routes.

Pablo Sepulveda, Victor Ramiro, Tomás Barros, José Miguel Piquer

Proceedings of the SCCC 2010, 2010

2009

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

2007

Specifying Fractal and GCM Components with UML.

Solange Ahumada, Ludovic Apvrille, Tomás Barros, Antonio Cansado, Eric Madelaine, Emil Salageanu

Proceedings of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 2007

2006

Model-checking Distributed Components: The Vercors Platform.

Tomás Barros, Antonio Cansado, Eric Madelaine, Marcela Rivera

Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006

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

PhD thesis, 2005

Verification of Distributed Hierarchical Components.

Tomás Barros, Ludovic Henrio, Eric Madelaine

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Behavioural Models for Hierarchical Components.

Tomás Barros, Ludovic Henrio, Eric Madelaine

Proceedings of the Model Checking Software, 2005

2004

Parameterized Specification and Verification of the Chilean Electronic Invoices System.

Isabelle Attali, Tomás Barros, Eric Madelaine

Proceedings of the XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), 2004

Parameterized Models for Distributed Java Objects.

Tomás Barros, Rabéa Boulifa, Eric Madelaine

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004