SC Harvester Papers Database Interface

Balancing Intelligence and Efficiency: Lightweight AI for Intrusion Detection in IIoT

Ahmad Mostafavi, H. Fotouhi, M. Vahabi, J. Åkerberg. In: 2026 IEEE International Conference on Consumer Electronics (ICCE). 2026

Abstract: The proliferation of resource-constrained Internet-of-Things (IoT) and Industrial IoT (IIoT) devices has intensified the need for local, intelligent cybersecurity solutions that do not rely on cloud connectivity. This paper presents a TinyML-based Intrusion Detection System (IDS) framework designed for embedded edge controllers. Two machine-learning IDS models — a Convolutional Neural Network (CNN...

Empowering Software Engineers to Design More Secure Web Applications: Guidelines and Potential of Using LLMs as a Recommender Tool

Raffaela Groner, Klara Svensson, Drake Axelrod, Ranim Khojah, Mazen Mohamad et al. In: Journal of Software: Evolution and Process. 2026

Abstract: As software applications get increasingly connected and complex, cybersecurity becomes more and more important to consider during development and evaluation. Software engineers need to be aware of various security threats and the countermeasures that can be taken to mitigate them. Currently, there is a lack of guidance for software engineers aiming to develop secure web applications. We conducted ...

Folklore in Software Engineering: A Definition and Conceptual Foundations

Eduard Paul Enoiu, Jean Malm, Gregory Gay. In: Proceedings of the 19th International Conference on Cooperative and Human Aspects of Software Engineering. 2026

Abstract: We explore the concept of folklore within software engineering, drawing from folklore studies to define and characterize narratives, myths, rituals, humor, and informal knowledge that circulate within software development communities. Using a literature review and thematic analysis, we curated exemplar folklore items (e.g., beliefs about where defects occur, the 10x developer legend, and technical...

An Abstraction Is Worth a Thousand Vibes

J. Steghöfer, Markus Borg. In: IEEE Software. 2026

Abstract: In the last column, we promised to return to one of the inevitable challenges that vibe coding leaves us with. At the AI Engineer World’s Fair 2025, OpenAI’s Sean Grove claimed that whoever writes the specification is now the programmer since AI can take it from there. Sounds amazing, but what gets lost along the way? To explore this, I’m joined by Jan-Philipp Steghöfer, a researcher at XITASO and...

Mechanical and Durability Enhancement in Zeolite-Based Concrete Reinforced with Alkali-Treated Abaca Fibre

Ahmad Azeem, J. Akhtar, R. Khan. In: Journal of Building Engineering. 2026

Dynamic characterization of barycentric optimal transport problems and their martingale relaxation

Ivan Guo, S. Nilsson, Johannes Wiesel. In: Electronic Communications in Probability. 2026

Uncertainty-Aware DevOps for Cyber-Physical Systems and Runtime Verification

Shaukat Ali, D. Bianculli, A. Cicchetti, R. Jongeling, Ka I. Pun et al. In: . 2026

Cross-Domain Traceability and Consistency Management in DevOps for Cyber-Physical Systems

C. Raţiu, A. Cicchetti, R. Jongeling, Alexander Egyed, W. K. G. Assunção. In: . 2026

Künstliche Intelligenz in der Softwareentwicklung

J. Steghöfer, Rico Amslinger, Richard Nordsieck. In: . 2026

Quality assurance of LLM-generated code: Addressing non-functional quality characteristics

Xin Sun, Daniel Ståhl, K. Sandahl, Christoph Kessler. In: Journal of Systems and Software. 2026

Introduction to the Minitrack on Human Roles and Skills in AI-based Services

Tapani Rinta-Kahila, V. Tuunainen, Juho Lindman. In: Proceedings of the Annual Hawaii International Conference on System Sciences. 2026

Identifying Incentives for More Systematic Modeling of Industrial Software-Intensive Systems

Ifrah Qaisar, Jan Carlson, R. Jongeling, Antonio Cicchetti, Malvina Latifaj et al. In: . 2026

Abstract: : Software-intensive systems are characterized by intricate interactions, distributed structures, and ongoing evolution posing notable challenges for traceability, change analysis, and decision support. Modeling and versioning practices are widely used to manage this complexity; however, in practice, they are often fragmented, limiting the value that organizations can derive from them. To address ...

Disambiguating Software Property Descriptions: A Solution Proposal and Evaluation

Efi Papatheocharous, Séverine Sentilles, K. Petersen, Federico Ciccozzi. In: e Informatica Softw. Eng. J.. 2026

Abstract: Context: The state-of-the-art and practice on software quality is growing constantly and presents several challenges. The ever-growing body of knowledge on the topic, obfuscates the situation further, the lack of explicit structure makes it difficult to identify which properties exist today and how they can be evaluated, two critical aspects to increase software quality. Objective: A step to disam...

Incremental Formalization for Informal Architectural Diagramming

Malvina Latifaj, Jan Carlson, Antonio Cicchetti, R. Jongeling, Ifrah Qaisar. In: . 2026

Abstract: : Informal diagrams created in general-purpose diagramming tools are widely used in software architecture because they are quick to produce and easy to share. However, the lack of constraints in such tools often yields inconsistent notations and ad-hoc conventions, which in turn invite misinterpretation when diagrams are read outside their original context. Dedicated modeling languages and environ...

Compositional Verification of Timed Automata via Violation Assumptions

Mehran Moeini Jam, Hamed Kalantari, Ehsan Khamespanah, M. Sirjani, A. Movaghar. In: . 2026