Instituto de Engenharia de Sistemas e Computadores (INESC ID)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 Only validated by team members publications are included.
 Only the current year team is included in this action.>
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a month!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 Only validated by current year team members publications are included.
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a day!

Publications Count: 35

2 Team Members
Filters -> Year: 2026
1
TÍTULO: CoqPyt: Proof Navigation in Python in the Era of LLMs
AUTORES: Carrott, Pedro; Saavedra, Nuno; Thompson, Kyle; Lerner, Sorin; Ferreira, Joao F. ; First, Emily;
PUBLICAÇÃO: 2024, FONTE: 32nd ACM International Conference on the Foundations of Software Engineering (FSE) in COMPANION PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2024, PÁGINAS: 637-641
INDEXADO EM: Scopus WOS CrossRef
2
TÍTULO: DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring
AUTORES: Lima, Rui; Ferreira, Joao F. ; Mendes, Alexandra ; Carreira, Carolina;
PUBLICAÇÃO: 2024, FONTE: AUTOMATED SOFTWARE ENGINEERING, VOLUME: 31, NÚMERO: 1, PÁGINAS: 1
INDEXADO EM: Scopus WOS DBLP CrossRef
3
TÍTULO: How are Contracts Used in Android Mobile Applications?
AUTORES: Ferreira, David R.; Mendes, Alexandra ; Ferreira, Joao F. ;
PUBLICAÇÃO: 2024, FONTE: 44th International Conference on Software Engineering: Companion Proceedings in 2024 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION 2024, PÁGINAS: 400-401
INDEXADO EM: Scopus WOS DBLP CrossRef
4
TÍTULO: Leveraging Large Language Models to Boost Dafny's Developers Productivity
AUTORES: Silva, Alvaro; Mendes, Alexandra ; Ferreira, Joao F. ;
PUBLICAÇÃO: 2024, FONTE: IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) in PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE 2024, PÁGINAS: 138-142
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
5
TÍTULO: Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
AUTORES: Saavedra, Nuno; Goncalves, Joao; Henriques, Miguel; Ferreira, Joao F. ; Mendes, Alexandra ;
PUBLICAÇÃO: 2023, FONTE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, PÁGINAS: 2042-2045
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
6
TÍTULO: SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts
AUTORES: di Angelo, Monika; Durieux, Thomas; Ferreira, Joao F. ; Salzer, Gernot;
PUBLICAÇÃO: 2023, FONTE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, PÁGINAS: 2102-2105
INDEXADO EM: Scopus WOS CrossRef: 2
7
TÍTULO: GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code
AUTORES: Saavedra, Nuno ; Ferreira, Joao F.;
PUBLICAÇÃO: 2022, FONTE: 37th IEEE/ACM International Conference on Automated Software Engineering (ASE) in PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022
INDEXADO EM: Scopus WOS CrossRef: 8
8
TÍTULO: Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
AUTORES: Lima, Rui; Ferreira, Joao F. ; Mendes, Alexandra ;
PUBLICAÇÃO: 2021, FONTE: 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2021), PÁGINAS: 1-8
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
9
TÍTULO: Formal Methods Teaching. 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTORES: João F Ferreira ; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef: 2
10
TÍTULO: Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks
AUTORES: David Pereira; João F Ferreira ; Alexandra Mendes ;
PUBLICAÇÃO: 2020, FONTE: 31st IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2020 in 2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020, PÁGINAS: 237-242
INDEXADO EM: Scopus DBLP CrossRef: 2
11
TÍTULO: SmartBugs. a framework to analyze solidity smart contracts
AUTORES: João F Ferreira ; Pedro Cruz; Thomas Durieux; Rui Abreu ;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
INDEXADO EM: CrossRef: 1
12
TÍTULO: Framer: Planning models from natural language action descriptions
AUTORES: Lindsay, A; Read, J; Ferreira, JF ; Hayton, T; Porteous, J; Gregory, P;
PUBLICAÇÃO: 2017, FONTE: 27th International Conference on Automated Planning and Scheduling, ICAPS 2017 in Proceedings International Conference on Automated Planning and Scheduling, ICAPS, PÁGINAS: 434-442
INDEXADO EM: Scopus
13
TÍTULO: REQCAP: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems
AUTORES: Ali Almohammad; Joao F Ferreira ; Alexandra Mendes ; Phil White;
PUBLICAÇÃO: 2017, FONTE: 25th IEEE International Requirements Engineering Conference Workshops (REW) in 2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW), PÁGINAS: 351-358
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
14
TÍTULO: Visualization of Patient Behavior from Natural Language Recommendations
AUTORES: Jonathan Siddle; Alan Lindsay; João F Ferreira ; Julie Porteous; Jonathon Read; Fred Charles; Marc Cavazza; Gersende Georg;
PUBLICAÇÃO: 2017, FONTE: 9th International Conference on Knowledge Capture, K-CAP 2017 in Proceedings of the Knowledge Capture Conference, K-CAP 2017, Austin, TX, USA, December 4-6, 2017, PÁGINAS: 25:1-25:4
INDEXADO EM: Scopus DBLP CrossRef: 5
15
TÍTULO: A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra
AUTORES: Joao F Ferreira ; Alexandra Mendes ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, NÚMERO: 5, PÁGINAS: 906-920
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
16
TÍTULO: An Adapted Double Threshold Protocol for Spastic Muscles
AUTORES: Vieira, PM; Ferreira, JF ; Gomes, PR ; Lima, CS;
PUBLICAÇÃO: 2016, FONTE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2016-October, PÁGINAS: 3630-3633
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Handle
17
TÍTULO: Reasoning about Fences and Relaxed Atomics
AUTORES: He, MD; Vafeiadis, V; Qin, SC; Ferreira, JF ;
PUBLICAÇÃO: 2016, FONTE: 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) in 2016 24TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP), PÁGINAS: 520-527
INDEXADO EM: Scopus WOS DBLP CrossRef
18
TÍTULO: Supporting social skills rehabilitation with virtual storytelling
AUTORES: Even, C; Bosser, AG; Ferreira, JF ; Buche, C; Stephan, F; Cavazza, M; Lisetti, C;
PUBLICAÇÃO: 2016, FONTE: 29th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016 in Proceedings of the 29th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016, PÁGINAS: 329-334
INDEXADO EM: Scopus
19
TÍTULO: On Euclid's Algorithm and Elementary Number Theory PDF
AUTORES: Roland Carl Backhouse; João F Ferreira ;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1506.05981
INDEXADO EM: DBLP arXiv
20
TÍTULO: Automated verification of the FreeRTOS scheduler in HIP/SLEEK  Full Text
AUTORES: Ferreira, JF ; Gherghina, C; He, GH; Qin, SC; Chin, WN;
PUBLICAÇÃO: 2014, FONTE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 16, NÚMERO: 4, PÁGINAS: 381-397
INDEXADO EM: Scopus WOS CrossRef

Results per Page: 20.
Página 1 de 2. Total de resultados: 35.