Travelled to:1 × Brazil
1 × South Africa
1 × USA
Collaborated with:B.Fischer ∅ F.Cruz R.S.Barreto
Talks about:softwar (3) model (3) thread (2) multi (2) embed (2) check (2) bound (2) base (2) smt (2) approach (1)
Person: Lucas Cordeiro
DBLP: Cordeiro:Lucas
Contributed to:
20112010
2008Wrote 3 papers:
- ICSE-2011-CordeiroF #bound #concurrent #model checking #multi #smt #thread #using #verification
- Verifying multi-threaded software using smt-based context-bounded model checking (LC, BF), pp. 331–340.
- ICSE-2010-Cordeiro #bound #concurrent #embedded #model checking #multi #smt #thread
- SMT-based bounded model checking for multi-threaded software in embedded systems (LC), pp. 373–376.
- 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.