Travelled to:1 × Korea
1 × USA
Collaborated with:H.O.d.Almeida G.Ferreira E.Loureiro L.D.d.Silva F.M.Bublitz L.C.Silva S.O.D.Luiz A.Perkusich
Talks about:model (5) petri (2) check (2) net (2) approach (1) softwar (1) environ (1) system (1) specif (1) signag (1)
Person: Elthon A. S. Oliveira
DBLP: Oliveira:Elthon_A=_S=
Contributed to:
2013
2007Wrote 3 papers:
- SEKE-2013-BublitzSOLAP #adaptation #pervasive #petri net #specification
- A Petri Net Model Specification for Delivering Adaptable Ads through Digital Signage in Pervasive Environments (FMB, LCS, EASO, SODL, HOdA, AP), pp. 405–410.
- SAC-2007-FerreiraLO #approach #java #model checking
- A Java code annotation approach for model checking software systems (GF, EL, EASO), pp. 1536–1537.
- 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.