Henrique Rebêlo Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Shuvendu K. Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Rebêlo: SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs. CAV 2012: 712-717
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, Cesar A. L. Oliveira, Márcio Ribeiro: Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice. SEKE 2012: 148-153
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, César Oliveria, Márcio Ribeiro: Checking Contracts for AOP using XPIDRs. SEKE 2012
2011
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rodrigo Andrade, Márcio Ribeiro, Vaidas Gasiunas, Lucas Satabin, Henrique Rebêlo, Paulo Borba: Assessing Idioms for Implementing Features with Flexible Binding Times. CSMR 2011: 231-240
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Henrique Rebêlo: Towards client-aware interface specifications. OOPSLA Companion 2011: 71-74
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Uirá Kulesza, Cláudio Sant'Anna, Roberta Coelho, Alexandre Mota, Márcio Ribeiro, Cesar A. L. Oliveira: Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study. SEKE 2011: 450-455
2010
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Elias Araújo, Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, Fernando Castor, Tiago Lima, Juliana Lucena, Filipe Lima: An Aspect-based Approach for Concurrent Programming using CSP Features. ICSOFT (2) 2010: 226-231
2008
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Márcio Cornélio, Sérgio Soares: A JML Compiler Based on AspectJ. ICST 2008: 541-544
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Henrique Rebêlo, Sérgio Soares, Ricardo Massa Ferreira Lima, Leopoldo Ferreira, Márcio Cornélio: Implementing Java modeling language contracts with AspectJ. SAC 2008: 228-233

Coauthor Index

1Rodrigo Andrade
[c6]
2José Elias Araújo
[c3]
3Paulo Borba
[c6]
4Roberta Coelho
[c4]
5Márcio Cornélio
[c2] [c1]
6Leopoldo Ferreira
[c1]
7Fernando Castor Filho (Fernando Castor)
[c3]
8Vaidas Gasiunas
[c6]
9Chris Hawblitzel
[c9]
10Ming Kawaguchi
[c9]
11Uirá Kulesza
[c4]
12Shuvendu K. Lahiri
[c9]
13Filipe Lima
[c3]
14Ricardo Massa Ferreira Lima
[c8] [c7] [c4] [c3] [c2] [c1]
15Tiago Lima
[c3]
16Juliana Lucena
[c3]
17Alexandre Mota (Alexandre Cabral Mota)
[c8] [c7] [c4] [c3]
18Cesar A. L. Oliveira
[c8] [c4]
19César Oliveria
[c7]
20Márcio Ribeiro (Márcio de Medeiros Ribeiro)
[c8] [c7] [c6] [c4]
21Cláudio Sant'Anna
[c4]
22Lucas Satabin
[c6]
23Sérgio Soares (Sérgio C. B. Soares)
[c2] [c1]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 19 03:40:07 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page