Rohit Gheyi

	2011
22		Gustavo Soares, Melina Mongiovi, Rohit Gheyi: Identifying overly strong conditions in refactoring implementations. ICSM 2011: 173-182
21		Gustavo Soares, Bruno Catao, Catuxe Varjao, Solon Aguiar, Rohit Gheyi, Tiago Massoni: Analyzing Refactorings on Software Repositories. SBES 2011: 164-173
20		Leopoldo Teixeira, Paulo Borba, Rohit Gheyi: Safe Composition of Configuration Knowledge-Based Software Product Lines. SBES 2011: 263-272
19		Rohit Gheyi, Tiago Massoni, Paulo Borba: Automatically Checking Feature Model Refactorings. J. UCS 17(5): 684-711 (2011)
	2010
18		Paulo Borba, Leopoldo Teixeira, Rohit Gheyi: A Theory of Software Product Line Refinement. ICTAC 2010: 15-43
17		Tiago Massoni, Rohit Gheyi, Paulo Borba: Synchronizing Model and Program Refactoring. SBMF 2010: 96-111
16		Gustavo Soares, Rohit Gheyi, D. Serey, Tiago Massoni: Making Program Refactoring Safer. IEEE Software 27(4): 52-57 (2010)
15		Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio: Randomized constraint solvers: a comparative study. ISSE 6(3): 243-253 (2010)
	2009
14		Gabriel Falconieri Freitas, Márcio Cornélio, Tiago Massoni, Rohit Gheyi: Object-oriented Programming Laws for Annotated Java Programs RULE 2009: 65-76
13		Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio: A Complete Set of Object Modeling Laws for Alloy. SBMF 2009: 204-219
	2008
12		Tiago Massoni, Rohit Gheyi, Paulo Borba: Formal Model-Driven Program Refactoring. FASE 2008: 362-376
11		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)
10		Rohit Gheyi, Tiago Massoni, Paulo Borba: Algebraic Laws for Feature Models. J. UCS 14(21): 3573-3591 (2008)
	2007
9		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)
8		Robert Seater, Daniel Jackson, Rohit Gheyi: Requirement progression in problem frames: deriving specifications from requirements. Requir. Eng. 12(2): 77-102 (2007)
	2006
7		Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba, Carlos José Pereira de Lucena: Refactoring product lines. GPCE 2006: 201-210
6		Tiago Massoni, Rohit Gheyi, Paulo Borba: An Approach to Invariant-based Program Refactoring. ECEASST 3: (2006)
	2005
5		Rohit Gheyi, Tiago Massoni, Paulo Borba: A rigorous approach for proving model refactorings. ASE 2005: 372-375
4		Tiago Massoni, Rohit Gheyi, Paulo Borba: A model-driven approach to formal refactoring. OOPSLA Companion 2005: 124-125
3		Rohit Gheyi, Tiago Massoni: Formal refactorings for object models. OOPSLA Companion 2005: 208-209
2		Rohit Gheyi, Tiago Massoni, Paulo Borba: An Abstract Equivalence Notion for Object Models. Electr. Notes Theor. Comput. Sci. 130: 3-21 (2005)
	2004
1		Rohit Gheyi, Paulo Borba: Refactoring Alloy Specifications. Electr. Notes Theor. Comput. Sci. 95: 227-243 (2004)

Coauthor Index

1	Solon Aguiar	[21]
2	Vander Alves	[7]
3	Paulo Borba	[1] [2] [4] [5] [6] [7] [9] [10] [11] [12] [13] [17] [18] [19] [20]
4	Bruno Catao	[21]
5	Diego Cavalcanti	[15]
6	Márcio Cornélio	[14]
7	Gabriel Falconieri Freitas	[14]
8	Juliano Iyoda	[15]
9	Daniel Jackson	[8]
10	Uirá Kulesza	[7]
11	Carlos José Pereira de Lucena	[7]
12	Tiago Massoni	[2] [3] [4] [5] [6] [7] [9] [10] [11] [12] [13] [14] [16] [17] [19] [21]
13	Melina Mongiovi	[22]
14	Ricardo Bastos Cavalcante Prudêncio	[15]
15	Augusto Sampaio	[13]
16	Robert Seater	[8]
17	D. Serey	[16]
18	Gustavo Soares	[16] [21] [22]
19	Mitsuo Takaki	[15]
20	Leopoldo Teixeira	[18] [20]
21	Catuxe Varjao	[21]
22	Marcelo d'Amorim	[15]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page