Abstract
Hybrid systems are increasingly used in critical applications such as medical devices, infrastructure systems, and autonomous vehicles. Linceis an academic tool for specifying and simulating such systems using a C-like language with differential equations. This paper presents recent experiments that enhance Lince with mechanisms for executing multiple simulation variants and generating histograms that quantify the frequency with which a given property holds. We illustrate our extended Linceusing variations of an adaptive cruise control system.

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.

Abstract
This study examines the factors that motivate viewers to financially support streamers on the Twitch digital platform. It proposes a conceptual framework that combines the uses and gratifications theory (UGT) with Michel Foucault's concept of the practice of freedom (PF). Using a cross-sectional quantitative survey of 560 Portuguese Twitch users, the model investigates how three core constructs from UGT-entertainment, socialization, and informativeness-affect the intention to donate, with PF acting as a mediating variable. Structural equation modeling confirms that all three UGT-based motivations significantly influence donation intentions, with socialization exhibiting the strongest mediated effect through PF. The findings reveal that Twitch donations go beyond mere instrumental or playful actions; they serve as performative expressions of identity, autonomy, and ethical subjectivity. By framing PF as a link between interpersonal engagement and financial support, this study provides a contribution to media motivation research. The theoretical integration enhances our understanding of pro-social behavior in live streaming environments, challenging simplistic, transactional interpretations of viewer contributions vis-& agrave;-vis more political ones and the desire to freely dispose of what is ours to give. Additionally, this study may lay the groundwork for future inquiries into how ethical self-formation is intertwined with monetized online participation, offering useful insights for academics, platform designers, and content creators seeking to promote meaningful digital interactions.

Abstract
The rapid expansion of offshore wind farms and the development of energy islands for green hydrogen production have introduced futuristic off-grid systems. These systems can experience total shutdowns, necessitating black start solutions to ensure reliable restoration capabilities for isolated offshore wind farms. This paper investigates a grid-forming converter sizing strategy to enable black start capabilities in off-grid offshore wind farms. The study evaluates the impact of different energization strategies on battery energy storage system (BESS) sizing, focusing on soft energization with droop control in wind turbines and electrolyzers, the effects of wind turbine ramp rates on BESS requirements, and the role of switchable shunt reactors at the offshore substation for reactive power management. A comparative analysis is conducted between soft + hard and pure soft energization sequences to assess their impact on BESS converter sizing. Results demonstrate that the combined soft + hard energization strategy significantly reduces BESS converter size, offering a more cost-effective black start solution compared to pure soft energization.

Abstract
Online reviews are a crucial asset for e-commerce platforms as they provide consumers with valuable insights into products. It is important to note that these reviews are subjective and may contain biases. Therefore, it is essential to approach them with a critical eye. Despite this, online reviews remain a valuable tool for consumers when making purchasing decisions. This study focuses on developing web-based mini-games that target cognitive biases. The games are specifically designed to enhance the perception of e-commerce online reviews. A pilot study involving 85 participants was conducted to explore the potential of integrating these cognitive bias games into web platforms. The findings indicate promising avenues for leveraging these games to enhance cognitive personalization and improve the quality of e-commerce online reviews.

Abstract