SC Harvester Papers Database Interface

On Time-Sensitive Control Closure for Secure Information Flow

A. Masud, Björn Lisper. In: . 2025

Adopting the C4 Model for Lightweight Architecture Modeling - An Experience Report

R. Jongeling, Niels Jørgen Strøm, L. Nissen, Martin Kitchen, Jan Carlson. In: . 2025

My Digital Mountain - An Autoethnographic Exploration of Off-piste Skiers' Use of Digital Tools

Carl-Johan Havinger, Carl Skyllerstedt, Dina Koutsikouri, Juho Lindman, Jonas Landgren. In: Proceedings of the Annual Hawaii International Conference on System Sciences. 2025

Extracting Design Patterns from Mined Component Models of ML-Enabled Systems

E. Eriksson, Joel Olausson, Vladislav Indykov, Daniel Strüber, Rebekka Wohlrab. In: . 2025

MLTradeOps: Embedding Trade-Off Management into the MLOps Workflow

Vladislav Indykov, Daniel Strüber, Rebekka Wohlrab. In: . 2025

Model Transformations Using LLMs Out-of-the-Box: Can Accidental Complexity Be Reduced?

Gabriel Kazai, R. Osei, Alessio Bucaioni, A. Cicchetti. 2025

Preface to the JOT special issue on the 21st European Conference on Modelling Foundations and Applications (ECMFA 2025)

R. Jongeling, Sébastien Mosser. In: J. Object Technol.. 2025

Abstract: In this preface, we present an overview of the topics and scope of the European Conference on Modelling Foundations and Applications (ECMFA) and describe the editorial and reviewing process for its 21st edition (ECMFA 2025). We also provide an overview of the papers selected for publication and presentation, and details about the keynote talks by Anne Koziolek and Matthias Volk. Finally, we acknow...

Introduction to the Minitrack on Smart and Sustainable Mobility Services and Ecosystems

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

Quic: Efficient Chat-Based Decision-Making for Democratic Participation in Organizations Using the Evocracy Protocol

C. Michaelis, Juho Lindman, Yuan-Chi Tseng. In: . 2025

Passive Testing of Vehicular Embedded Systems: An Industrial Case Study with T-EARS and Napkin Studio

Aleksandra Nicaj, Daniel Flemström, Eduard Paul Enoiu, Wasif Afzal. In: . 2025

Automated Test Generation - Taxonomy and Tool Applications

Eduard Paul Enoiu, Nasir Mehmood Minhas, Michael Felderer, W. Afzal. In: . 2025

Towards continuous development of MLOps practices

Meenu Mary John. 2025

Abstract: Context: Digitalisation is transforming software-intensive embedded systems companies by focussing on business models that utilise software, data and AI (especially Machine learning and Deep Learning (DL)). However, despite these advancements, the majority of companies still struggle to transition their models from prototypes to fully functional oper- ational systems. This highlights the need to o...

Processes, Methods, and Tools in Model-based Engineering - A Qualitative Multiple-Case Study

Jörg Holtmann, Grischa Liebel, J. Steghöfer. In: . 2025

Adaptive Resolution of Requirements Conflicts in Robot Mission Planning

J. G. Díaz, Carlotta Hillger, A. Welzel, Raffaela Groner, Rebekka Wohlrab. In: . 2025

Latency-Aware Control for Wireless Cloud-Fog Automation: Framework and Case Study

Honghao Lyu, Zhibo Pang, Anna Bengtsson, S. Nilsson, Alf J. Isaksson et al. In: IEEE Transactions on Automation Science and Engineering. 2025

Abstract: The development of wireless communication has indeed promoted cloud-fog automation in the industry. It also introduces new issues of reliability and latency for control systems. This study sought to investigate the impacts of the commonly used industrial wireless network on the control performance parameters using a ball-and-beam (BB) time-critical balancing control system. An internal model contr...