Olivier Barais

Orcid: 0000-0002-4551-8562

Affiliations:
  • IRISA Rennes


According to our database1, Olivier Barais authored at least 159 papers between 2004 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
On Understanding Context Modelling for Adaptive Authentication Systems.
ACM Trans. Auton. Adapt. Syst., March, 2023

Journey to the Center of Software Supply Chain Attacks.
IEEE Secur. Priv., 2023

SoK: Taxonomy of Attacks on Open-Source Software Supply Chains.
Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Adaptive Structural Operational Semantics.
Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023

The Hitchhiker's Guide to Malicious Third-Party Dependencies.
Proceedings of the 2023 Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses, 2023

Experience in Specializing a Generic Realization Language for SPL Engineering at Airbus.
Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

HeROfake: Heterogeneous Resources Orchestration in a Serverless Cloud - An Application to Deepfake Detection.
Proceedings of the 23rd IEEE/ACM International Symposium on Cluster, 2023

Towards Leveraging Tests to Identify Impacts of Metamodel and Code Co-evolution.
Proceedings of the Intelligent Information Systems, 2023

On the Feasibility of Cross-Language Detection of Malicious Packages in npm and PyPI.
Proceedings of the Annual Computer Security Applications Conference, 2023

2022
API beauty is in the eye of the clients: 2.2 million Maven dependencies reveal the spectrum of client-API usages.
J. Syst. Softw., 2022

RISCLESS: A Reinforcement Learning Strategy to Exploit Unused Cloud Resources.
CoRR, 2022

Taxonomy of Attacks on Open-Source Software Supply Chains.
CoRR, 2022

Feature subset selection for learning huge configuration spaces: the case of linux kernel size.
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

A Language-Parametric Approach to Exploratory Programming Environments.
Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, 2022

Towards a Better Understanding of Impersonation Risks.
Proceedings of the 15th International Conference on Security of Information and Networks, 2022

Towards the Detection of Malicious Java Packages.
Proceedings of the 2022 ACM Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses, 2022

Risk Explorer for Software Supply Chains: Understanding the Attack Surface of Open-Source based Software Development.
Proceedings of the 2022 ACM Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses, 2022

RISCLESS: A Reinforcement Learning Strategy to Guarantee SLA on Cloud Ephemeral and Stable Resources.
Proceedings of the 30th Euromicro International Conference on Parallel, 2022

A Context-Driven Modelling Framework for Dynamic Authentication Decisions.
Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022

2021
Investigating Machine Learning Algorithms for Modeling SSD I/O Performance for Container-Based Virtualization.
IEEE Trans. Cloud Comput., 2021

SEALS: a framework for building self-adaptive virtual machines.
Proceedings of the SLE '21: 14th ACM SIGPLAN International Conference on Software Language Engineering, Chicago, IL, USA, October 17, 2021

Towards self-adaptable languages.
Proceedings of the Onward! 2021: Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, 2021

From Monolithic to Microservice Architecture: The Case of Extensible and Domain-Specific IDEs.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

IDE as Code: Reifying Language Protocols as First-Class Citizens.
Proceedings of the ISEC 2021: 14th Innovations in Software Engineering Conference, 2021

ChaT: Evaluation of Reconfigurable Distributed Network Systems Using Metamorphic Testing.
Proceedings of the IEEE Global Communications Conference, 2021

2020
Leveraging metamorphic testing to automatically detect inconsistencies in code generator families.
Softw. Test. Verification Reliab., 2020

Modeling languages in Industry 4.0: an extended systematic mapping study.
Softw. Syst. Model., 2020

Automatic Generation of Truffle-based Interpreters for Domain-Specific Languages.
J. Object Technol., 2020

Misconfiguration Discovery with Principal Component Analysis for Cloud-Native Services.
Proceedings of the 13th IEEE/ACM International Conference on Utility and Cloud Computing, 2020

Modular and distributed IDE.
Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020

A principled approach to REPL interpreters.
Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, 2020

Co-evolving code with evolving metamodels.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

On the power of abstraction: a model-driven co-evolution approach of software code.
Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

ReLeaSER: A Reinforcement Learning Strategy for Optimizing Utilization Of Ephemeral Cloud Resources.
Proceedings of the 12th IEEE International Conference on Cloud Computing Technology and Science, 2020

2019
Analyzing 2.3 Million Maven Dependencies to Reveal an Essential Core in APIs.
CoRR, 2019

Benefits of Energy Management Systems on local energy efficiency, an agricultural case study.
Proceedings of the 2019 IEEE International Conference on Communications, 2019

From DSL specification to interactive computer programming environment.
Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019

Requirements for preventing logic flaws in the authentication procedure of web applications.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

The emergence of software diversity in maven central.
Proceedings of the 16th International Conference on Mining Software Repositories, 2019

The maven dependency graph: a temporal graph-based representation of maven central.
Proceedings of the 16th International Conference on Mining Software Repositories, 2019

Leveraging cloud unused resources for Big data application while achieving SLA.
Proceedings of the 27th IEEE International Symposium on Modeling, 2019

Tracking Application Fingerprint in a Trustless Cloud Environment for Sabotage Detection.
Proceedings of the 27th IEEE International Symposium on Modeling, 2019

Comparison Matrices of Semantic RESTful APIs Technologies.
Proceedings of the Web Engineering - 19th International Conference, 2019

Cuckoo: Opportunistic MapReduce on Ephemeral and Heterogeneous Cloud Resources.
Proceedings of the 12th IEEE International Conference on Cloud Computing, 2019

2018
Concern-oriented language development (COLD): Fostering reuse in language engineering.
Comput. Lang. Syst. Struct., 2018

Enabling temporal-aware contexts for adaptative distributed systems.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Efficient use of local energy: An activity oriented modeling to guide Demand Side Management.
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

A Temporal Model for Interactive Diagnosis of Adaptive Systems.
Proceedings of the 2018 IEEE International Conference on Autonomic Computing, 2018

Using Quantile Regression for Reclaiming Unused Cloud Resources While Achieving SLA.
Proceedings of the 2018 IEEE International Conference on Cloud Computing Technology and Science, 2018

2017
Learning Contextual-Variability Models.
IEEE Softw., 2017

Why can't users choose their identity providers on the web?
Proc. Priv. Enhancing Technol., 2017

Safe model polymorphism for flexible modeling.
Comput. Lang. Syst. Struct., 2017

Weaving Rules into Models@run.time for Embedded Smart Systems.
Proceedings of the Companion to the first International Conference on the Art, 2017

Verifying the configuration of virtualized network functions in software defined networks.
Proceedings of the 2017 IEEE Conference on Network Function Virtualization and Software Defined Networks, 2017

A Systematic Mapping Study on Modeling for Industry 4.0.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Revisiting Visitors for Modular Extension of Executable DSMLs.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Raising Time Awareness in Model-Driven Engineering: Vision Paper.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

A WebRTC Extension to Allow Identity Negotiation at Runtime.
Proceedings of the Web Engineering - 17th International Conference, 2017

Language Engineering with the GEMOC Studio.
Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017

2016
Software Unbundling: Challenges and Perspectives.
LNCS Trans. Modul. Compos., 2016

ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems.
J. Syst. Softw., 2016

Towards microservices architecture to transcode videos in the large at low costs.
Proceedings of the 2016 International Conference on Telecommunications and Multimedia, 2016

A decision-making process for exploring architectural variants in systems engineering.
Proceedings of the 20th International Systems and Software Product Line Conference, 2016

Squirrel: architecture driven resource management.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

NOTICE: A Framework for Non-Functional Testing of Compilers.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Automatic non-functional testing of code generators families.
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016

Seeking for the Optimal Energy Modelisation Accuracy to Allow Efficient Datacenter Optimizations.
Proceedings of the IEEE/ACM 16th International Symposium on Cluster, 2016

KevoreeJS: Enabling Dynamic Software Reconfigurations in the Browser.
Proceedings of the 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2016

A Generative Middleware for Heterogeneous and Distributed Services.
Proceedings of the 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2016

2015
Generating counterexamples of model-based software product lines.
Int. J. Softw. Tools Technol. Transf., 2015

Mashup of metalanguages and its implementation in the Kermeta language workbench.
Softw. Syst. Model., 2015

Multitier Diversification in Web-Based Software Applications.
IEEE Softw., 2015

OCCIware - A Formal and Tooled Framework for Managing Everything as a Service.
Proceedings of the Projects Showcase, 2015

A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio.
Proceedings of the 8th Transformation Tool Contest, 2015

Assessing product line derivation operators applied to Java source code: an empirical study.
Proceedings of the 19th International Conference on Software Product Line, 2015

Tooling support for variability and architectural patterns in systems engineering.
Proceedings of the 19th International Conference on Software Product Line, 2015

Melange: a meta-language for modular and reusable development of DSLs.
Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Reusing legacy DSLs with Melange.
Proceedings of the Workshop on Domain-Specific Modeling, 2015

Taming Heterogeneity and Distribution in sCPS.
Proceedings of the 1st IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2015

A Novelty Search Approach for Automatic Test Data Generation.
Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015

Enhancing Cloud Energy Models for Optimizing Datacenters Efficiency.
Proceedings of the 2015 International Conference on Cloud and Autonomic Computing, 2015

A Novelty Search-based Test Data Generator for Object-oriented Programs.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015

Challenges on software unbundling: growing and letting go.
Proceedings of the Companion Proceedings of the 14th International Conference on Modularity, 2015

A Precise Metamodel for Open Cloud Computing Interface.
Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2014
Kevoree Modeling Framework (KMF): Efficient modeling techniques for runtime use.
CoRR, 2014

Scapegoat: An Adaptive Monitoring Framework for Component-Based Systems.
Proceedings of the 2014 IEEE/IFIP Conference on Software Architecture, 2014

Towards managing variability in the safety design of an automotive hall effect sensor.
Proceedings of the 18th International Software Product Line Conference, 2014

Customization and 3D printing: a challenging playground for software product lines.
Proceedings of the 18th International Software Product Line Conference, 2014

Designing and evolving distributed architecture using kevoree.
Proceedings of the QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

A Native Versioning Concept to Support Historized Models at Runtime.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Automating the formalization of product comparison matrices.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Using Path-Dependent Types to Build Type Safe JavaScript Foreign Function Interfaces.
Proceedings of the Web Engineering, 14th International Conference, 2014

When Systems Engineering Meets Software Language Engineering.
Proceedings of the Complex Systems Design & Management, 2014

Utilisation de la modélisation à l'exécution : objectif, challenges et bénéfices.
, 2014

2013
Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench.
CoRR, 2013

Generating counterexamples of model-based software product lines: an exploratory study.
Proceedings of the 17th International Software Product Line Conference, 2013

Interactive visualisation of products in online configurators: a case study for variability modelling technologies.
Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

Reifying Concurrency for Executable Metamodeling.
Proceedings of the Software Language Engineering - 6th International Conference, 2013

Composing Your Compositions of Variability Models.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Achieving Practical Genericity in Model Weaving through Extensibility.
Proceedings of the Theory and Practice of Model Transformations, 2013

Efficient high-level abstractions for web programming.
Proceedings of the Generative Programming: Concepts and Experiences, 2013

Improving Reusability in Software Process Lines.
Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

Integrating Software Process Reuse and Automation.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012
Reusable model transformations.
Softw. Syst. Model., 2012

Weaving variability into domain metamodels.
Softw. Syst. Model., 2012

An approach for semantic enrichment of software product lines.
Proceedings of the 16th International Software Product Line Conference, 2012

A process for continuous validation of self-adapting component based systems.
Proceedings of the 7th Workshop on Models@run.time, Innsbruck, Austria, October 02, 2012, 2012

An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements.
Proceedings of the Model Driven Engineering Languages and Systems, 2012

Customizing the common variability language semantics for your domain models.
Proceedings of the VARiability for You Workshop, 2012

Using CVL to operationalize product line development with reusable aspect models.
Proceedings of the VARiability for You Workshop, 2012

Towards flexible evolution of Dynamically Adaptive Systems.
Proceedings of the 34th International Conference on Software Engineering, 2012

Leveraging variability modeling for multi-dimensional model-driven software product lines.
Proceedings of the Third International Workshop on Product LinE Approaches in Software Engineering, 2012

A models@runtime framework for designing and managing Service-Based Applications.
Proceedings of the First International Workshop on European Software Services and Systems Research, 2012

Specifying and running rich graphical components with Loa.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2012

Dissemination of Reconfiguration Policies on Mesh Networks.
Proceedings of the Distributed Applications and Interoperable Systems, 2012

A dynamic component model for cyber physical systems.
Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012

Leveraging CVL to Manage Variability in Software Process Lines.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011
Towards the Automatic Generation of Self-Adaptive Robotics Software: An Experience Report.
Proceedings of the 20th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2011

MDE to Manage Communications with and between Resource-Constrained Systems.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Specifying and implementing UI data bindings with active operations.
Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011

2010
Evaluation of Kermeta for solving graph-based problems.
Int. J. Softw. Tools Technol. Transf., 2010

Adaptation of Service-Based Systems.
Proceedings of the Service Research Challenges and Solutions for the Future Internet - S-Cube, 2010

Active Operations on Collections.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

F4Plan: An Approach to Build Efficient Adaptation Plans.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2010

Security-driven model-based dynamic adaptation.
Proceedings of the ASE 2010, 2010

Integrating legacy systems with MDE.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Integrating IoT and IoS with a Component-Based Approach.
Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010

2009
Models@ Run.time to Support Dynamic Adaptation.
Computer, 2009

Generic Model Refactorings.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

Taming Dynamically Adaptive Systems using models and aspects.
Proceedings of the 31st International Conference on Software Engineering, 2009

Model Driven Language Engineering with Kermeta.
Proceedings of the Generative and Transformational Techniques in Software Engineering III, 2009

EnTiMid: un middleware au service de la maison.
Proceedings of the 3e Conférence francophone sur les Architectures Logicielles, 2009

Unifying Runtime Adaptation and Design Evolution.
Proceedings of the Ninth IEEE International Conference on Computer and Information Technology, 2009

2008
Software Architecture Evolution.
Proceedings of the Software Evolution, 2008

A classification of invasive patterns in AOP
CoRR, 2008

Weaving Aspect Configurations for Managing System Variability.
Proceedings of the Second International Workshop on Variability Modelling of Software-Intensive Systems, 2008

Using MDE to Build a Schizophrenic Middleware for Home/Building Automation.
Proceedings of the Towards a Service-Based Internet, 2008

Managing Variability Complexity in Aspect-Oriented Modeling.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

Expression qualitative de politiques d'adaptation pour les composants Fractal.
Proceedings of the Langages et Modèles à Objets, 2008

Composition of Qualitative Adaptation Policies.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Improving maintenance in AOP through an interaction specification framework.
Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28, 2008

A generic weaver for supporting product lines.
Proceedings of the 13th international workshop on Early Aspects, 2008

Composing Multi-view Aspect Models.
Proceedings of the Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), 2008

V3Studio: A Component-Based Architecture Modeling Language.
Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008

Expression qualitative de politiques d'adaptation pour Fractal.
Proceedings of the 2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 2008

2007
From formal specifications to QoS monitors.
J. Object Technol., 2007

Evaluation de l'apport des aspects, des sujets et des vues pour la composition et la réutilisation des modèles.
Obj. Logiciel Base données Réseaux, 2007

Matching Model-Snippets.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

Introducing Variability into Aspect-Oriented Modeling Approaches.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

V3 Studio: Un entorno gráfico para el diseño de sistemas basados en componentes siguiendo un enfoque dirigido por modelos.
Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007

Integration of Time Issues into Component-Based Applications.
Proceedings of the Component-Based Software Engineering, 10th International Symposium, 2007

2006
Using Model-Driven Engineering to generate QoS Monitors from a formal specification.
Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

Safe Integration of New Concerns in a Software Architecture.
Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

Composants avec Propriétés Temporelles.
Proceedings of the 1er Conférence francophone sur les Architectures Logicielles (CAL 2006), 2006

2005
Vers une séparation entités/fonctions au sein d'une architecture logicielle à base de composants.
Obj. Logiciel Base données Réseaux, 2005

Providing Support for Safe Software Architecture Transformations.
Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005

A Framework to Specify Incremental Software Architecture Transformations.
Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2005), 30 August, 2005

2004
TranSAT : maîtriser l'évolution d'une architecture logicielle.
Obj. Logiciel Base données Réseaux, 2004

Safarchie Studio: ArgoUML Extensions to Build Safe Architectures.
Proceedings of the Architecture Description Languages, 2004


  Loading...