E-LIB Suche - Ergebnisse für: Monteiro, Felipe R.

1

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/..

2

Flecainide-induced QRS complex widening correlates with neg..:

Rabêlo Evangelista, Ana B. ; Monteiro, Felipe R. ; Nearing, Bruce D...
Heart Rhythm. 18 (2021) 8 - p. 1416-1422 , 2021

Link: https://doi.org/10.1016/..

3

Model checking C++ programs:

Monteiro, Felipe R. ; Gadelha, Mikhail R. ; Cordeiro, Lucas C.
Software Testing, Verification and Reliability. 32 (2021) 1 - p. , 2021

Link: https://doi.org/10.1002/..

4

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

Chong, Nathan ; Cook, Byron ; Eidelman, Jonathan...
Software: Practice and Experience. 51 (2021) 4 - p. 772-797 , 2021

Link: https://doi.org/10.1002/..

5

T‐wave heterogeneity in standard resting 12‐lead ECGs is as..:

Monteiro, Felipe R. ; Rabelo Evangelista, Ana B. ; Nearing, Bruce D....
Annals of Noninvasive Electrocardiology. 26 (2021) 3 - p. , 2021

Link: https://doi.org/10.1111/..

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

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..

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

ESBMC-GPU A context-bounded model checking tool to verify C..:

Monteiro, Felipe R. ; da S. Alves, Erickson H. ; Silva, Isabela S....
Science of Computer Programming. 152 (2018) - p. 63-69 , 2018

Link: https://doi.org/10.1016/..

13

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..

14

BMCLua : A Translator for Model Checking Lua Programs:

Monteiro, Felipe R. ; Januário, Francisco A.P. ; Cordeiro, Lucas C..
ACM SIGSOFT Software Engineering Notes. 42 (2017) 3 - p. 1-10 , 2017

Link: https://dl.acm.org/doi/1..

15

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

Monteiro, Felipe R. ; Garcia, Mário A. P. ; Cordeiro, Lucas C..
Software Testing, Verification and Reliability. 27 (2017) 3 - p. e1632 , 2017

Link: https://doi.org/10.1002/..