Tomás Barros INRIA - Oasis 2004 route des lucioles - B.P. 93 06902 Sophia Antipolis France tel +33 4 9238 7554 fax +33 4 9238 7644 email: Tomas.Barros@sophia.inria.fr (PGP) Last update November 30, 2005

Currently: Former INRIA PhD Student, professor at Diego Portale University, Chile.
Diplomas: PhD in Computer Sciences - University of Nice-Sophia Antipolis, France.
                Computer Engineer - University of Chile
Born: Sep. 23th 1974, Santiago, Chile
Languages: Spanish, English, French
Curriculum Vitae

• 2005
  T. Barros Formal specification and verification of distributed component systems, PhD thesis, Université de Nice - INRIA Sophia Antipolis, November 2005. (PDF)
  Presentation Slides [PPT] [PDF]
  T. Barros, L. Henrio, E. Madelaine: Verification of distributed hierarchical components, FACS'05 Workshop, Macao, October 2005 (ENTCS) (PDF)
  T. Barros, L. Henrio, E. Madelaine: Behavioural Models for Hierarchical Components, SPIN'05 Workshop, San Francisco, August 2005 (LNCS 3639) (PDF)
  ( [Full Version] as INRIA Research Report RR-5591, June 2005)

• 2004
  I. Attali, T. Barros, E. Madelaine: Parameterized Specification and Verification of the Chilean Electronic Invoices System, SCCC'04, Arica, Chile, Nov 2004 (PDF)
  T. Barros, R. Boulifa, E. Madelaine: Parameterized Models for Distributed Java Objects, Forte'2004 Conference, Madrid, Sep. 2004 (PS)
  T. Barros, E. Madelaine: Formalisation and Verification of the Chilean electronic invoice system, INRIA Research Report RR-5217, June 2004 (PDF), Source files README
  T. Barros, E. Madelaine: Formal Description and Analysis for Distributed Systems, Integrated Formal Methods (Doctoral Symposium), Kent, UK, April 2004 (PDF)

• FC2Parameterized & FC2Instantiate
  • Binaries & source
  • Documentation [HTML] [PDF]

engineer final work

Photos, comments in spanish. Link