Travelled to:1 × Brazil
1 × Germany
1 × Italy
1 × United Kingdom
Collaborated with:L.C.Cordeiro H.Rocha F.Cruz L.Cordeiro A.D.Neto P.R.M.Maciel
Talks about:model (4) softwar (3) program (2) embed (2) check (2) bound (2) time (2) real (2) hard (2) use (2)
Person: Raimundo S. Barreto
DBLP: Barreto:Raimundo_S=
Contributed to:
2015
2012
2008
2008Wrote 4 papers:
- SEFM-2015-RochaBC #bound #c #generative #memory management #model checking #source code #testing #using
- Memory Management Test-Case Generation of C Programs Using Bounded Model Checking (HR, RSB, LCC), pp. 251–267.
- IFM-2012-RochaBCN #bound #comprehension #debugging #model checking #programming #using
- Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples (HR, RSB, LCC, ADN), pp. 128–142.
- DATE-2008-CruzBCM #embedded #modelling #named #realtime #synthesis
- ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis (FC, RSB, LCC, PRMM), pp. 1510–1515.
- SAC-2008-CruzBC #approach #embedded #modelling #realtime #towards
- Towards a model-driven engineering approach for developing embedded hard real-time software (FC, RSB, LC), pp. 308–314.