dblp.uni-trier.dewww.uni-trier.de

Tomás Barros

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
7EETomá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
6EESolange Ahumada, Ludovic Apvrille, Tomás Barros, Antonio Cansado, Eric Madelaine, Emil Salageanu: Specifying Fractal and GCM Components with UML. SCCC 2007: 53-62
5EETomá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
4EETomás Barros, Ludovic Henrio, Eric Madelaine: Verification of Distributed Hierarchical Components. Electr. Notes Theor. Comput. Sci. 160: 41-55 (2006)
2005
3EETomás Barros, Ludovic Henrio, Eric Madelaine: Behavioural Models for Hierarchical Components. SPIN 2005: 154-168
2004
2EETomás Barros, Rabéa Boulifa, Eric Madelaine: Parameterized Models for Distributed Java Objects. FORTE 2004: 43-60
1EEIsabelle Attali, Tomás Barros, Eric Madelaine: Parameterized Specification and Verification of the Chilean Electronic Invoices System. SCCC 2004: 14-25

Coauthor Index

1Solange Ahumada [6]
2Rabéa Ameur-Boulifa (Rabéa Boulifa) [2] [7]
3Ludovic Apvrille [6]
4Isabelle Attali [1]
5Antonio Cansado [5] [6] [7]
6Ludovic Henrio [3] [4] [7]
7Eric Madelaine [1] [2] [3] [4] [5] [6] [7]
8Marcela Rivera [5]
9Emil Salageanu [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)