Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Rohit Gheyi

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Tiago Massoni

> Home > Persons > Rohit Gheyi

Publications

2014
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/MilanezMG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/MilanezMG14
Alysson Milanez, Tiago Massoni, Rohit Gheyi:
Enhancing conformance checking for contract-based programs. SPLASH (Companion Volume) 2014: 57-58
2013
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/SoaresGM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/SoaresGM13
Gustavo Soares, Rohit Gheyi, Tiago Massoni:
Automated Behavioral Testing of Refactoring Engines. IEEE Trans. Software Eng. 39(2): 147-162 (2013)
2011
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/GheyiMB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/GheyiMB11
Rohit Gheyi, Tiago Massoni, Paulo Borba:
Automatically Checking Feature Model Refactorings. J. Univers. Comput. Sci. 17(5): 684-711 (2011)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sbes/SoaresCVAGM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/SoaresCVAGM11
Gustavo Soares, Bruno Catao, Catuxe Varjao, Solon Aguiar, Rohit Gheyi, Tiago Massoni:
Analyzing Refactorings on Software Repositories. SBES 2011: 164-173
2010
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/software/SoaresGSM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/SoaresGSM10
Gustavo Soares, Rohit Gheyi, Dalton Dario Serey, Tiago Massoni:
Making Program Refactoring Safer. IEEE Softw. 27(4): 52-57 (2010)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/MassoniGB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/MassoniGB10
Tiago Massoni, Rohit Gheyi, Paulo Borba:
Synchronizing Model and Program Refactoring. SBMF 2010: 96-111
2009
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/GheyiMBS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/GheyiMBS09
Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio:
A Complete Set of Object Modeling Laws for Alloy. SBMF 2009: 204-219
[c11]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1003-4800
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1003-4800
Gabriel Falconieri Freitas, Márcio Cornélio, Tiago Massoni, Rohit Gheyi:
Object-oriented Programming Laws for Annotated Java Programs. RULE 2009: 65-76
2008
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/GheyiMB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/GheyiMB08
Rohit Gheyi, Tiago Massoni, Paulo Borba:
Algebraic Laws for Feature Models. J. Univers. Comput. Sci. 14(21): 3573-3591 (2008)
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/MassoniGB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/MassoniGB08
Tiago Massoni, Rohit Gheyi, Paulo Borba:
Formal Model-Driven Program Refactoring. FASE 2008: 362-376
2006
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/MassoniGB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/MassoniGB06
Tiago Massoni, Rohit Gheyi, Paulo Borba:
An Approach to Invariant-based Program Refactoring. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 3 (2006)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/AlvesGMKBL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/AlvesGMKBL06
Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba, Carlos José Pereira de Lucena:
Refactoring product lines. GPCE 2006: 201-210
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MassoniGB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MassoniGB08
Tiago Massoni, Rohit Gheyi, Paulo Borba:
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs. SBMF 2006: 189-209
2005
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/GheyiMB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/GheyiMB05
Rohit Gheyi, Tiago Massoni, Paulo Borba:
A rigorous approach for proving model refactorings. ASE 2005: 372-375
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/MassoniGB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/MassoniGB05
Tiago Massoni, Rohit Gheyi, Paulo Borba:
A model-driven approach to formal refactoring. OOPSLA Companion 2005: 124-125
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/GheyiM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/GheyiM05
Rohit Gheyi, Tiago Massoni:
Formal refactorings for object models. OOPSLA Companion 2005: 208-209
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sbes/MassoniGB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/MassoniGB05
Tiago Massoni, Rohit Gheyi, Paulo Borba:
Formal Refactoring for UML Class Diagrams. SBES 2005: 152-167
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GheyiMB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GheyiMB07
Rohit Gheyi, Tiago Massoni, Paulo Borba:
A Static Semantics for Alloy and its Impact in Refactorings. SBMF 2005: 209-233
2004
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GheyiMB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GheyiMB05
Rohit Gheyi, Tiago Massoni, Paulo Borba:
An Abstract Equivalence Notion for Object Models. SBMF 2004: 3-21

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.