BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Silva:Leandro_Dias_da

Contributed to:

SAC 20082008
SAC 20072007
CAV 20062006

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.