Travelled to:1 × Brazil
1 × Cyprus
1 × Norway
1 × Spain
1 × Taiwan
1 × USA
Collaborated with:C.A.L.Oliveira H.Rebêlo R.D.Lins M.Cornélio S.Soares A.L.M.Santos F.H.Carvalho A.Mota M.Ribeiro M.Teixeira P.R.M.Maciel A.M.Lemos C.C.Sabino L.Ferreira U.Kulesza C.Sant'Anna R.Coelho
Talks about:aspect (4) contract (3) process (3) base (3) model (2) sub (2) implement (1) agreement (1) stochast (1) pointcut (1)
Person: Ricardo Massa Ferreira Lima
DBLP: Lima:Ricardo_Massa_Ferreira
Contributed to:
2012
20112011
2008200820042002Wrote 8 papers:
- 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.
- SAC-2011-TeixeiraLOM #modelling #probability
- Planning service agreements in soa-based systems through stochastic models (MT, RMFL, CALO, PRMM), pp. 1576–1581.
- SEKE-2011-LemosSLO #consistency #development #mining #process
- Conformance Checking of Software Development Processes Through Process Mining (AML, CCS, RMFL, CALO), pp. 654–659.
- 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.
- SAC-2004-LimaLS #category theory #combinator #haskell #multi
- A back-end for GHC based on categorical multi-combinators (RMFL, RDL, ALMS), pp. 1482–1489.
- SAC-2002-CarvalhoLL #coordination #functional #haskell #process
- Coordinating functional processes with Haskell# (FHC, RMFL, RDL), pp. 393–400.