I agree that this site is using cookies. You can find further informations here.
X
Ferreira, João F.
1538  results:
Bookchapter (Online) 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

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

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

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

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

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

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

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

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

EcoAndroid: An Android Studio Plugin for Developing Energy-..:

, In: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS),
Ribeiro, Ana ; Ferreira, Joao F. ; Mendes, Alexandra - p. 62-69 , 2021
Link: https://doi.org/10.1109/..
 
?
14

Open and Interactive Learning Resources for Algorithmic Pro..:

, In: Lecture Notes in Computer Science; Formal Methods. FM 2019 International Workshops,
Ferreira, João F. ; Mendes, Alexandra - p. 200-208 , 2020
Link: https://doi.org/10.1007/..
 
?
15

Extending Narrative Planning Domains with Linguistic Resour..:

, In: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems,
Porteous, Julie ; Ferreira, João F. ; Lindsay, Alan. - p. 1081-1089 , 2020
Link: https://dl.acm.org/doi/1..
 
1-15