Tomás Barros

	2010
8		Pablo Sepulveda, Victor Ramiro, Tomás Barros, José Miguel Piquer: Soundness of Chilean Internet Routes. SCCC 2010: 298-306
	2009
7		Tomás Barros, Rabéa Ameur-Boulifa, Antonio Cansado, Ludovic Henrio, Eric Madelaine: Behavioural models for distributed Fractal components. Annales des Télécommunications 64(1-2): 25-43 (2009)
	2007
6		Solange Ahumada, Ludovic Apvrille, Tomás Barros, Antonio Cansado, Eric Madelaine, Emil Salageanu: Specifying Fractal and GCM Components with UML. SCCC 2007: 53-62
5		Tomás Barros, Antonio Cansado, Eric Madelaine, Marcela Rivera: Model-checking Distributed Components: The Vercors Platform. Electr. Notes Theor. Comput. Sci. 182: 3-16 (2007)
	2006
4		Tomás Barros, Ludovic Henrio, Eric Madelaine: Verification of Distributed Hierarchical Components. Electr. Notes Theor. Comput. Sci. 160: 41-55 (2006)
	2005
3		Tomás Barros, Ludovic Henrio, Eric Madelaine: Behavioural Models for Hierarchical Components. SPIN 2005: 154-168
	2004
2		Tomás Barros, Rabéa Boulifa, Eric Madelaine: Parameterized Models for Distributed Java Objects. FORTE 2004: 43-60
1		Isabelle Attali, Tomás Barros, Eric Madelaine: Parameterized Specification and Verification of the Chilean Electronic Invoices System. SCCC 2004: 14-25

Coauthor Index

1	Solange Ahumada	[6]
2	Rabéa Ameur-Boulifa (Rabéa Boulifa)	[2] [7]
3	Ludovic Apvrille	[6]
4	Isabelle Attali	[1]
5	Antonio Cansado	[5] [6] [7]
6	Ludovic Henrio	[3] [4] [7]
7	Eric Madelaine	[1] [2] [3] [4] [5] [6] [7]
8	José Miguel Piquer	[8]
9	Victor Ramiro	[8]
10	Marcela Rivera	[5]
11	Emil Salageanu	[6]
12	Pablo Sepulveda	[8]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page