Rohit Gheyi

Gustavo Soares, Rohit Gheyi, Emerson R. Murphy-Hill, Brittany Johnson: Comparing approaches to analyze refactoring activity on software repositories. Journal of Systems and Software 86(4): 1006-1022 (2013)

Leopoldo Teixeira, Paulo Borba, Rohit Gheyi: Safe composition of configuration knowledge-based software product lines. Journal of Systems and Software 86(4): 1038-1053 (2013)

Gustavo Soares, Rohit Gheyi, Tiago Massoni: Automated Behavioral Testing of Refactoring Engines. IEEE Trans. Software Eng. 39(2): 147-162 (2013)

Paulo Borba, Leopoldo Teixeira, Rohit Gheyi: A theory of software product line refinement. Theor. Comput. Sci. 455: 2-30 (2012)

Felype Ferreira, Paulo Borba, Gustavo Soares, Rohit Gheyi: Making Software Product Line Evolution Safer. SBCARS 2012: 21-30

Rohit Gheyi, David A. Naumann (Eds.): Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings. Lecture Notes in Computer Science 7498, Springer 2012, isbn 978-3-642-33295-1

Rohit Gheyi, Tiago Massoni, Paulo Borba: Automatically Checking Feature Model Refactorings. J. UCS 17(5): 684-711 (2011)

Gustavo Soares, Melina Mongiovi, Rohit Gheyi: Identifying overly strong conditions in refactoring implementations. ICSM 2011: 173-182

Gustavo Soares, Bruno Catao, Catuxe Varjao, Solon Aguiar, Rohit Gheyi, Tiago Massoni: Analyzing Refactorings on Software Repositories. SBES 2011: 164-173

Leopoldo Teixeira, Paulo Borba, Rohit Gheyi: Safe Composition of Configuration Knowledge-Based Software Product Lines. SBES 2011: 263-272

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)

Gustavo Soares, Rohit Gheyi, D. Serey, Tiago Massoni: Making Program Refactoring Safer. IEEE Software 27(4): 52-57 (2010)

Paulo Borba, Leopoldo Teixeira, Rohit Gheyi: A Theory of Software Product Line Refinement. ICTAC 2010: 15-43

Tiago Massoni, Rohit Gheyi, Paulo Borba: Synchronizing Model and Program Refactoring. SBMF 2010: 96-111

Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio: A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing. NASA Formal Methods 2009: 56-65

Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio: A Complete Set of Object Modeling Laws for Alloy. SBMF 2009: 204-219

Gabriel Falconieri Freitas, Márcio Cornélio, Tiago Massoni, Rohit Gheyi: Object-oriented Programming Laws for Annotated Java Programs. RULE 2009: 65-76

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)

Rohit Gheyi, Tiago Massoni, Paulo Borba: Algebraic Laws for Feature Models. J. UCS 14(21): 3573-3591 (2008)

Tiago Massoni, Rohit Gheyi, Paulo Borba: Formal Model-Driven Program Refactoring. FASE 2008: 362-376

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)

Robert Seater, Daniel Jackson, Rohit Gheyi: Requirement progression in problem frames: deriving specifications from requirements. Requir. Eng. 12(2): 77-102 (2007)

Tiago Massoni, Rohit Gheyi, Paulo Borba: An Approach to Invariant-based Program Refactoring. ECEASST 3 (2006)

Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba, Carlos José Pereira de Lucena: Refactoring product lines. GPCE 2006: 201-210

Rohit Gheyi, Tiago Massoni, Paulo Borba: An Abstract Equivalence Notion for Object Models. Electr. Notes Theor. Comput. Sci. 130: 3-21 (2005)

Rohit Gheyi, Tiago Massoni, Paulo Borba: A rigorous approach for proving model refactorings. ASE 2005: 372-375

Tiago Massoni, Rohit Gheyi, Paulo Borba: A model-driven approach to formal refactoring. OOPSLA Companion 2005: 124-125

Rohit Gheyi, Tiago Massoni: Formal refactorings for object models. OOPSLA Companion 2005: 208-209

Rohit Gheyi, Paulo Borba: Refactoring Alloy Specifications. Electr. Notes Theor. Comput. Sci. 95: 227-243 (2004)