Folgen
Felipe R. Monteiro
Felipe R. Monteiro
Sonstige NamenFelipe R. M. Sousa, F. Sousa, F. Monteiro
Bestätigte E-Mail-Adresse bei amazon.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
ESBMC 5.0: an industrial-strength C model checker
MR Gadelha, FR Monteiro, J Morse, LC Cordeiro, B Fischer, DA Nicole
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
1092018
ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference: (Competition Contribution)
MR Gadelha, F Monteiro, L Cordeiro, D Nicole
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
722019
SMT-based bounded model checking of C++ programs
M Ramalho, M Freitas, F Sousa, H Marques, L Cordeiro, B Fischer
2013 20th IEEE International Conference and Workshops on Engineering of …, 2013
492013
Code-Level Model Checking in the Software Development Workflow
N Chong, B Cook, K Kallas, K Khazem, FR Monteiro, ...
42nd International Conference on Software Engineering (ICSE), 2020
382020
ESBMC-GPU A context-bounded model checking tool to verify CUDA programs
FR Monteiro, EHS Alves, IS Silva, HI Ismail, LC Cordeiro, ...
Science of Computer Programming 152, 63-69, 2018
312018
Bounded model checking of C++ programs based on the Qt cross‐platform framework
FR Monteiro, MAP Garcia, LC Cordeiro, EB de Lima Filho
Software Testing, Verification and Reliability 27 (3), e1632, 2017
292017
Worldtour: Software para suporte no ensino de crianças autistas
FRM Sousa, EAB Costa, THC de Castro
Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2012
262012
SMT‐based context‐bounded model checking for CUDA programs
P Pereira, H Albuquerque, I da Silva, H Marques, F Monteiro, R Ferreira, ...
Concurrency and Computation: Practice and Experience 29 (22), e3934, 2017
232017
Code‐level model checking in the software development workflow at Amazon web services
N Chong, B Cook, J Eidelman, K Kallas, K Khazem, FR Monteiro, ...
Software: Practice and Experience 51 (4), 772-797, 2021
222021
Bounded Model Checking of C++ Programs Based on the Qt Framework
FRM Sousa, LC Cordeiro, EB de Lima Filho
IEEE 4th Global Conference on Consumer Electronics, 2015
222015
Model checking C++ programs
FR Monteiro, MR Gadelha, LC Cordeiro
Software Testing, Verification and Reliability 32 (1), e1793, 2022
212022
ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory
MR Gadelha, R Menezes, FR Monteiro, LC Cordeiro, D Nicole
23rd International Conference on Fundamental Approaches to Software …, 2020
15*2020
ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications
M Garcia, F Monteiro, L Cordeiro, E de Lima Filho
International Symposium on Model Checking Software, 2016
14*2016
Towards Counterexample-Guided k-Induction for Fast Bug Detection
MR Gadelha, FR Monteiro, LC Cordeiro, DA Nicole
26th ACM Joint European Software Engineering Conference and Symposium on the …, 2018
72018
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 …
FR Monteiro
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
7*2016
Complementary training programme for electrical and computer engineering students through an industrial-academic collaboration
FR Monteiro, PA Pereira, LC Cordeiro, CFF Costa Filho, MGF Costa
2016 IEEE Frontiers in Education Conference (FIE), 1-9, 2016
72016
Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract)
FR Monteiro, MAP Garcia, LC Cordeiro, EB de Lima Filho
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
52018
WorldTour: Towards an Adaptive Software to Support Children with Autism in Tour Planning
FRM Sousa, THC d. Castro
Computer Software and Applications Conference (COMPSAC), 2012 IEEE 36th …, 2012
52012
BMCLua: A translator for model checking Lua programs
FR Monteiro, FAP Januário, LC Cordeiro, EB de Lima Filho
ACM SIGSOFT Software Engineering Notes 42 (3), 1-10, 2017
42017
Boost the impact of continuous formal verification in industry
FR Monteiro, MR Gadelha, LC Cordeiro
arXiv preprint arXiv:1904.06152, 2019
22019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20