Travelled to:1 × Brazil
1 × Germany
1 × Norway
3 × USA
Collaborated with:R.M.F.Lima C.Hawblitzel M.Kawaguchi S.K.Lahiri M.Ribeiro M.Cornélio S.Soares A.Mota C.A.L.Oliveira L.Ferreira R.Andrade V.Gasiunas L.Satabin P.Borba U.Kulesza C.Sant'Anna R.Coelho
Talks about:aspect (4) contract (3) program (3) implement (2) languag (2) assess (2) pointcut (1) theorem (1) symdiff (1) quantit (1)
Person: Henrique Rebêlo
DBLP: Reb=ecirc=lo:Henrique
Contributed to:
2013
2012
2012
20112011
2008
2008Wrote 7 papers:
- CADE-2013-HawblitzelKLR #automation #proving #source code #theorem proving #towards #using
- Towards Modularly Comparing Programs Using Automated Theorem Provers (CH, MK, SKL, HR), pp. 282–299.
- CAV-2012-LahiriHKR #imperative #named #semantics #source code
- SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs (SKL, CH, MK, HR), pp. 712–717.
- SEKE-2012-RebeloLMOR #aspect-oriented #contract #source code
- Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice (HR, RMFL, AM, CALO, MR), pp. 148–153.
- CSMR-2011-AndradeRGSRB #flexibility #implementation
- Assessing Idioms for Implementing Features with Flexible Binding Times (RA, MR, VG, LS, HR, PB), pp. 231–240.
- SEKE-2011-RebeloLKSCMRO #aspect-oriented #contract #design #impact analysis
- Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study (HR, RMFL, UK, CS, RC, AM, MR, CALO), pp. 450–455.
- ICST-2008-RebeloLCS #aspectj #compilation #ml
- A JML Compiler Based on AspectJ (HR, RMFL, MC, SS), pp. 541–544.
- SAC-2008-RebeloSLFC #aspectj #contract #implementation #java #modelling
- Implementing Java modeling language contracts with AspectJ (HR, SS, RMFL, LF, MC), pp. 228–233.