Tiago Massoni

	2011
16		Gustavo Soares, Bruno Catao, Catuxe Varjao, Solon Aguiar, Rohit Gheyi, Tiago Massoni: Analyzing Refactorings on Software Repositories. SBES 2011: 164-173
15		Rohit Gheyi, Tiago Massoni, Paulo Borba: Automatically Checking Feature Model Refactorings. J. UCS 17(5): 684-711 (2011)
	2010
14		Tiago Massoni, Rohit Gheyi, Paulo Borba: Synchronizing Model and Program Refactoring. SBMF 2010: 96-111
13		Gustavo Soares, Rohit Gheyi, D. Serey, Tiago Massoni: Making Program Refactoring Safer. IEEE Software 27(4): 52-57 (2010)
	2009
12		Gabriel Falconieri Freitas, Márcio Cornélio, Tiago Massoni, Rohit Gheyi: Object-oriented Programming Laws for Annotated Java Programs RULE 2009: 65-76
11		Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio: A Complete Set of Object Modeling Laws for Alloy. SBMF 2009: 204-219
	2008
10		Tiago Massoni, Rohit Gheyi, Paulo Borba: Formal Model-Driven Program Refactoring. FASE 2008: 362-376
9		Tiago Massoni, Rohit Gheyi, Paulo Borba: A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs. Electr. Notes Theor. Comput. Sci. 195: 189-209 (2008)
8		Rohit Gheyi, Tiago Massoni, Paulo Borba: Algebraic Laws for Feature Models. J. UCS 14(21): 3573-3591 (2008)
	2007
7		Rohit Gheyi, Tiago Massoni, Paulo Borba: A Static Semantics for Alloy and its Impact in Refactorings. Electr. Notes Theor. Comput. Sci. 184: 209-233 (2007)
	2006
6		Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba, Carlos José Pereira de Lucena: Refactoring product lines. GPCE 2006: 201-210
5		Tiago Massoni, Rohit Gheyi, Paulo Borba: An Approach to Invariant-based Program Refactoring. ECEASST 3: (2006)
	2005
4		Rohit Gheyi, Tiago Massoni, Paulo Borba: A rigorous approach for proving model refactorings. ASE 2005: 372-375
3		Tiago Massoni, Rohit Gheyi, Paulo Borba: A model-driven approach to formal refactoring. OOPSLA Companion 2005: 124-125
2		Rohit Gheyi, Tiago Massoni: Formal refactorings for object models. OOPSLA Companion 2005: 208-209
1		Rohit Gheyi, Tiago Massoni, Paulo Borba: An Abstract Equivalence Notion for Object Models. Electr. Notes Theor. Comput. Sci. 130: 3-21 (2005)

Coauthor Index

1	Solon Aguiar	[16]
2	Vander Alves	[6]
3	Paulo Borba	[1] [3] [4] [5] [6] [7] [8] [9] [10] [11] [14] [15]
4	Bruno Catao	[16]
5	Márcio Cornélio	[12]
6	Gabriel Falconieri Freitas	[12]
7	Rohit Gheyi	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
8	Uirá Kulesza	[6]
9	Carlos José Pereira de Lucena	[6]
10	Augusto Sampaio	[11]
11	D. Serey	[13]
12	Gustavo Soares	[13] [16]
13	Catuxe Varjao	[16]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page