Tomás Barros

12 papers C 1Journal 2Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
A review on quantum Fourier transform.
Quantum Inf. Process.
Tomás Barros, Pablo Álvarez, Bárbara Vidal, Mauricio Solar
2016 — conf
Poor Man's Hardware Security Module (pmHSM): A Threshold Cryptographic Backend for DNSSEC.
LANC
Francisco Cifuentes, Alejandro Hevia, Francisco Montoto, Tomás Barros, Victor Ramiro, Javier Bustos-Jiménez
2013 — conf
Adkintun: SLA Monitoring of ISP Broadband Offerings.
AINA Workshops
Javier Bustos-Jiménez, Victor Ramiro, Felipe Lalanne, Tomás Barros
2010 — conf
Soundness of Chilean Internet Routes.
SCCC
Pablo Sepulveda, Victor Ramiro, Tomás Barros, José Miguel Piquer
2009 J jnl
Behavioural models for distributed Fractal components.
Ann. des Télécommunications
Tomás Barros, Rabéa Ameur-Boulifa, Antonio Cansado, Ludovic Henrio, Eric Madelaine
2007 — conf
Specifying Fractal and GCM Components with UML.
SCCC
Solange Ahumada, Ludovic Apvrille, Tomás Barros, Antonio Cansado, Eric Madelaine, Emil Salageanu
2006 — conf
Model-checking Distributed Components: The Vercors Platform.
FACS
Tomás Barros, Antonio Cansado, Eric Madelaine, Marcela Rivera
2005 — conf
Behavioural Models for Hierarchical Components.
SPIN
Tomás Barros, Ludovic Henrio, Eric Madelaine
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 — conf
Verification of Distributed Hierarchical Components.
FACS
Tomás Barros, Ludovic Henrio, Eric Madelaine
2004 C conf
Parameterized Models for Distributed Java Objects.
FORTE
Tomás Barros, Rabéa Boulifa, Eric Madelaine
2004 — conf
Parameterized Specification and Verification of the Chilean Electronic Invoices System.
SCCC
Isabelle Attali, Tomás Barros, Eric Madelaine