Travelled to:2 × Germany
Collaborated with:H.Zabel W.Müller L.B.d.Brisolara R.M.Redin L.C.Lamb L.Carro F.R.Wagner
Talks about:heterogen (1) strategi (1) properti (1) softwar (1) generat (1) assert (1) verif (1) front (1) rtos (1) code (1)
Person: Marcio F. da S. Oliveira
DBLP: Oliveira:Marcio_F=_da_S=
Contributed to:
20102008Wrote 2 papers:
- DATE-2010-OliveiraZ0 #verification
- Assertion-based verification of RTOS properties (MFdSO, HZ, WM), pp. 630–633.
- DATE-2008-BrisolaraORLCW #code generation #uml #using
- Using UML as Front-end for Heterogeneous Software Code Generation Strategies (LBdB, MFdSO, RMR, LCL, LC, FRW), pp. 504–509.