Laboratório de Software Confiável (HASLab)
High-Assurance Software Laboratory

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science

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: 1685

149 Team Members
Filters -> Year: 2026
321
TÍTULO: Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)
AUTORES: José Proença ; Markus Lumpe;
PUBLICAÇÃO: 2022, FONTE: Sci. Comput. Program., VOLUME: 218, PÁGINAS: 102803
INDEXADO EM: DBLP
322
TÍTULO: ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming
AUTORES: Sung Shik Jongmans; José Proença ;
PUBLICAÇÃO: 2022, FONTE: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 in Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I, VOLUME: 13701, PÁGINAS: 460-478
INDEXADO EM: Scopus DBLP
323
TÍTULO: Teaching HCI Engineering: Four Case Studies
AUTORES: Caffiau, Sybille; Campos, Jose C. ; Martinie, Celia; Nigay, Laurence; Palanque, Philippe; Spano, Lucio Davide;
PUBLICAÇÃO: 2022, FONTE: 18th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT) in SENSE, FEEL, DESIGN, INTERACT 2021, VOLUME: 13198, PÁGINAS: 195-210
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
324
TÍTULO: The Dynamics of Remembering and Forgetting  Full Text
AUTORES: Baquero, Carlos ; Cabecinhas, Rosa ;
PUBLICAÇÃO: 2022, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 65, NÚMERO: 7, PÁGINAS: 12-13
INDEXADO EM: Scopus WOS DBLP CrossRef
325
TÍTULO: Timely Specification Repair for Alloy 6
AUTORES: Cerqueira, Jorge; Cunha, Alcino ; Macedo, Nuno ;
PUBLICAÇÃO: 2022, FONTE: 20th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2022, VOLUME: 13550, PÁGINAS: 288-303
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
326
TÍTULO: Towards a Cross-domain Semantically Interoperable Ecosystem
AUTORES: Tosic, Milenko; Coelho, Fabio Andre ; Nouwt, Barry; Rua, David Emanuel ; Tomcic, Aleksandar; Pesic, Sasa;
PUBLICAÇÃO: 2022, FONTE: 15th ACM International Conference on Web Search and Data Mining (WSDM) in WSDM'22: PROCEEDINGS OF THE FIFTEENTH ACM INTERNATIONAL CONFERENCE ON WEB SEARCH AND DATA MINING, PÁGINAS: 1640-1641
INDEXADO EM: WOS DBLP CrossRef: 5
327
TÍTULO: Tweaking Metasploit to Evade Encrypted C2 Traffic Detection
AUTORES: Gonçalo Xavier; Carlos Novo; Ricardo Morla ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2209.00943
INDEXADO EM: DBLP
328
TÍTULO: Variability Analysis for Robot Operating System Applications
AUTORES: Santos, Andre; Cunha, Alcino ; Macedo, Nuno ; Melo, Sara; Pereira, Ricardo;
PUBLICAÇÃO: 2022, FONTE: 6th IEEE International Conference on Robotic Computing, (IRC) in 2022 SIXTH IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING, IRC, PÁGINAS: 111-118
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Unpaywall
329
TÍTULO: Variational Quantum Policy Gradients with an Application to Quantum Control
AUTORES: André Sequeira; Luís Paulo Santos; Luís Soares Barbosa ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2203.10591
INDEXADO EM: DBLP
330
TÍTULO: Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
AUTORES: José Proença ; Sina Borrami; Jorge Sanchez de Nova; David Pereira; Giann Spilere Nandi;
PUBLICAÇÃO: 2022, FONTE: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings, VOLUME: 13294, PÁGINAS: 83-94
INDEXADO EM: DBLP
331
TÍTULO: Verification of railway network models with EVEREST
AUTORES: João Martins; José M Fonseca; Rafael Costa ; José Creissac Campos ; Alcino Cunha ; Nuno Macedo ; José N Oliveira ;
PUBLICAÇÃO: 2022, FONTE: 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022 in Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, PÁGINAS: 345-355
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
332
TÍTULO: Verified Password Generation from Password Composition Policies
AUTORES: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLICAÇÃO: 2022, FONTE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274, PÁGINAS: 271-288
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
333
TÍTULO: WebAssembly versus JavaScript: Energy and Runtime Performance
AUTORES: De Macedo, Joao; Abreu, Rui ; Pereira, Rui ; Saraiva, Joao ;
PUBLICAÇÃO: 2022, FONTE: 8th International Conference on ICT for Sustainability (ICT4S) in 2022 INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABILITY (ICT4S 2022), PÁGINAS: 24-34
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
334
TÍTULO: Weighted synchronous automata
AUTORES: Gomes, Leandro ; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2022, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 32, NÚMERO: 9, PÁGINAS: 1234-1253
INDEXADO EM: Scopus WOS DBLP CrossRef
335
TÍTULO: What Ever Happened to Peer-to-Peer Systems?  Full Text
AUTORES: Baquero, Carlos ;
PUBLICAÇÃO: 2022, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 66, NÚMERO: 3, PÁGINAS: 14-15
INDEXADO EM: Scopus WOS DBLP
336
TÍTULO: Which Technologies are Most Frequently Used by Data Scientists?
AUTORES: Paula Pereira; João Paulo Fernandes ; Jácome Cunha ;
PUBLICAÇÃO: 2022, FONTE: 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2022 in 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2022, Rome, Italy, September 12-16, 2022, VOLUME: 2022-September, PÁGINAS: 1-5
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
337
TÍTULO: Why3-do: The Way of Harmonious Distributed System Proofs
AUTORES: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLICAÇÃO: 2022, FONTE: 31st European Symposium on Programming (ESOP) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2022, VOLUME: 13240, PÁGINAS: 114-142
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
338
TÍTULO: Zipping Strategies and Attribute Grammars
AUTORES: José Nuno Macedo ; Marcos Viera; João Saraiva ;
PUBLICAÇÃO: 2022, FONTE: 16th International Symposium on Functional and Logic Programming, FLOPS 2022 in Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, VOLUME: 13215, PÁGINAS: 112-132
INDEXADO EM: Scopus DBLP CrossRef: 2
339
TÍTULO: A deductive reasoning approach for database applications using verification conditions
AUTORES: Alam, MI; Halder, R; Pinto, JS ;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 175, PÁGINAS: 110903
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
340
TÍTULO: A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems
AUTORES: Jose Luis de la Vara; Thomas Bauer; Bernhard Fischer; Mustafa Karaca; Henrique Madeira ; Martin Matschnig; Silvia Mazzini; Giann Spilere Nandi; Fabio Patrone; David Pereira; José Proença ; Rupert Schlick; Stefano Tonetta; Ugur Yayan; Behrooz Sangchoolie;
PUBLICAÇÃO: 2021, FONTE: 14th International Conference on the Quality of Information and Communications Technology, QUATIC 2021 in Quality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings, VOLUME: 1439, PÁGINAS: 325-340
INDEXADO EM: Scopus DBLP CrossRef: 4

Results per Page: 20.
Página 17 de 85. Total de resultados: 1685.