Felipe R. Monteiro
Felipe Rodrigues Monteiro Sousa
Person information
- affiliation: Federal University of Amazonas, Brazil
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [j4]Felipe R. Monteiro, Erickson H. da S. Alves, Isabela da Silva, Hussama Ismail, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
ESBMC-GPU A context-bounded model checking tool to verify CUDA programs. Sci. Comput. Program. 152: 63-69 (2018) - [c9]Mikhail Y. R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole:
ESBMC 5.0: an industrial-strength C model checker. ASE 2018: 888-891 - [c8]Felipe R. Monteiro, Mário A. P. Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract). ASE 2018: 954 - [c7]Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole:
Towards counterexample-guided k-induction for fast bug detection. ESEC/SIGSOFT FSE 2018: 765-769 - 2017
- [j3]Phillipe A. Pereira, Higo F. Albuquerque, Isabela da Silva, Hendrio Marques, Felipe R. Monteiro, Ricardo Ferreira, Lucas C. Cordeiro:
SMT-based context-bounded model checking for CUDA programs. Concurrency and Computation: Practice and Experience 29(22) (2017) - [j2]Felipe R. Monteiro, Francisco A. P. Januário, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
BMCLua: A Translator for Model Checking Lua Programs. ACM SIGSOFT Software Engineering Notes 42(3): 1-10 (2017) - [j1]Felipe R. Monteiro, Mário Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Bounded model checking of C++ programs based on the Qt cross-platform framework. Softw. Test., Verif. Reliab. 27(3) (2017) - 2016
- [c6]Felipe R. Monteiro, Phillipe A. Pereira, Lucas C. Cordeiro, Cicero Ferreira Fernandes Costa Filho, Marly Guimarães Fernandes Costa:
Complementary training programme for electrical and computer engineering students through an industrial-academic collaboration. FIE 2016: 1-9 - [c5]Felipe R. Monteiro:
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 2016: 1151-1153 - [c4]Mário Garcia, Felipe R. Monteiro, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications. SPIN 2016: 97-103 - [i3]Felipe R. Monteiro, Phillipe A. Pereira, Lucas C. Cordeiro, Cicero Ferreira Fernandes Costa Filho, Marly Guimarães Fernandes Costa:
Complementary Training Programme for Electrical and Computer Engineering Students Through an Industrial-Academic Collaboration (Extended Version). CoRR abs/1608.00143 (2016) - [i2]Felipe R. Monteiro:
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. CoRR abs/1610.10079 (2016) - 2015
- [c3]Felipe Rodrigues Monteiro Sousa, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Bounded model checking of C++ programs based on the Qt framework. GCCE 2015: 179-180 - [i1]Felipe Rodrigues Monteiro Sousa, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version). CoRR abs/1509.01682 (2015) - 2013
- [c2]Mikhail Ramalho, Mauro Freitas, Felipe Rodrigues Monteiro Sousa, Hendrio Marques, Lucas C. Cordeiro, Bernd Fischer:
SMT-Based Bounded Model Checking of C++ Programs. ECBS 2013: 147-156 - 2012
- [c1]Felipe Rodrigues Monteiro Sousa, Thais Helena Chaves de Castro:
WorldTour: Towards an Adaptive Software to Support Children with Autism in Tour Planning. COMPSAC 2012: 368
Coauthor Index
last updated on 2019-01-24 23:16 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint