DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring
Lima, Rui, Ferreira, João F., Mendes, Alexandra, Carreira, Carolina
Published in Automated software engineering (01.06.2024)
Published in Automated software engineering (01.06.2024)
Get full text
Journal Article
Automated narrative planning model extension
Porteous, Julie, Ferreira, João F., Lindsay, Alan, Cavazza, Marc
Published in Autonomous agents and multi-agent systems (01.10.2021)
Published in Autonomous agents and multi-agent systems (01.10.2021)
Get full text
Journal Article
Cell type-specific regulation of CFTR trafficking-on the verge of progress
Farinha, Carlos M, Santos, Lúcia, Ferreira, João F
Published in Frontiers in cell and developmental biology (04.03.2024)
Published in Frontiers in cell and developmental biology (04.03.2024)
Get full text
Journal Article
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
Saavedra, Nuno, Goncalves, Joao, Henriques, Miguel, Ferreira, Joao F., Mendes, Alexandra
Published in 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) (11.09.2023)
Published in 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) (11.09.2023)
Get full text
Conference Proceeding
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts
di Angelo, Monika, Durieux, Thomas, Ferreira, Joao F., Salzer, Gernot
Published in 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) (11.09.2023)
Published in 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) (11.09.2023)
Get full text
Conference Proceeding
Integrating an academic management system with blockchain: A case study
Guerreiro, Sérgio, Ferreira, João F., Fonseca, Tiago, Correia, Miguel
Published in Blockchain. Research and applications Online (01.12.2022)
Published in Blockchain. Research and applications Online (01.12.2022)
Get full text
Journal Article
Absence of EPAC1 Signaling to Stabilize CFTR in Intestinal Organoids
Ferreira, João F., Silva, Iris A. L., Botelho, Hugo M., Amaral, Margarida D., Farinha, Carlos M.
Published in Cells (Basel, Switzerland) (25.07.2022)
Published in Cells (Basel, Switzerland) (25.07.2022)
Get full text
Journal Article
Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts
Durieux, Thomas, Ferreira, Joao F., Abreu, Rui, Cruz, Pedro
Published in 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) (01.10.2020)
Published in 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) (01.10.2020)
Get full text
Conference Proceeding
SmartBugs: A Framework to Analyze Solidity Smart Contracts
Ferreira, Joao F., Cruz, Pedro, Durieux, Thomas, Abreu, Rui
Published in 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2020)
Published in 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2020)
Get full text
Conference Proceeding
Cytoskeleton regulators CAPZA2 and INF2 associate with CFTR to control its plasma membrane levels under EPAC1 activation
Santos, João D, Pinto, Francisco R, Ferreira, João F, Amaral, Margarida D, Zaccolo, Manuela, Farinha, Carlos M
Published in Biochemical journal (17.07.2020)
Published in Biochemical journal (17.07.2020)
Get more information
Journal Article
GPS+: Reasoning About Fences and Relaxed Atomics
He, Mengda, Vafeiadis, Viktor, Qin, Shengchao, Ferreira, João F.
Published in International journal of parallel programming (01.12.2018)
Published in International journal of parallel programming (01.12.2018)
Get full text
Journal Article
Impact of metabolic syndrome on the outcome of patients with stable coronary artery disease: 2-year follow-up of the MASS II study
Lopes, Neuza H, Paulitsch, Felipe S, Pereira, Alexandre C, Góis, Aécio F, Gagliardi, Antônio, Garzillo, Cibele L, Ferreira, João F, Stolf, Noedir A, Hueb, Whady
Published in Coronary artery disease (01.09.2008)
Published in Coronary artery disease (01.09.2008)
Get more information
Journal Article