High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-AY4
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
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!
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!
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!
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: 1551
150 Team MembersFilters -> Year: 2024
181
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
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
WOS CrossRef182
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
AUTHORS: Gonçalo Xavier; Carlos Novo; Ricardo Morla ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2209.00943
INDEXED IN: 
DBLP
DBLP183
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
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
184
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
AUTHORS: André Sequeira; Luís Paulo Santos; Luís Soares Barbosa ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2203.10591
INDEXED IN: DBLP
DBLP185
TITLE: Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
AUTHORS: José Proença ; Sina Borrami; Jorge Sanchez de Nova; David Pereira; Giann Spilere Nandi;
PUBLISHED: 2022, SOURCE: 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, PAGES: 83-94
AUTHORS: José Proença ; Sina Borrami; Jorge Sanchez de Nova; David Pereira; Giann Spilere Nandi;
PUBLISHED: 2022, SOURCE: 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, PAGES: 83-94
INDEXED IN: DBLP
DBLP186
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
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
187
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
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
188
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
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
189
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
AUTHORS: Baquero, Carlos ;
PUBLISHED: 2022, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 66, ISSUE: 3, PAGES: 14-15
INDEXED IN: 
Scopus WOS DBLP
Scopus WOS DBLP190
TITLE: Which Technologies are Most Frequently Used by Data Scientists?
AUTHORS: Pereira, P; Fernandes, JP ; Cunha, J ;
PUBLISHED: 2022, SOURCE: 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2022 in Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC, VOLUME: 2022-September
AUTHORS: Pereira, P; Fernandes, JP ; Cunha, J ;
PUBLISHED: 2022, SOURCE: 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2022 in Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC, VOLUME: 2022-September
191
TITLE: Why3-do: The Way of Harmonious Distributed System Proofs
AUTHORS: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLISHED: 2022, SOURCE: 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, PAGES: 114-142
AUTHORS: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLISHED: 2022, SOURCE: 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, PAGES: 114-142
192
TITLE: Zipping Strategies and Attribute Grammars
AUTHORS: José Nuno Macedo ; Marcos Viera; João Saraiva ;
PUBLISHED: 2022, SOURCE: 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, PAGES: 112-132
AUTHORS: José Nuno Macedo ; Marcos Viera; João Saraiva ;
PUBLISHED: 2022, SOURCE: 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, PAGES: 112-132
193
TITLE: A deductive reasoning approach for database applications using verification conditions
AUTHORS: Alam, MI; Halder, R; Pinto, JS ;
PUBLISHED: 2021, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 175, PAGES: 110903
AUTHORS: Alam, MI; Halder, R; Pinto, JS ;
PUBLISHED: 2021, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 175, PAGES: 110903
194
TITLE: A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems
AUTHORS: 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;
PUBLISHED: 2021, SOURCE: 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, PAGES: 325-340
AUTHORS: 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;
PUBLISHED: 2021, SOURCE: 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, PAGES: 325-340
195
TITLE: A semantics and a logic for Fuzzy Arden Syntax Full Text
AUTHORS: Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: SOFT COMPUTING, VOLUME: 25, ISSUE: 9, PAGES: 6789-6805
AUTHORS: Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: SOFT COMPUTING, VOLUME: 25, ISSUE: 9, PAGES: 6789-6805
196
TITLE: Adding Proof Calculi to Epistemic Logics with Structured Knowledge
AUTHORS: Mario R F Benevides; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2021, SOURCE: 9th International Conference on Fundamentals of Software Engineering, FSEN 2021 in Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers, VOLUME: 12818, PAGES: 53-68
AUTHORS: Mario R F Benevides; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2021, SOURCE: 9th International Conference on Fundamentals of Software Engineering, FSEN 2021 in Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers, VOLUME: 12818, PAGES: 53-68
197
TITLE: Algebraic Adversaries in the Universal Composability Framework
AUTHORS: Michel Abdalla; Manuel Barbosa ; Jonathan Katz; Julian Loss; Jiayu Xu;
PUBLISHED: 2021, SOURCE: Advances in Cryptology - ASIACRYPT 2021 - 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6-10, 2021, Proceedings, Part III, VOLUME: 13092, PAGES: 311-341
AUTHORS: Michel Abdalla; Manuel Barbosa ; Jonathan Katz; Julian Loss; Jiayu Xu;
PUBLISHED: 2021, SOURCE: Advances in Cryptology - ASIACRYPT 2021 - 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6-10, 2021, Proceedings, Part III, VOLUME: 13092, PAGES: 311-341
198
TITLE: An Initial Analysis of the Shortcomings of Conventional AI and the Benefits of Distributed AI Approaches in Industrial Use Cases
AUTHORS: Anna Hristoskova; Nicolás González Deleito; Sarah Klein; Joana Sousa; Nuno Martins; João Tagaio; João Serra; Carlos Silva; João Ferreira; Pedro M Santos; Ricardo Morla ; Luís Almeida ; Baris Bulut; Sencer Sultanoglu;
PUBLISHED: 2021, SOURCE: Artificial Intelligence Applications and Innovations. AIAI 2021 IFIP WG 12.5 International Workshops - 5G-PINE 2021, AI-BIO 2021, DAAI 2021, DARE 2021, EEAI 2021, and MHDW 2021, Hersonissos, Crete, Greece, June 25-27, 2021, Proceedings, VOLUME: 628, PAGES: 281-292
AUTHORS: Anna Hristoskova; Nicolás González Deleito; Sarah Klein; Joana Sousa; Nuno Martins; João Tagaio; João Serra; Carlos Silva; João Ferreira; Pedro M Santos; Ricardo Morla ; Luís Almeida ; Baris Bulut; Sencer Sultanoglu;
PUBLISHED: 2021, SOURCE: Artificial Intelligence Applications and Innovations. AIAI 2021 IFIP WG 12.5 International Workshops - 5G-PINE 2021, AI-BIO 2021, DAAI 2021, DARE 2021, EEAI 2021, and MHDW 2021, Hersonissos, Crete, Greece, June 25-27, 2021, Proceedings, VOLUME: 628, PAGES: 281-292
INDEXED IN: DBLP
DBLP199
TITLE: An Internal Language for Categories Enriched over Generalised Metric Spaces
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2105.08473
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2105.08473
INDEXED IN: DBLP
DBLP200
TITLE: An Outlook on using Packet Sampling in Flow-based C2 TLS Malware Traffic Detection
AUTHORS: Novo, Carlos; Silva, Joao Marco C. ; Morla, Ricardo ;
PUBLISHED: 2021, SOURCE: 12th International Conference on Network of the Future (NoF)) in PROCEEDINGS OF THE 2021 12TH INTERNATIONAL CONFERENCE ON NETWORK OF THE FUTURE (NOF 2021), PAGES: 1-5
AUTHORS: Novo, Carlos; Silva, Joao Marco C. ; Morla, Ricardo ;
PUBLISHED: 2021, SOURCE: 12th International Conference on Network of the Future (NoF)) in PROCEEDINGS OF THE 2021 12TH INTERNATIONAL CONFERENCE ON NETWORK OF THE FUTURE (NOF 2021), PAGES: 1-5
