( en | de | ru )

 

Disambiguation of "Monteiro, Felipe R."

Author of the publication

copydeleteadd this publication to your clipboard
Experimental Data for Model Checking C++03 Programs.

, , and . (September 2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Maria Monteiro

Teresa Monteiro

Felipe Zambaldi

Felipe Ortuño

Felipe Vieira

 

Other publications of authors with the same name

ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications., , , and . SPIN, volume 9641 of Lecture Notes in Computer Science, page 97-103. Springer, (2016)Experimental Data for Model Checking C++03 Programs., , and . (September 2019)Complementary training programme for electrical and computer engineering students through an industrial-academic collaboration., , , , and . FIE, page 1-9. IEEE Computer Society, (2016)Complementary Training Programme for Electrical and Computer Engineering Students Through an Industrial-Academic Collaboration (Extended Version)., , , , and . CoRR, (2016)ESBMC-GPU A context-bounded model checking tool to verify CUDA programs., , , , , and . Sci. Comput. Program., (2018)Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space., , , , and . CoRR, (2019)Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract)., , , and . ASE, page 954. ACM, (2018)ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution)., , , , and . FASE, volume 12076 of Lecture Notes in Computer Science, page 525-529. Springer, (2020)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.. SIGSOFT FSE, page 1151-1153. ACM, (2016)Towards counterexample-guided k-induction for fast bug detection., , , and . ESEC/SIGSOFT FSE, page 765-769. ACM, (2018)