Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

2025

CoMPSeT: A Framework for Comparing Multiparty Session Types

Autores
Ribeiro, T; Proença, J; Florido, M;

Publicação
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE

Abstract
Concurrent systems are often complex and difficult to design. Choreographic languages, such as Multiparty Session Types (MPST), allow the description of global protocols of interactions by capturing valid patterns of interactions between participants. Many variations of MPST exist, each one with its rather specific features and idiosyncrasies. Here we propose a tool-CoMPSeT-that provides clearer insights over different features in existing MPST. We select a representative set of MPST examples and provide mechanisms to combine different features and to animate and compare the semantics of concrete examples. CoMPSeT is open-source, compiled into JavaScript, and can be directly executed from any browser, becoming useful both for researchers who want to better understand the landscape of MPST and for teachers who want to explain global choreographies.

2025

Generative Artificial Intelligence for Software Engineering - A Research Agenda

Autores
Duc, AN; Daniel, BC; Przybylek, A; Arora, C; Khanna, D; Herda, T; Rafiq, U; Melegati, J; Guerra, E; Kemell, KK; Saari, M; Zhang, Z; Le, H; Quan, T; Abrahamsson, P;

Publicação
Softw. Pract. Exp.

Abstract
ABSTRACTContextGenerative artificial intelligence (GenAI) tools have become increasingly prevalent in software development, offering assistance to various managerial and technical project activities. Notable examples of these tools include OpenAI's ChatGPT, GitHub Copilot, and Amazon CodeWhisperer.ObjectiveAlthough many recent publications have explored and evaluated the application of GenAI, a comprehensive understanding of the current development, applications, limitations, and open challenges remains unclear to many. Particularly, we do not have an overall picture of the current state of GenAI technology in practical software engineering usage scenarios.MethodWe conducted a literature review and focus groups for a duration of five months to develop a research agenda on GenAI for software engineering.ResultsWe identified 78 open research questions (RQs) in 11 areas of software engineering. Our results show that it is possible to explore the adoption of GenAI in partial automation and support decision-making in all software development activities. While the current literature is skewed toward software implementation, quality assurance and software maintenance, other areas, such as requirements engineering, software design, and software engineering education, would need further research attention. Common considerations when implementing GenAI include industry-level assessment, dependability and accuracy, data accessibility, transparency, and sustainability aspects associated with the technology.ConclusionsGenAI is bringing significant changes to the field of software engineering. Nevertheless, the state of research on the topic still remains immature. We believe that this research agenda holds significance and practical value for informing both researchers and practitioners about current applications and guiding future research.

2025

Computational complexity-constrained spectral efficiency analysis for 6G waveforms

Autores
Queiroz, S; Vilela, JP; Ng, BKK; Lam, C; Monteiro, E;

Publicação
ITU Journal on Future and Evolving Technologies

Abstract
In this work, we present a tutorial on how to account for the computational time complexity overhead of signal processing in the Spectral Efficiency (SE) analysis of wireless waveforms. Our methodology is particularly relevant in scenarios where achieving higher SE entails a penalty in complexity, a common trade-off present in 6G candidate waveforms. We consider that SE derives from the bit rate, which is impacted by time-dependent overheads. Thus, neglecting the computational complexity overhead in the SE analysis grants an unfair advantage to more computationally complex waveforms, as they require larger computational resources to meet a signal processing runtime below the symbol period. We demonstrate our points with two case studies. In the first, we refer to IEEE 802.11a-compliant baseband processors from the literature to show that their runtime significantly impacts the SE perceived by upper layers. In the second case study, we show that waveforms considered less efficient in terms of SE can outperform their more computationally expensive counterparts, if provided with equivalent high-performance computational resources. Based on these cases, we believe our tutorial can address the comparative SE analysis of waveforms that operate under different computational resource constraints.

2025

Organizational Culture and Perceived Performance: Mediation of Perceived Organizational Support and Moderation of Motivation

Autores
José, D; Palma-Moreira, A; Au-Yong-Oliveira, M;

Publicação
ADMINISTRATIVE SCIENCES

Abstract
This study aimed to investigate the effect of organizational culture on employee-perceived performance and whether this relationship is mediated by perceived organizational support and moderated by employee motivation. Three hundred individuals working in organizations located in Portugal and Angola participated in this study. This is a quantitative, exploratory, correlational, and cross-sectional study. The results indicate that only goal culture, rule culture, affective organizational support perception, and identified motivation have a positive and significant effect on perceived performance. Supportive culture and goal culture have a positive and significant effect on affective organizational support perception. All dimensions of organizational culture have a significant effect on cognitive organizational support perception, with the effects of the supportive culture and the goal culture being positive and significant, while the effects of the innovative culture and the rule culture are negative and significant. The perception of affective organizational support has a total mediating effect on the relationship between goal culture and perceived performance. Intrinsic motivation and identified motivation have a moderating effect on the relationship between all dimensions of organizational culture and perceived performance. This study is expected to help human resource managers understand the importance of the type of organizational culture that prevails in their organization to enhance employees' perception of organizational support and performance.

2025

Fine-Tuning Transformer-Based LLMs in Hierarchical Text Classification

Autores
Santos, J; Silva, N; Ferreira, C; Gama, J;

Publicação
DISCOVERY SCIENCE, DS 2025

Abstract
Hierarchical document classification is essential for structuring large-scale textual corpora in domains such as digital libraries and academic repositories. While recent advances in large language models (LLMs) have opened new possibilities for text classification, their applicability to hierarchical settings under real-world constraints remains underexplored. This study investigates both generative and discriminative transformer-based models, evaluating their effectiveness across multiple inference strategies: zero-shot baseline, local fine-tuning, and a global approach using category-specific models. Experiments on two real-world hierarchical datasets provide a comprehensive comparison of classification accuracy, F1-macro scores, and inference times. The results highlight that, although generative LLMs can deliver competitive (yet variable) performance at higher levels of the hierarchy, their high inference costs hinder their use in time-sensitive applications. In contrast, fine-tuned discriminative models-particularly BERT-based architectures-consistently offer a more favorable trade-off between performance and efficiency.

2025

Topological sensing with plasmons

Autores
Guerreiroa, A;

Publicação
29TH INTERNATIONAL CONFERENCE ON OPTICAL FIBER SENSORS

Abstract
Topological photonics, leveraging concepts from condensed matter physics, offers transformative potential in the design of robust optical systems. This study investigates the integration of topologically protected edge states into plasmonic nanostructures for enhanced optical sensing. We propose a toy model comprising two chains of metallic filaments forming a one-dimensional plasmonic crystal with diatomic-like unit cells, positioned on a waveguide. The system exhibits edge states localized at the boundaries and a central defect, supported by the Su-Schrieffer-Heeger (SSH) model. These edge states, characterized by significant electric field enhancement and topological robustness, are shown to overcome key limitations in traditional plasmonic sensors, including sensitivity to noise and fabrication inconsistencies. Through coupled mode theory, we demonstrate the potential for strong coupling between plasmonic and guided optical modes, offering pathways for improved interferometric sensing schemes. This work highlights the applicability of topological photonics in advancing optical sensors.

  • 90
  • 4481