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

Inesc Technology and Science (INESC TEC) :: CS: Computer Science

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
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: 1498

150 Team Members
Filters -> Year: 2025
201
TITLE: Protecting Metadata Servers From Harm Through Application-level I/O Control
AUTHORS: MacEdo, R; Miranda, M ; Tanimura, Y; Haga, J; Ruhela, A; Harrell, SL; Evans, RT; Paulo, J ;
PUBLISHED: 2022, SOURCE: 2022 IEEE International Conference on Cluster Computing, CLUSTER 2022 in Proceedings - IEEE International Conference on Cluster Computing, ICCC, VOLUME: 2022-September, PAGES: 573-580
INDEXED IN: Scopus CrossRef
202
TITLE: Quantitative relational modelling with QAlloy
AUTHORS: Pedro Silva; José N Oliveira ; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2022, SOURCE: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022, PAGES: 885-896
INDEXED IN: Scopus DBLP CrossRef Unpaywall
203
TITLE: Scalable transcriptomics analysis with Dask: applications in data science and machine learning  Full Text
AUTHORS: Moreno, Marta; Vilaca, Ricardo ; Ferreira, Pedro G. ;
PUBLISHED: 2022, SOURCE: BMC BIOINFORMATICS, VOLUME: 23, ISSUE: 1, PAGES: 514
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Unpaywall
204
TITLE: Schema-guided Testing of Message-oriented Systems
AUTHORS: Santos, Andre ; Cunha, Alcino ; Macedo, Nuno ;
PUBLISHED: 2022, SOURCE: 17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in ENASE: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, PAGES: 26-37
INDEXED IN: Scopus WOS DBLP CrossRef
205
TITLE: Securing MPTCP Connections: A Solution for Distributed NIDS Environments  Full Text
AUTHORS: Meira, Joao Pedro ; Monteiro, Rui Pedro C. ; Silva, Joao Marco C. ;
PUBLISHED: 2022, SOURCE: 47th IEEE Conference on Local Computer Networks (LCN) in PROCEEDINGS OF THE 2022 47TH IEEE CONFERENCE ON LOCAL COMPUTER NETWORKS (LCN 2022), PAGES: 399-402
INDEXED IN: WOS DBLP CrossRef
206
TITLE: Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 - September 3, 2021, Revised Selected Papers
AUTHORS: Carmelo Ardito; Rosa Lanzilotti; Alessio Malizia; Marta Lárusdóttir; Lucio Davide Spano; José Creissac Campos ; Morten Hertzum; Tilo Mentler; José L Abdelnour Nocera; Lara S G Piccolo; Stefan Sauer; Gerrit van v der Veer;
PUBLISHED: 2022, SOURCE: INTERACT (Workshops), VOLUME: 13198
INDEXED IN: DBLP
207
TITLE: Simulation of in-house logistics operations for manufacturing
AUTHORS: Fábio Coelho ; Rodrigo Macedo; Susana Relvas; Ana Barbosa Póvoa;
PUBLISHED: 2022, SOURCE: Int. J. Comput. Integr. Manuf., VOLUME: 35, ISSUE: 9, PAGES: 989-1009
INDEXED IN: DBLP
208
TITLE: Teaching HCI Engineering: Four Case Studies
AUTHORS: Caffiau, Sybille; Campos, Jose C. ; Martinie, Celia; Nigay, Laurence; Palanque, Philippe; Spano, Lucio Davide;
PUBLISHED: 2022, SOURCE: 18th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT) in SENSE, FEEL, DESIGN, INTERACT 2021, VOLUME: 13198, PAGES: 195-210
INDEXED IN: Scopus WOS DBLP CrossRef
209
TITLE: The Dynamics of Remembering and Forgetting  Full Text
AUTHORS: Baquero, Carlos ; Cabecinhas, Rosa;
PUBLISHED: 2022, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 65, ISSUE: 7, PAGES: 12-13
INDEXED IN: Scopus WOS DBLP CrossRef
210
TITLE: Timely Specification Repair for Alloy 6
AUTHORS: Cerqueira, Jorge; Cunha, Alcino ; Macedo, Nuno ;
PUBLISHED: 2022, SOURCE: 20th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2022, VOLUME: 13550, PAGES: 288-303
INDEXED IN: Scopus WOS DBLP CrossRef
211
TITLE: Towards a Cross-domain Semantically Interoperable Ecosystem
AUTHORS: Milenko Tosic; Fábio Coelho ; Barry Nouwt; David Emanuel Rua; Aleksandar Tomcic; Sasa Pesic;
PUBLISHED: 2022, SOURCE: WSDM '22: The Fifteenth ACM International Conference on Web Search and Data Mining, Virtual Event / Tempe, AZ, USA, February 21 - 25, 2022, PAGES: 1640-1641
INDEXED IN: DBLP
212
TITLE: Towards a Cross-domain Semantically Interoperable Ecosystem
AUTHORS: Tosic, Milenko; Coelho, Fabio Andre ; Nouwt, Barry; Rua, David Emanuel ; Tomcic, Aleksandar; Pesic, Sasa;
PUBLISHED: 2022, SOURCE: 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, PAGES: 1640-1641
INDEXED IN: WOS CrossRef
213
TITLE: Tweaking Metasploit to Evade Encrypted C2 Traffic Detection
AUTHORS: Gonçalo Xavier; Carlos Novo; Ricardo Morla ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2209.00943
INDEXED IN: DBLP
214
TITLE: Variability Analysis for Robot Operating System Applications
AUTHORS: Santos, Andre; Cunha, Alcino ; Macedo, Nuno ; Melo, Sara; Pereira, Ricardo;
PUBLISHED: 2022, SOURCE: 6th IEEE International Conference on Robotic Computing, (IRC) in 2022 SIXTH IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING, IRC, PAGES: 111-118
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
215
TITLE: Variational Quantum Policy Gradients with an Application to Quantum Control
AUTHORS: André Sequeira; Luís Paulo Santos; Luís Soares Barbosa ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2203.10591
INDEXED IN: DBLP
216
TITLE: Verification of railway network models with EVEREST
AUTHORS: João Martins; José M Fonseca; Rafael Costa ; José Creissac Campos ; Alcino Cunha ; Nuno Macedo ; José N Oliveira ;
PUBLISHED: 2022, SOURCE: 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, PAGES: 345-355
INDEXED IN: Scopus DBLP CrossRef Unpaywall
217
TITLE: Verified Password Generation from Password Composition Policies
AUTHORS: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLISHED: 2022, SOURCE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274, PAGES: 271-288
INDEXED IN: Scopus WOS DBLP CrossRef
218
TITLE: WebAssembly versus JavaScript: Energy and Runtime Performance
AUTHORS: De Macedo, Joao; Abreu, Rui ; Pereira, Rui ; Saraiva, Joao ;
PUBLISHED: 2022, SOURCE: 8th International Conference on ICT for Sustainability (ICT4S) in 2022 INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABILITY (ICT4S 2022), PAGES: 24-34
INDEXED IN: Scopus WOS DBLP CrossRef
219
TITLE: Weighted synchronous automata
AUTHORS: Gomes, Leandro ; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLISHED: 2022, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 32, ISSUE: 9, PAGES: 1234-1253
INDEXED IN: Scopus WOS DBLP CrossRef
220
TITLE: What Ever Happened to Peer-to-Peer Systems?  Full Text
AUTHORS: Baquero, Carlos ;
PUBLISHED: 2022, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 66, ISSUE: 3, PAGES: 14-15
INDEXED IN: Scopus WOS DBLP

Results per Page: 20.
Page 11 of 75. Total results: 1498.