Collaborated with:L.C.Cordeiro ∅ M.Y.R.Gadelha D.A.Nicole M.A.P.Garcia E.B.d.L.Filho J.Morse B.F.0002
Talks about:model (4) state (2) space (2) digit (2) check (2) bound (2) base (2) counterexampl (1) implement (1) framework (1)
Person: Felipe R. Monteiro
DBLP: Monteiro:Felipe_R=
Contributed to:
2016
2018
2018Wrote 4 papers:
- FSE-2016-Monteiro #bound #finite #fixpoint #implementation #model checking #modelling
- Bounded model checking of state-space digital systems: the impact of finite word-length effects on the implementation of fixed-point digital controllers based on state-space modeling (FRM), pp. 1151–1153.
- ASE-2018-GadelhaMMC0N #c #model checking
- ESBMC 5.0: an industrial-strength C model checker (MYRG, FRM, JM, LCC, BF0, DAN), pp. 888–891.
- ASE-2018-MonteiroGCF #bound #c++ #framework #model checking #platform #source code
- Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract) (FRM, MAPG, LCC, EBdLF), p. 954.
- ESEC-FSE-2018-GadelhaMCN #debugging #detection #performance #towards
- Towards counterexample-guided k-induction for fast bug detection (MYRG, FRM, LCC, DAN), pp. 765–769.