Travelled to:1 × Brazil
1 × Korea
1 × USA
Collaborated with:H.O.d.Almeida S.O.D.Luiz G.d.M.Vasconcelos E.A.S.Oliveira F.Bublitz A.Perkusich E.Loureiro E.d.B.Costa B.T.Adler L.d.Alfaro M.Faella A.Legay V.Raman P.Roy
Talks about:model (3) formal (2) infrastructur (1) transmiss (1) processor (1) platform (1) interfac (1) composit (1) gateway (1) environ (1)
Person: Leandro Dias da Silva
DBLP: Silva:Leandro_Dias_da
Contributed to:
20082007
2006Wrote 4 papers:
- SAC-2008-BublitzAPLCD #framework #pervasive
- An infrastructure for developing context aware applications in pervasive environments (FB, HOdA, AP, EL, EdBC, LDdS), pp. 1958–1959.
- SAC-2008-LuizVS #framework #platform #specification
- Formal specification of DSP gateway for data transmission between processor cores of OMAP platform (SODL, GdMV, LDdS), pp. 1545–1549.
- SAC-2007-OliveiraAS #component #formal method #model checking #modelling #petri net #using #verification
- Formal modelling and verification of a component model using coloured petri nets and model checking (EASO, HOdA, LDdS), pp. 1427–1431.
- CAV-2006-AdlerASFLRR #composition #interface #named
- Ticc: A Tool for Interface Compatibility and Composition (BTA, LdA, LDdS, MF, AL, VR, PR), pp. 59–62.