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
Quality of grated carrot (var. Nantes) packed under vacuum
Rocha, A.M.C.N, Ferreira, J.F.F.C, Silva, A.M.M, Almeida, G.N, Morais, A.M.M.B
Published in Journal of the science of food and agriculture (01.02.2007)
Published in Journal of the science of food and agriculture (01.02.2007)
Get full text
Journal Article
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
Antimicrobial Effects of Silver(I) and Bismuth(III) Complexes with Secnidazole‑Derived Schiff Base Ligands: the Role of the Nitro Group Reduction
Oliveira, Ana, Ferreira, João, Farias, Luiz, Magalhães, Paula, Teixeira, Leticia, Beraldo, Heloisa
Published in Journal of the Brazilian Chemical Society (01.11.2019)
Published in Journal of the Brazilian Chemical Society (01.11.2019)
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
A randomized clinical trial to evaluate the efficacy and safety of rivaroxaban in patients with bioprosthetic mitral valve and atrial fibrillation or flutter: Rationale and design of the RIVER trial
Guimarães, Helio P., de Barros e Silva, Pedro G.M., Liporace, Idelzuita L., Sampaio, Roney O., Tarasoutchi, Flávio, Paixão, Milena, Hoffmann-Filho, Conrado R., Patriota, Rodrigo, Leiria, Tiago L.L., Lamprea, Diana, Precoma, Dalton B., Atik, Fernando A., Silveira, Fabio S., Farias, Fabio R., Barreto, Diogo O., Almeida, Adail P., Zilli, Alexandre C., de Souza Neto, João D., Cavalcante, Margaret A., Figueira, Fernando A.M.S., Junior, Roque A., Moisés, Valdir A., Mesas, Cezar E., Ardito, Roberto V., Kalil, Paulo S.A., Paiva, Maria S.M.O., Maldonado, Jaime G.A., de Lima, Carlos E.B., D'Oliveira Vieira, Ricardo, Laranjeira, Ligia, Kojima, Flávia, Damiani, Lucas, Nakagawa, Renato H., dos Santos, Juliana R.Y., Sampaio, Bruna S., Campos, Viviane B., Saraiva, Jose F.K., Fonseca, Francisco H., Pinto, Ibraim M., Magalhães, Carlos C., Ferreira, Joao F.M., Lopes, Renato D., Pavanello, Ricardo, Cavalcanti, Alexandre B., Berwanger, Otavio
Published in The American heart journal (01.01.2021)
Published in The American heart journal (01.01.2021)
Get full text
Journal Article
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