I agree that this site is using cookies. You can find further informations here.
X
Ferreira, Joao F.
23754  results:
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

Cell type-specific regulation of CFTR trafficking—on the ve..:

Farinha, Carlos M. ; Santos, Lúcia ; Ferreira, João F.
Frontiers in Cell and Developmental Biology.  12 (2024)  - p. , 2024
Link: https://doi.org/10.3389/..
 
?
4

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

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

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

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

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

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

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

Verified Password Generation from Password Composition Poli..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Grilo, Miguel ; Campos, João ; Ferreira, João F... - p. 271-288 , 2022
Link: https://doi.org/10.1007/..
 
?
12

Extending EcoAndroid with Automated Detection of Resource L..:

, In: 2022 IEEE/ACM 9th International Conference on Mobile Software Engineering and Systems (MobileSoft),
Pereira, Ricardo B. ; Ferreira, Joao F. ; Mendes, Alexandra. - p. 17-27 , 2022
Link: https://doi.org/10.1145/..
 
?
13

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

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

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