Behavioural models for distributed Fractal components T Barros, R Ameur-Boulifa, A Cansado, L Henrio, E Madelaine annals of telecommunications-annales des télécommunications 64, 25-43, 2009 | 76 | 2009 |
Behavioural models for hierarchical components T Barros, L Henrio, E Madelaine International SPIN Workshop on Model Checking of Software, 154-168, 2005 | 59 | 2005 |
Model-checking distributed components: The vercors platform T Barros, A Cansado, E Madelaine, M Rivera Electronic Notes in Theoretical Computer Science 182, 3-16, 2007 | 47 | 2007 |
Verification of distributed hierarchical components T Barros, L Henrio, E Madelaine Electronic Notes in Theoretical Computer Science 160, 41-55, 2006 | 41 | 2006 |
Formal specification and verification of distributed component systems T Barros PhD thesis, Université de Nice-INRIA Sophia Antipolis, 2005 | 37 | 2005 |
Parameterized models for distributed java objects T Barros, R Boulifa, E Madelaine Formal Techniques for Networked and Distributed Systems–FORTE 2004: 24th …, 2004 | 36 | 2004 |
Specifying Fractal and GCM components with UML S Ahumada, L Apvrille, T Barros, A Cansado, E Madelaine, E Salageanu XXVI International Conference of the Chilean Society of Computer Science …, 2007 | 25 | 2007 |
Poor Man's Hardware Security Module (pmHSM) A Threshold Cryptographic Backend for DNSSEC F Cifuentes, A Hevia, F Montoto, T Barros, V Ramiro, J Bustos-Jiménez Proceedings of the 9th Latin America Networking Conference, 59-64, 2016 | 10 | 2016 |
Parameterized specification and verification of the Chilean electronic invoices system I Attali, T Barros, E Madelaine XXIV International Conference of the Chilean Computer Science Society, 14-25, 2004 | 10 | 2004 |
Formalisation and proofs of the chilean electronic invoices system T Barros, E Madelaine Technical Report, 2004 | 10 | 2004 |
The Chilean Internet: Did it survive the earthquake? V Ramiro, J Piquer, T Barros, P Sepúlveda WIT Trans. State-of-the-art in Sci. Eng 58, 133-151, 2012 | 9 | 2012 |
Specifying Fractal and GCM Components With UML. In proc. of the XXVI International Conference of the Chilean Computer Science Society (SCCC’07), Iquique, Chile, November 2007 S Ahumada, L Apvrille, T Barros, A Cansado, E Madelaine, E Salageanu IEEE, 0 | 9 | |
Adkintun: SLA monitoring of ISP broadband offerings J Bustos-Jiménez, V Ramiro, F Lalanne, T Barros 2013 27th International Conference on Advanced Information Networking and …, 2013 | 8 | 2013 |
La poesía concreta brasileña, teoría, poética (s), manifiestos TV Barros Todas as Letras-Revista de Língua e Literatura 13 (2), 2011 | 4 | 2011 |
Soundness of chilean internet routes P Sepúlveda, V Ramiro, T Barros, JM Piquer 2010 XXIX International Conference of the Chilean Computer Science Society …, 2010 | 4 | 2010 |
Formal description and analysis for distributed systems T Barros, E Madelaine Doctoral Symposium at IFM 4, 4-04, 2004 | 4 | 2004 |
Formalisation and verification of the Chilean electronic invoice system T Barros, E Madelaine INRIA, 2004 | 3 | 2004 |
Extension of the Fractal ADL for the Specification of Behaviours of Distributed Components T Barros, L Henrio, A Cansado, E Madelaine, M Morel, V Mencl, F Plasil poster presentation at the 5th Fractal Workshop (part of ECOOP’06), 2006 | 1 | 2006 |
Los Llanos: tragedia de los cuerpos en olvido. Panorama parcial de la literatura riojana del siglo XX TV Barros Revista Telar ISSN 1668-3633, 1-19, 2023 | | 2023 |
Estrella de la mañana de Jacobo Fijman: entre la Vanguardia y la Escritura TV Barros Gramma 29 (60), 126-140, 2018 | | 2018 |