ask others

Felipe R. Monteiro

Felipe Rodrigues Monteiro Sousa

> Home > Persons

Person information

affiliation: Federal University of Amazonas, Brazil

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/MonteiroASICF18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/MonteiroASICF18
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/kbse/GadelhaMMC0N18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/kbse/GadelhaMMC0N18
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/kbse/MonteiroGCF18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/kbse/MonteiroGCF18
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sigsoft/GadelhaMCN18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sigsoft/GadelhaMCN18
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/concurrency/PereiraASMMFC17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/concurrency/PereiraASMMFC17
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigsoft/MonteiroJCF17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigsoft/MonteiroJCF17
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/stvr/MonteiroGCF17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/stvr/MonteiroGCF17
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/fie/MonteiroPCFC16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fie/MonteiroPCFC16
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sigsoft/Monteiro16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sigsoft/Monteiro16
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/GarciaMCF16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/GarciaMCF16
Mário Garcia, Felipe R. Monteiro, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
ESBMC^QtOM: A Bounded Model Checking Tool to Verify Qt Applications. SPIN 2016: 97-103
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/MonteiroPCFC16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/MonteiroPCFC16
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]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/Monteiro16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/Monteiro16
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/gcce/SousaCF15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gcce/SousaCF15
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]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/SousaCF15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/SousaCF15
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]
- view
- export record
  dblp key:
  - conf/ecbs/RamalhoFSMC013
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecbs/RamalhoFSMC013
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/compsac/SousaC12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compsac/SousaC12
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

see FAQ

maintained by

at