I agree that this site is using cookies. You can find further informations here.
X
Monteiro, Felipe A.
70  results:
Bookchapter (Online) X
Search for persons X
?
1

Tuning of a Type-III Software-Based Resolver-to-Digital Con..:

, In: 2020 IEEE International Conference on Industrial Technology (ICIT),
Monteiro, Felipe A. ; Estrabis, Thyago ; Cordero, Raymundo.. - p. 576-581 , 2020
Link: https://doi.org/10.1109/..
 
?
2

ESBMC v6.0: Verifying C Programs Using k-Induction and Inva..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Gadelha, Mikhail R. ; Monteiro, Felipe ; Cordeiro, Lucas. - p. 209-213 , 2019
Link: https://doi.org/10.1007/..
 
?
3

State-Owned Multinationals in International Competition:

, In: The Oxford handbook of management in emerging markets / edited by Robert Grosse and Klaus E. Meyer
Musacchio, Aldo ; Monteiro, Felipe ; Lazzarini, Sergio G.. (2018) 
Link: https://doi.org/10.1093/..

Copies:  Zentrale:E02 a vwl 608.66/998; BB WiWi: 11a vwl 608.66/998a
 
?
4

Time-Domain Analysis of Protection Systems - Assessing the ..:

, In: 2023 Workshop on Communication Networks and Power Systems (WCNPS),
Soares De Souza, Joao R. ; Monteiro, Felipe Vidotti ; Resende, Filipe B.. - p. 1-7 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Summary of Model Checking C++ Programs:

, In: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST),
Monteiro, Felipe R. ; Gadelha, Mikhail R. ; Cordeiro, Lucas C. - p. 461-461 , 2022
Link: https://doi.org/10.1109/..
 
?
6

ESBMC: Scalable and Precise Test Generation based on the Fl..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Gadelha, Mikhail R. ; Menezes, Rafael ; Monteiro, Felipe R... - p. 525-529 , 2020
Link: https://doi.org/10.1007/..
 
?
7

Code-level model checking in the software development workf..:

, In: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Practice,
Chong, Nathan ; Cook, Byron ; Kallas, Konstantinos... - p. 11-20 , 2020
Link: https://dl.acm.org/doi/1..
 
?
8

Modeling and Simulation of a Stirling Engine in SCILAB:

, In: 2019 IEEE 15th Brazilian Power Electronics Conference and 5th IEEE Southern Power Electronics Conference (COBEP/SPEC),
Cordero, Raymundo ; Estrabis, Thyago ; Onofre, Joao.. - p. 1-5 , 2019
Link: https://doi.org/10.1109/..
 
?
9

Bounded Model Checking of C++ Programs Based on the Qt Cros..:

, In: 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE),
Monteiro, Felipe R. ; Garcia, Mario A. P. ; Cordeiro, Lucas C.. - p. 954-954 , 2018
Link: https://doi.org/10.1145/..
 
?
10

ESBMC 5.0: An Industrial-Strength C Model Checker:

, In: 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE),
Gadelha, Mikhail R. ; Monteiro, Felipe R. ; Morse, Jeremy... - p. 888-891 , 2018
Link: https://doi.org/10.1145/..
 
?
11

ESBMC 5.0: an industrial-strength C model checker:

, In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering,
Gadelha, Mikhail R. ; Monteiro, Felipe R. ; Morse, Jeremy... - p. 888-891 , 2018
Link: https://dl.acm.org/doi/1..
 
?
12

Bounded model checking of C++ programs based on the Qt cros..:

, In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering,
Monteiro, Felipe R. ; Garcia, Mário A. P. ; Cordeiro, Lucas C.. - p. 954 ff. , 2018
Link: https://dl.acm.org/doi/1..
 
?
13

Towards counterexample-guided k-induction for fast bug dete..:

, In: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Gadelha, Mikhail R. ; Monteiro, Felipe R. ; Cordeiro, Lucas C.. - p. 765-769 , 2018
Link: https://dl.acm.org/doi/1..
 
?
14

Bounded model checking of state-space digital systems: the ..:

, In: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering,
Monteiro, Felipe R. - p. 1151-1153 , 2016
Link: https://dl.acm.org/doi/1..
 
?
15

Active distribution network expansion planning considering ..:

, In: 2022 IEEE Power & Energy Society General Meeting (PESGM),
de Souza, Jonas V. ; Monteiro, Felipe M. dos S. ; de Godoy, Paulo T.. - p. 1-5 , 2022
Link: https://doi.org/10.1109/..
 
1-15