BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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 DBLP: Monteiro:Felipe_R=

Contributed to:

FSE 20162016
ASE 20182018
ESEC/FSE 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.