Search Results - "[INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE]"

LLM-based Co-Evolution of Configurable Software Systems

Authors: Nada Zine Clément Quinton Romain Rouvoy et al.

Contributors: Nada Zine Clément Quinton Romain Rouvoy et al.

Source: Proceedings of the 29th ACM International Systems and Software Product Line Conference - Volume A. :27-38

Subject Terms: [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE]

File Description: application/pdf

Access URL: https://hal.science/hal-05090995v1

On the Effect of Feature Reduction on Energy Consumption: An Exploratory Study

Authors: Xhevahire Tërnava Romain Lefeuvre Quentin Perez et al.

Contributors: Xhevahire Tërnava Romain Lefeuvre Quentin Perez et al.

Source: Proceedings of the 29th ACM International Systems and Software Product Line Conference - Volume A. :57-68

Subject Terms: Energy consumption, Configurable systems, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Feature reduction

File Description: application/pdf

Access URL: https://hal.science/hal-05166140v1
https://doi.org/10.1145/3744915.3748463
https://hal.science/hal-05166140v1/document

Formal Methods for Residual Risk Reduction in Cyber-Physical Systems

Authors: Kaufmann, David Mateescu, Radu Muller, Lucie et al.

Contributors: Kaufmann, David Mateescu, Radu Muller, Lucie et al.

Source: 2025 25th International Conference on Software Quality, Reliability and Security (QRS). :258-269

Subject Terms: formal methods, verification and validation, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], management system, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, residual risks, cyber-physical systems, system monitoring, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems

File Description: application/pdf

Access URL: https://inria.hal.science/hal-05305293v1
https://inria.hal.science/hal-05305293v1/document
https://doi.org/10.1109/qrs65678.2025.00035

Generative AI-Based Adaptation in Microservices Architectures: A Systematic Mapping Study

Authors: Sanwouo, Brell Temple, Paul Quinton, Clément

Contributors: Sanwouo, Brell Temple, Paul Quinton, Clément

Source: 2025 IEEE International Conference on Web Services (ICWS). :1-8

Subject Terms: LLM, Generative AI, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Adaptation, Microservice

File Description: application/pdf

Access URL: https://hal.science/hal-05082732v2

Breaking the Loop: AWARE is the New MAPE-K

Authors: Sanwouo, Brell Quinton, Clément Temple, Paul

Contributors: Sanwouo, Brell Quinton, Clément Temple, Paul

Source: Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering. :626-630

Subject Terms: [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE]

File Description: application/pdf

Access URL: https://hal.science/hal-04992342v1/document
https://hal.science/hal-04992342v1
https://doi.org/10.1145/3696630.3728512

Local-First Software for Green IT

Authors: Siffre, Lylian Ledoux, Thomas Pawlak, Renaud et al.

Contributors: Siffre, Lylian Ledoux, Thomas Pawlak, Renaud et al.

Source: 2025 11th International Conference on ICT for Sustainability (ICT4S). :58-68

Subject Terms: Software Architecture, Energy Efficiency, Distributed Systems, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Sustainable ICT, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Local-First Software, Green Computing, [SPI.NRJ] Engineering Sciences [physics]/Electric power

File Description: application/pdf

Access URL: https://hal.science/hal-05037019v1

Evaluating the Energy Profile of Tasks Managed by Build Automation Tools in Continuous Integration Workflows: The Case of Apache Maven and Gradle

Authors: de Medeiros, Sérgio Queiroz Lefeuvre, Romain Combemale, Benoit et al.

Contributors: de Medeiros, Sérgio Queiroz Lefeuvre, Romain Combemale, Benoit et al.

Source: 2025 11th International Conference on ICT for Sustainability (ICT4S). :12-22

Subject Terms: apache maven, continuous integration, workflow, build automation tools, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], java, energy profile, gradle

File Description: application/pdf

Access URL: https://hal.science/hal-05090865v2/document
https://hal.science/hal-05090865v2
https://doi.org/10.1109/ict4s68164.2025.00011

GitProjectHealth: an Extensible Framework for Git Social Platform Mining

Authors: Hlad, Nicolas Verhaeghe, Benoit Bauvent, Kilian

Contributors: Hlad, Nicolas Verhaeghe, Benoit Bauvent, Kilian

Source: 2025 IEEE/ACM 22nd International Conference on Mining Software Repositories (MSR). :596-600

Subject Terms: Model Driven Engineering, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Moose, Pharo, Mining Software Repositories, [INFO] Computer Science [cs]

File Description: application/pdf

Adaptive and Interoperable Federated Data Spaces: An Implementation Experience

Authors: Papadakis, Nikolaos Khoder, Niemat Tuncer, Daphne et al.

Contributors: Papadakis, Nikolaos Khoder, Niemat Tuncer, Daphne et al.

Source: 2025 IEEE/ACM 20th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). :178-184

Subject Terms: IoT, Data Interoperability, Smart Cities, Software Overlay, Prototype Implementation, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], [INFO] Computer Science [cs], Data Federation

File Description: application/pdf

Access URL: https://hal.science/hal-04936323v1

Divergence-Driven Debugging: Understanding Behavioral Changes Between Two Program Versions

Authors: Dufloer, Rémi Sayar, Imen Etien, Anne et al.

Contributors: Dufloer, Rémi Sayar, Imen Etien, Anne et al.

Source: 2025 IEEE/ACM 33rd International Conference on Program Comprehension (ICPC). :221-225

Subject Terms: behavior, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], program change, divergence, bug, debugging

File Description: application/pdf

Access URL: https://inria.hal.science/hal-05114444v1

AndroWatts: Unpacking the Power Consumption of Mobile Device’s Components

Authors: Guegain, Edouard Raes, Rémy Chachignot, Noé et al.

Contributors: Guegain, Edouard Raes, Rémy Chachignot, Noé et al.

Source: 2025 IEEE/ACM 12th International Conference on Mobile Software Engineering and Systems (MOBILESoft). :71-81

Subject Terms: power, Component, model, Android, Power, component, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], battery, Battery, Model

File Description: application/pdf

Access URL: https://hal.science/hal-04928609v1

ROSA: Finding Backdoors with Fuzzing

Authors: Kokkonis, Dimitri Marcozzi, Michaël Decoux, Emilien et al.

Contributors: Kokkonis, Dimitri Marcozzi, Michaël Decoux, Emilien et al.

Source: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE). :2816-2828

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Cryptography and Security, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], vulnerability detection, backdoors, dynamic analysis, Cryptography and Security (cs.CR), fuzzing, metamorphic testing, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]

File Description: application/pdf

Access URL: http://arxiv.org/abs/2505.08544
https://hal.science/hal-05063960v1/document
https://hal.science/hal-05063960v1
https://doi.org/10.1109/icse55347.2025.00183

FP-Rainbow: Fingerprint-Based Browser Configuration Identification

Authors: Huyghe, Maxime Rudametkin, Walter Quinton, Clément

Contributors: Huyghe, Maxime Rudametkin, Walter Quinton, Clément

Source: Proceedings of the ACM on Web Conference 2025. :4325-4335

Subject Terms: BOM Exploration, Web Security, [INFO.INFO-WB] Computer Science [cs]/Web, Privacy, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Browser Fingerprinting, Online Tracking, Configuration Parameters

File Description: application/pdf

Access URL: https://hal.science/hal-04932081v1
https://doi.org/10.1145/3696410.3714699
https://hal.science/hal-04932081v1/document
https://hal.science/hal-05029828v1

Augmenting graphical modeling workbenches with semantic-aware interactive features

Authors: Théo Giraudet Arnaud Blouin Benoit Combemale et al.

Contributors: Théo Giraudet Arnaud Blouin Benoit Combemale et al.

Source: Proceedings of the ACM on Human-Computer Interaction. 9:1-29

Subject Terms: language workbench, usability, interactive feature, DSML, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-HC] Computer Science [cs]/Human-Computer Interaction [cs.HC], graphical modeling language

File Description: application/pdf

War on JITs: Software-Based Attacks and Hybrid Defenses for JIT Compilers - A Comprehensive Survey

Authors: Ducasse, Quentin Cotret, Pascal Lagadec, Loïc et al.

Contributors: Ducasse, Quentin Cotret, Pascal Lagadec, Loïc et al.

Source: ACM Computing Surveys. 57:1-36

Subject Terms: [INFO.INFO-AR] Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-OS] Computer Science [cs]/Operating Systems [cs.OS], Control-Flow Integrity, Memory Isolation, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], JIT spraying, JIT spraying ROP Control-Flow Integrity Memory Isolation, ROP, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-ES] Computer Science [cs]/Embedded Systems

File Description: application/pdf

Model‐Driven Engineering for Digital Twins: Opportunities and Challenges: Opportunities and Challenges

Authors: Michael, Judith Cleophas, Loek Zschaler, Steffen et al.

Contributors: Michael, Judith Cleophas, Loek Zschaler, Steffen et al.

Source: Systems engineering
Michael, J, Cleophas, L, Zschaler, S, Clark, T, Combemale, B, Godfrey, T, Khelladi, D E, Kulkarni, V, Lehner, D, Rumpe, B, Wimmer, M, Wortmann, A, Ali, S, Barn, B, Barosan, I, Bencomo, N, Bordeleau, F, Grossmann, G, Karsai, G, Kopp, O, Mitschang, B, Munoz Ariza, P, Pierantonio, A, Polack, F, Riebisch, M, Schlingloff, H, Stumptner, M, Vallecillo, A, van den Brand, M & Vangheluwe, H 2025, 'Model-Driven Engineering for Digital Twins: Opportunities and Challenges', Systems Engineering Journal, vol. 28, no. 5, pp. 659-670. https://doi.org/10.1002/sys.21815
Systems engineering (2025). doi:10.1002/sys.21815

Subject Terms: systems engineering, Economics, digital twin, model-driven engineering, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], cyber-physical systems, Engineering sciences. Technology, Mathematics

File Description: application/pdf

Access URL: https://research.tue.nl/en/publications/20c8a3fa-7c46-47ca-ba4b-c20c435ef9e0
https://doi.org/10.1002/sys.21815
https://inria.hal.science/hal-05060561v1/document
https://doi.org/10.1002/sys.21815
https://inria.hal.science/hal-05060561v1
https://hdl.handle.net/10067/2139490151162165141
https://repository.uantwerpen.be/docstore/d:irua:28594
https://kclpure.kcl.ac.uk/portal/en/publications/d641e416-73fc-44d8-98ff-1c672db42a32
https://publications.rwth-aachen.de/record/1010046

Automated Co-Evolution of Metamodels and Code

Authors: Zohra Kaouter Kebaili Djamel Eddine Khelladi Mathieu Acher et al.

Contributors: Zohra Kaouter Kebaili Djamel Eddine Khelladi Mathieu Acher et al.

Source: IEEE Transactions on Software Engineering. 51:1067-1085

Subject Terms: Co-evolution, Test, Evolution, Code, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Metamodels, [INFO] Computer Science [cs], Metamodels Evolution Code Co-evolution Test

File Description: application/pdf

Access URL: https://hal.science/hal-04973171v1

Multi-Partner Project: A Model-Driven Engineering Framework for Federated Digital Twins of Industrial Systems (MATISSE)

Authors: Bucaioni, Alessio Eramo, Romina Berardinelli, Luca et al.

Contributors: Bucaioni, Alessio Eramo, Romina Berardinelli, Luca et al.

Source: 2025 Design, Automation & Test in Europe Conference (DATE)

Subject Terms: Continuous System Engineering, Federated Digital Twins, Model-Driven Engineering, Verification & Validation, Validation, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Verification &

File Description: application/pdf

VeriFogOps: Automated Deployment Tool Selection and CI/CD Pipeline Generation for Verifying Fog Systems at Deployment Time

Authors: Hiba Awad Thomas Ledoux Hugo Bruneliere et al.

Contributors: Hiba Awad Thomas Ledoux Hugo Bruneliere et al.

Source: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing. :1674-1691

Subject Terms: DevOps, Automation, CI/CD pipeline, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], Deployment, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Verification, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Quality of Service, Fog Computing, [INFO] Computer Science [cs]

File Description: application/pdf

Access URL: https://hal.science/hal-04833623v1/document
https://doi.org/10.1145/3672608.3707854
https://hal.science/hal-04833623v1

UpGate: Low-Power and Secure Over-the-Air Hardware Reconfiguration for Deployed FPGAs

Authors: Abadie, Alexandre Cortes-Neira, Alfonso Watteyne, Thomas et al.

Contributors: Abadie, Alexandre Cortes-Neira, Alfonso Watteyne, Thomas et al.

Source: 2025 28th Conference on Innovation in Clouds, Internet and Networks (ICIN). :28-35

Subject Terms: [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE]

File Description: application/pdf

Access URL: https://inria.hal.science/hal-05024604v1
https://doi.org/10.1109/icin64016.2025.10942953
https://inria.hal.science/hal-05024604v1/document