I agree that this site is using cookies. You can find further informations here.
X
Ferreira, João F.
19295  results:
english X
Search for persons X
?
1

How are Contracts Used in Android Mobile Applications?:

, In: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings,
Ferreira, David R. ; Mendes, Alexandra ; Ferreira, Joao F. - p. 400-401 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Leveraging Large Language Models to Boost Dafny's Developer..:

, In: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE),
Silva, Álvaro F. ; Mendes, Alexandra ; Ferreira, João F. - p. 138-142 , 2024
Link: https://dl.acm.org/doi/1..
 
?
3

How are Contracts Used in Android Mobile Applications?:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),
Ferreira, David R. ; Mendes, Alexandra ; Ferreira, Joao F. - p. 400-401 , 2024
Link: https://doi.org/10.1145/..
 
?
4

Evolution of automated weakness detection in Ethereum bytec..:

di Angelo, Monika ; Durieux, Thomas ; Ferreira, João F..
Empirical Software Engineering.  29 (2024)  2 - p. , 2024
Link: https://doi.org/10.1007/..
 
?
5

CoqPyt: Proof Navigation in Python in the Era of LLMs:

, In: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering,
Carrott, Pedro ; Saavedra, Nuno ; Thompson, Kyle... - p. 637-641 , 2024
Link: https://dl.acm.org/doi/1..
 
?
6

bGSL: An imperative language for specification and refineme..:

Dunne, Steve ; Ferreira, João F. ; Mendes, Alexandra...
Journal of Logical and Algebraic Methods in Programming.  130 (2023)  - p. 100811 , 2023
Link: https://doi.org/10.1016/..
 
?
7

DifFuzzAR: automatic repair of timing side-channel vulnerab..:

Lima, Rui ; Ferreira, João F. ; Mendes, Alexandra.
Automated Software Engineering.  31 (2023)  1 - p. , 2023
Link: https://doi.org/10.1007/..
 
?
8

SmartBugs 2.0: An Execution Framework for Weakness Detectio..:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),
di Angelo, Monika ; Durieux, Thomas ; Ferreira, Joao F.. - p. 2102-2105 , 2023
Link: https://doi.org/10.1109/..
 
?
9

Polyglot Code Smell Detection for Infrastructure as Code wi..:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),
Saavedra, Nuno ; Goncalves, Joao ; Henriques, Miguel.. - p. 2042-2045 , 2023
Link: https://doi.org/10.1109/..
 
?
10

GLITCH: Automated Polyglot Security Smell Detection in Infr..:

, In: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering,
Saavedra, Nuno ; Ferreira, João F. - p. 1-12 , 2022
Link: https://dl.acm.org/doi/1..
 
?
11

Absence of EPAC1 Signaling to Stabilize CFTR in Intestinal ..:

Ferreira, João F. ; Silva, Iris A. L. ; Botelho, Hugo M...
Cells.  11 (2022)  15 - p. 2295 , 2022
Link: https://doi.org/10.3390/..
 
?
12

Extending ecoandroid with automated detection of resource l..:

, In: Proceedings of the 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems,
Pereira, Ricardo B. ; Ferreira, João F. ; Mendes, Alexandra. - p. 17-27 , 2022
Link: https://dl.acm.org/doi/1..
 
?
13

A Preliminary Study on Generating Well-Formed Q# Quantum Pr..:

, In: 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW),
Trinca, Miguel ; Ferreira, Joao F. ; Abreu, Rui - p. 118-121 , 2022
Link: https://doi.org/10.1109/..
 
?
14

Message from the RSDA 2022 Workshop Chairs: ISSREW 2022:

, In: 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),
Corte, Raffaele Della ; Catillo, Marta ; Ferreira, Joao F.. - p. xxix-xxix , 2022
Link: https://doi.org/10.1109/..
 
?
15

Integrating an academic management system with blockchain: ..:

Guerreiro, Sérgio ; Ferreira, João F. ; Fonseca, Tiago.
Blockchain: Research and Applications.  3 (2022)  4 - p. 100099 , 2022
Link: https://doi.org/10.1016/..
 
1-15