| 2025 | A Compliance Analysis of Agile PBB Method Practices with the Expected Results of the Requirements Engineering Process of the MPS.BR Maturity Model. Jamilli Ynglid Carmo da Cunha, Sandro Ronaldo Bezerra Oliveira, Fábio Aguiar |
| 2025 | A Controlled Experiment on the Effect of Ownership Rules and Mutability on Localizing Errors in Rust in Comparison to Java. Lukas Poos, Stefan Hanenberg, Stefan Gries, Volker Gruhn |
| 2025 | A Framework for System Design Using Collaborative Computing Paradigms (CCP) for IoT Systems. Prashant G. Joshi, Bharat M. Deshpande |
| 2025 | A Phishing Detection System for Enhanced Cybersecurity Using Machine Learning. Adwaith Atholi Thiruvoth, Pushkar Ogale |
| 2025 | A Software Architecture for Highly Configurable Software-Defined Networks. Ichiro Satoh |
| 2025 | Adopting Artificial-Intelligence Systems in Manufacturing: A Practitioner Survey on Challenges and Added Value. Richard May, Leonard Cassel, Hashir Hussain, Muhammad Talha Siddique, Tobias Niemand, Paul Scholz, Thomas Leich |
| 2025 | Agile Development of a Virtual Tour for Universidad Autónoma Metropolitana: Unidad Iztapalapa - One of the First Virtual Campus Experiences in Mexico City. Benjamín Moreno-Montiel, Abel Isaac Samaniego-Alvarez, Luis Quiñones-Hernandez, Eva Lorena Pérez-de-la-Luz |
| 2025 | An Explainable Model for Waste Cost Prediction: A Study on Linked Open Data in Italy. Lerina Aversano, Martina Iammarino, Antonella Madau, Debora Montano, Chiara Verdone |
| 2025 | Approaches Adopted in the Implementation of Maturity Models Using Agile Initiatives in Public Bodies: A Systematic Literature Review. Alfredo Gabriel de Sousa Oliveira, Sandro Ronaldo Bezerra Oliveira |
| 2025 | Automated Quality Model Management Using Semantic Technologies. Reinhold Plösch, Florian Ernst, Matthias Saft |
| 2025 | Back to the Model: UML Miner and the Power of Process Mining. Pasquale Ardimento, Mario Luca Bernardi, Marta Cimitile, Michele Scalera |
| 2025 | Behavior Detection of Quadruped Companion Robots Using CNN: Towards Closer Human-Robot Cooperation. Piotr Artiemjew, Karolina Krzykowska-Piotrowska, Marek Piotrowski |
| 2025 | Bridging IFML and Elm Applications via a Normalized Systems Expander. Jan Slifka, Robert Pergl |
| 2025 | Building a Decision Landscape Model for Software Development: From Empirical Insights to Formal Theory. Hannes Salin |
| 2025 | COTTAGE: Supporting Threat Analysis for Security Novices with Auto-Generated Attack Defense Trees. Keita Yamamoto, Masaki Oya, Masaki Hashimoto, Haruhiko Kaiya, Takao Okubo |
| 2025 | CloReCo: Benchmarking Platform for Code Clone Detection. Franz Burock, Wolfram Amme, Thomas S. Heinze, Elisabeth Ostryanin |
| 2025 | Cognify: A Modular Privacy-Conscious AI-Driven Mobile App for Mental Health Based on Cognitive Distortion Detection. Mariam Dawoud, Mohamad Rasmy, Alia El Bolock |
| 2025 | Combining SysML V2 and BIP to Model and Verify CPS Interactions. Adel Khelifati, Ahmed Hammad, Malika Boukala-Ioualalen |
| 2025 | Containerizing the PowerAPI Architecture to Estimate Energy Consumption of Software Applications. Daniel Guamán, Alejandra Barco-Blanca, Vanessa Rodríguez-Horcajo, Jennifer Pérez |
| 2025 | Deep Learning Deep Feelings: Large Models, Larger Emotions. Björn W. Schuller |
| 2025 | Domain Modelling and the Limits of System Correctness. Giancarlo Guizzardi |
| 2025 | Dynamic Mitigation of RESTful Service Failures Using LLMs. Sébastien Salva, Jarod Sue |
| 2025 | Efficiency and Development Effort of OpenCL Interoperability in Vulkan and OpenGL Environments: A Comparative Case Study. Piotr Plebanski, Anna Kelm, Marcin Hajder |
| 2025 | Efficient Hit-Spectrum-Guided Fast Gradient Sign Method: An Adjustable Approach with Memory and Runtime Optimizations. Daniel Rashedi, Sibylle Schupp |
| 2025 | Efficient Source Code Authorship Attribution Using Code Stylometry Embeddings. David Álvarez-Fidalgo, Francisco Ortin |
| 2025 | Enhancing AI-Generated Code Accuracy: Leveraging Model-Based Reverse Engineering for Prompt Context Enrichment. Boubou Thiam Niang, Ilyes Alili, Benoît Verhaeghe, Nicolas Hlad, Anas Shatnawi |
| 2025 | Enhancing Data Serialization Efficiency in REST Services: Migrating from JSON to Protocol Buffers. Anas Shatnawi, Adem Bahri, Boubou Thiam Niang, Benoît Verhaeghe |
| 2025 | Enhancing Design-by-Contract with Frame Specifications. Yoonsik Cheon, Benjamin Good |
| 2025 | Fuzzy Requirements Verification in SysML v2: Direct Modeling and Scenario-Based Analysis for Cyber-Physical Systems. Adel Khelifati, Malika Boukala-Ioualalen, Ahmed Hammad |
| 2025 | Generation of IT Project Documentation Elements from a Model Transformation Chain. Oksana Nikiforova, Megija Krista Milune, Kristaps Babris, Oscar Pastor |
| 2025 | Grammarinator Meets LibFuzzer: A Structure-Aware In-Process Approach. Renáta Hodován, Ákos Kiss |
| 2025 | Impact of Resource Heterogeneity on MLOps Stages: A Computational Efficiency Study. Julio Corona, Pedro Rodrigues, Mário Antunes, Rui L. Aguiar |
| 2025 | Inspecting AI Like Engineers: From Explanation to Validation with SemanticLens. Wojciech Samek |
| 2025 | Integrated System for Monitoring Workplace Stress Using Machine Learning Algorithms and IoT Devices in the Corporate Technology Sector. Luis E. Leon, Adrian A. Benavente, Daniel Wilfredo Burga Durango, Carlos Alberto Tello Saenz |
| 2025 | Integrating Security into the Product-Line-Engineering Framework: A Security-Engineering Extension. Christian Biermann, Richard May, Thomas Leich |
| 2025 | Intelligent Platform Using Natural Language Processing for Pre-Selection of Personnel Through Professional Values Required by Private Companies. José L. Silva, Vicente O. Moya, Daniel W. Burga, Carlos A. Tello |
| 2025 | LLMs as Code Generators for Model-Driven Development. Yoonsik Cheon |
| 2025 | MMSIA: Towards AI Systems Maturity Assessment. Rubén Márquez Villalta, Javier Verdugo Lara, Moisés Rodríguez Monje, Mario Piattini Velthuis |
| 2025 | Method for Identification of Individual Flamingos Based on Movement Logs. Riku Okazaki, Yu Suzuki |
| 2025 | Metrics in Low-Code Agile Software Development: A Systematic Literature Review. Renato Cavalcanti Domingues, Iury Monte, Marcelo Marinho |
| 2025 | Proceedings of the 20th International Conference on Software Technologies, ICSOFT 2025, Bilbao, Spain, June 10-12, 2025. Massimo Mecella, Arend Rensink, Leszek A. Maciaszek |
| 2025 | Product Line Engineering in Smart Governance Systems. Salvador Muñoz-Hermoso, Miguel Angel Olivero, Francisco José Domínguez Mayo, David Benavides |
| 2025 | Requirements Cube: Towards a Matrix-Based Model of Requirements. Benjamin Aziz, Gareth Hewlett, Ukamaka Oragwu, Peter Richards, Safa Tharib, Erica Y. Yang |
| 2025 | Scenario-Based Testing of Online Learning Programs. Maxence Demougeot, Sylvie Trouilhet, Jean-Paul Arcangeli, Françoise Adreit |
| 2025 | Smart Separator: Optimizing Conveyor Belt, Vibration Feed, and Drum Speeds of Barrier Eddy Current Separator. Shohreh Kia, Benjamin Leiding |
| 2025 | Thoth: A Lightweight Framework for End-to-End Consumer IoT Rapid Testing. Salma Roshdy Aly, Sherif Saad, Mohammad Mamun |
| 2025 | To Model, to Prompt, or to Code? The Choice Is Yours: A Multi-Paradigmatic Approach to Software Development. Thomas Buchmann, Felix Schwägerl, René Peinl |
| 2025 | Towards Quality Assessment of AI Systems: A Case Study. Jesús Oviedo Lama, Jared David Tadeo Guerrero-Sosa, Moisés Rodríguez Monje, Francisco Pascual Romero Chicharro, Mario Piattini Velthuis |
| 2025 | Validating the Optimization of a Building Occupancy Monitoring Software System. Jalil Boudjadar, Simon Thrane Hansen |
| 2025 | Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK. Marcos Cramer, Lucian McIntyre |