Tomás Barros

Publication Activity (10 Years)

Years Active: 2004-2016
Publications (10 Years): 1

Top Venues

LANC

AINA Workshops

University of Nice Sophia Antipolis, France (PHD)

Education History

University of Nice Sophia Antipolis, France

PHD

Publications

Francisco Cifuentes, Alejandro Hevia, Francisco Montoto, Tomás Barros, Victor Ramiro, Javier Bustos-Jiménez
Poor Man's Hardware Security Module (pmHSM): A Threshold Cryptographic Backend for DNSSEC. LANC (2016)
Javier Bustos-Jiménez, Victor Ramiro, Felipe Lalanne, Tomás Barros
Adkintun: SLA Monitoring of ISP Broadband Offerings. AINA Workshops (2013)
Pablo Sepulveda, Victor Ramiro, Tomás Barros, José Miguel Piquer
Soundness of Chilean Internet Routes. SCCC (2010)
Tomás Barros, Rabéa Ameur-Boulifa, Antonio Cansado, Ludovic Henrio, Eric Madelaine
Behavioural models for distributed Fractal components. Ann. des Télécommunications 64 (1-2) (2009)
Solange Ahumada, Ludovic Apvrille, Tomás Barros, Antonio Cansado, Eric Madelaine, Emil Salageanu
Specifying Fractal and GCM Components with UML. SCCC (2007)
Tomás Barros, Antonio Cansado, Eric Madelaine, Marcela Rivera
Model-checking Distributed Components: The Vercors Platform. Electron. Notes Theor. Comput. Sci. 182 (2007)
Tomás Barros, Ludovic Henrio, Eric Madelaine
Verification of Distributed Hierarchical Components. Electron. Notes Theor. Comput. Sci. 160 (2006)
Tomás Barros, Ludovic Henrio, Eric Madelaine
Behavioural Models for Hierarchical Components. SPIN (2005)
Isabelle Attali, Tomás Barros, Eric Madelaine
Parameterized Specification and Verification of the Chilean Electronic Invoices System. SCCC (2004)
Tomás Barros, Rabéa Boulifa, Eric Madelaine
Parameterized Models for Distributed Java Objects. FORTE (2004)

Tomás Barros.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tomás Barros