Olivier Barais
155
Documents
Publications
|
Experience in Specializing a Generic Realization Language for SPL Engineering at AirbusMODELS 2023 - 26th International Conference on Model-Driven Engineering Languages and Systems, ACM; IEEE, Oct 2023, Västerås, Sweden. pp.1-12
Conference papers
hal-04216627v1
|
|
Towards the Detection of Malicious Java PackagesCCS 2022 - ACM SIGSAC Conference on Computer and Communications Security, Nov 2022, Los Angeles CA USA, United States. pp.63-72, ⟨10.1145/3560835.3564548⟩
Conference papers
hal-03921362v1
|
|
Towards a Better Understanding of Impersonation RisksSINCONF 2022 - 15th IEEE International Conference on Security of Information and Networks, Nov 2022, Sousse, Tunisia. pp.1-9
Conference papers
hal-03789500v2
|
|
A Language-Parametric Approach to Exploratory Programming EnvironmentsSLE 2022 - 15th ACM SIGPLAN International Conference on Software Language Engineering, ACM SIGPLAN: Special Interest Group on Programming Languages, Dec 2022, Auckland, New Zealand. pp.175-188, ⟨10.1145/3567512.3567527⟩
Conference papers
hal-03921387v1
|
|
Risk Explorer for Software Supply ChainsCCS 2022 - ACM SIGSAC Conference on Computer and Communications Security, Nov 2022, Los Angeles, United States. pp.35-36, ⟨10.1145/3560835.3564546⟩
Conference papers
hal-03921373v1
|
|
A Context-Driven Modelling Framework for Dynamic Authentication DecisionsSEAA 2022 - Euromicro Conference Series on Software Engineering and Advanced Applications, Aug 2022, Maspalomas, Spain. pp.1-8
Conference papers
hal-03729080v1
|
|
RISCLESS: A Reinforcement Learning Strategy to Guarantee SLA on Cloud Ephemeral and Stable Resources2022 30th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP), Mar 2022, Valladolid, Spain. pp.83-87, ⟨10.1109/PDP55904.2022.00021⟩
Conference papers
hal-03921309v2
|
|
Feature Subset Selection for Learning Huge Configuration Spaces: The case of Linux Kernel SizeSPLC 2022 - 26th ACM International Systems and Software Product Line Conference, Sep 2022, Graz, Austria. pp.1-12, ⟨10.1145/3546932.3546997⟩
Conference papers
hal-03720273v1
|
|
IDE as Code: Reifying Language Protocols as First-Class CitizensISEC 2021 - Innovations in Software Engineering Conference, Feb 2021, Bhubaneswar / Virtual, India. pp.1-5
Conference papers
hal-03107122v1
|
|
From Monolithic to Microservice Architecture: The Case of Extensible and Domain-Specific IDEsMODELS 2021: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems, Oct 2021, Virtual, Japan. pp.1-10
Conference papers
hal-03342678v1
|
|
ChaT: Evaluation of Reconfigurable Distributed Network Systems Using Metamorphic TestingGLOBCOM 2021 - IEEE Global Communications Conference, Dec 2021, Madrid, Spain. pp.1-6
Conference papers
hal-03379913v1
|
|
ReLeaSER: A Reinforcement Learning Strategy for Optimizing Utilization Of Ephemeral Cloud ResourcesCloudCom 2020 - 12th IEEE International Conference on Cloud Computing Technology and Science, Dec 2020, Bangkok, Thailand. pp.1-9
Conference papers
hal-02989286v1
|
|
Modular and Distributed IDESLE 2020 - 13th ACM SIGPLAN International Conference on Software Language Engineering, Nov 2020, Virtual, United States. pp.270-282, ⟨10.1145/3426425.3426947⟩
Conference papers
hal-02964806v2
|
|
From DSL Specification to Interactive Computer Programming EnvironmentSLE 2019 - 12th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2019, Athènes, Greece. pp.167-178, ⟨10.1145/3357766.3359540⟩
Conference papers
hal-02307953v1
|
|
Leveraging cloud unused resources for Big data application while achieving SLAMASCOTS 2019 - 27th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Oct 2019, Rennes, France. pp.1-2
Conference papers
hal-02362257v1
|
|
Cuckoo: Opportunistic MapReduce on Ephemeral and Heterogeneous Cloud ResourcesCLOUD 2019 - IEEE 12th International Conference on Cloud Computing, Jul 2019, Milan, Italy. pp.1-8, ⟨10.1109/CLOUD.2019.00070⟩
Conference papers
hal-02179453v1
|
|
Benefits of Energy Management Systems on local energy efficiency, an agricultural case studySmartGridComm 2019 - IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, Oct 2019, Beijing, China. pp.1-7
Conference papers
hal-02315327v1
|
|
Requirements for preventing logic flaws in the authentication procedure of web applicationsSAC 2019 - 34th ACM/SIGAPP Symposium On Applied Computing, Apr 2019, Limassol, Cyprus. pp.1-9, ⟨10.1145/3297280.3297438⟩
Conference papers
hal-02087663v1
|
|
Tracking Application Fingerprint in a Trustless Cloud Environment for Sabotage DetectionMASCOTS 2019 - 27th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Oct 2019, Rennes, France. pp.74-82, ⟨10.1109/MASCOTS.2019.00018⟩
Conference papers
hal-02303153v1
|
|
Enabling Temporal-Aware Contexts for Adaptative Distributed Systems Temporal Context Representation System updatesSAC 2018 - The 33rd ACM/SIGAPP Symposium On Applied Computing, Apr 2018, Pau, France. pp.1-8, ⟨10.1145/3167132.3167286⟩
Conference papers
hal-01723451v1
|
|
Using Quantile Regression for Reclaiming Unused Cloud Resources while achieving SLACloudCom 2018 - 10th IEEE International Conference on Cloud Computing Technology and Science, Dec 2018, Nicosia, Cyprus. pp.89-98, ⟨10.1109/CloudCom2018.2018.00030⟩
Conference papers
hal-01898438v1
|
|
Efficient use of local energy: An activity oriented modeling to guide Demand Side ManagementMODELS 2018 - 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Oct 2018, Copenhagen, Denmark. pp.458-468, ⟨10.1145/3239372.3239391⟩
Conference papers
hal-01913169v1
|
|
A Temporal Model for Interactive Diagnosis of Adaptive SystemsICAC 2018 - IEEE International Conference on Autonomic Computing, Sep 2018, Trento, Italy. pp.1-6
Conference papers
hal-01862964v1
|
|
Raising Time Awareness in Model-Driven EngineeringACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems., Sep 2017, Austin, Texas, United States
Conference papers
hal-01580554v1
|
|
Modélisation et Évaluation de la Sécurité des IHMCIEL 2017 : 6ème Conférence en IngénieriE du Logiciel, Jun 2017, Montpellier, France
Conference papers
hal-01611324v1
|
|
Language Engineering with the GEMOC StudioICSAW 2017 - IEEE International Conference on Software Architecture Workshops, Apr 2017, Gothenburg, Sweden. pp.3
Conference papers
hal-01609576v1
|
|
Weaving Rules into Models@run.time for Embedded Smart SystemsProgramming 2017 - Companion to the first International Conference on the Art, Science and Engineering of Programming, Apr 2017, Brussels, Belgium. pp.1 - 6, ⟨10.1145/3079368.3079394⟩
Conference papers
hal-01609796v1
|
|
Seeking for the Optimal Energy Modelisation Accuracy to Allow Efficient Datacenter Optimizations16th International Symposium on Cluster, Cloud and Grid Computing, May 2016, Cartagena, Italy. ⟨10.1109/CCGrid.2016.67⟩
Conference papers
hal-01356099v1
|
|
KevoreeJS: Enabling Dynamic Software Reconfigurations in the BrowserWICSA and CompArch 2016, ACM Sigsoft, Apr 2016, Venice, Italy. ⟨10.1109/CBSE.2016.20⟩
Conference papers
hal-01354997v1
|
|
NOTICE: A Framework for Non-functional Testing of Compilers2016 IEEE International Conference on Software Quality, Reliability & Security (QRS 2016), Aug 2016, Vienna, Austria
Conference papers
hal-01344835v1
|
|
Squirrel: Architecture Driven Resource ManagementSAC - 31st Annual ACM Symposium on Applied Computing, Apr 2016, Pisa, Italy. ⟨10.1145/0000000.0000000⟩
Conference papers
hal-01355000v1
|
|
Automatic Non-functional Testing of Code Generators Families15th International Conference on Generative Programming: Concepts & Experiences (GPCE 2016), Oct 2016, Amsterdam, Netherlands. pp.11
Conference papers
hal-01356849v1
|
|
Towards microservices architecture to transcode videos in the large at low costsTEMU 2016 - International Conference on Telecommunications and Multimedia, Jul 2016, Heraklion, Greece. pp.1 - 6, ⟨10.1109/TEMU.2016.7551918⟩
Conference papers
hal-01427277v1
|
|
A Generative Middleware for Heterogeneous and Distributed Services19th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2016), Apr 2016, Venise, Italy. ⟨10.1109/CBSE.2016.12⟩
Conference papers
hal-01356104v1
|
|
A Decision-making Process for Exploring Architectural Variants in Systems EngineeringSoftware Product Lines Conference (SPLC), Sep 2016, Beijing, China. ⟨10.1145/2934466.2946045⟩
Conference papers
hal-01374140v1
|
|
OCCIware - A Formal and Tooled Framework for Managing Everything as a ServiceProjects Showcase @ STAF'15, Jul 2015, L'Aquila, Italy. pp.18 - 25
Conference papers
hal-01188826v1
|
Enhancing Cloud Energy Models for Optimizing Datacenters EfficiencyIEEE International Conference on Cloud and Autonomic Computing (ICCAC), Sep 2015, Cambridge, MA, United States. pp.8, ⟨10.1109/ICCAC.2015.10⟩
Conference papers
hal-01243146v1
|
|
|
A Novelty Search-based Test Data Generator for Object-oriented ProgramsGECCO 2015, Jul 2015, Madrid, Spain. pp.1359--1360, ⟨10.1145/2739482.2764716⟩
Conference papers
hal-01248177v1
|
|
Tooling Support for Variability and Architectural Patterns in Systems Engineering19th International Conference on Software Product Line, Jul 2015, Nashville, United States. ⟨10.1145/2791060.2791097⟩
Conference papers
hal-01242180v1
|
|
A Precise Metamodel for Open Cloud Computing Interface8th IEEE International Conference on Cloud Computing (CLOUD 2015), IEEE, Jun 2015, New York, United States. pp.852 - 859, ⟨10.1109/CLOUD.2015.117⟩
Conference papers
hal-01188800v1
|
|
Assessing Product Line Derivation Operators Applied to Java Source Code: An Empirical Study19th International Software Product Line Conference (SPLC'15), Jul 2015, Nashville, TN, United States
Conference papers
hal-01163423v1
|
|
Software Diversity: Challenges to handle the imposed, Opportunities to harness the chosenGDR GPL, Jun 2014, Paris, France
Conference papers
hal-00980126v1
|
|
Scapegoat: an Adaptive monitoring framework for Component-based systemsWorking IEEE/IFIP Conference on Software Architecture, IEEE/IFIP, Apr 2014, Syndey, Australia
Conference papers
hal-00983045v1
|
|
Using Path-Dependent Types to Build Type Safe JavaScript Foreign Function InterfacesICWE - 14th International Conference on Web Engineering, Jul 2014, Toulouse, France
Conference papers
hal-01026148v1
|
|
Automating the Formalization of Product Comparison MatricesASE - 29th IEEE/ACM International Conference on Automated Software Engineering, Sep 2014, Västerås, Sweden. ⟨10.1145/2642937.2643000⟩
Conference papers
hal-01058440v1
|
|
Designing resource-aware distriubted system based on system level containersMiddleware Conference, Dec 2014, Bordeaux, France. pp.2
Conference papers
hal-01090565v1
|
|
Designing and Evolving Distributed Architecture using KevoreeQoSA '14 Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures, Jul 2014, Lille, France. pp.147-148, ⟨10.1145/2602576.2611461⟩
Conference papers
hal-01096941v1
|
|
A Native Versioning Concept to Support Historized Models at RuntimeACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Sep 2014, Valencia, Spain. pp.252 - 268, ⟨10.1007/978-3-319-11653-2_16⟩
Conference papers
hal-01097020v1
|
|
Using Models@Run.time to embed an Energetic Cloud Simulator in a MAPE-K LoopWorkshop Autonomique, Oct 2014, Toulouse, France
Conference papers
hal-01243158v1
|
|
When Systems Engineering Meets Software Language EngineeringCSD&M'14 - Complex Systems Design & Management, Nov 2014, Paris, France
Conference papers
hal-01024166v1
|
|
Customization and 3D Printing: A Challenging Playground for Software Product Lines18th International Software Product Line Conference, Jul 2014, Florence, Italy
Conference papers
hal-01018937v1
|
|
Towards Managing Variability in the Safety Design of an Automotive Hall Effect Sensor18th International Software Product Line Conference, Sep 2014, Florence, Italy
Conference papers
hal-01018938v1
|
|
Interactive Visualisation of Products in Online Configurators: A Case Study for Variability Modelling TechnologiesMAPLE/SCALE 2013: Joint Workshop on Model-driven Approaches in SPL Engineering, and Workshop on Scalable Modeling Techniques for SPL, Aug 2013, Tokio, Japan. pp.82--85, ⟨10.1145/2499777.2500711⟩
Conference papers
hal-00842656v1
|
|
Efficient high-level abstractions for web programmingGenerative Programming: Concepts and Experiences, GPCE'13, Oct 2013, Indianapolis, United States. pp.53-60, ⟨10.1145/2517208.2517227⟩
Conference papers
hal-00920786v1
|
|
Integrating Software Process Reuse and AutomationAsia-Pacific Software Engineering Conference (APSEC), Dec 2013, Bangkok, Thailand
Conference papers
hal-00872188v1
|
|
Improving Reusability in Software Process LinesEuromicro Conference on Software Engineering and Advanced Applications, Sep 2013, Santander, Spain
Conference papers
hal-00838771v1
|
|
Generating Counterexamples of Model-based Software Product Lines: An Exploratory StudySPLC - 17th International Software Product Line Conference, Aug 2013, Tokyo, Japan
Conference papers
hal-00837523v1
|
|
Reifying Concurrency for Executable MetamodelingSLE - 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. pp.365-384, ⟨10.1007/978-3-319-02654-1_20⟩
Conference papers
hal-00850770v2
|
|
Composing your Compositions of Variability ModelsACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS'13), Sep 2013, Miami, United States. 17 p
Conference papers
hal-00859473v1
|
|
A Demonstration for Building Modular and Efficient DSLs: The Kermeta v2 ExperienceConférence en IngénieriE du Logiciel (CIEL), Apr 2013, Nancy, France
Conference papers
hal-00796009v1
|
Achieving Practical Genericity in Model Weaving through ExtensibilityTheory and Practice of Model Transformations - 6th International Conference, Jun 2013, Budapest, Hungary. pp.108-124, ⟨10.1007/978-3-642-38883-5_12⟩
Conference papers
hal-00921058v1
|
|
|
Using CVL to Operationalize Product Line Development with Reusable Aspect ModelsVARY@MoDELS'12: VARiability for You, Sep 2012, Innsbruck, Austria
Conference papers
hal-00730274v1
|
|
Kevoree : une approche model@runtime pour les systèmes ubiquitairesUbiMob2012, Jun 2012, Anglet, France
Conference papers
hal-00714557v1
|
Leveraging variability modeling for multi-dimensional Model-driven Software Product Lines3rd International Workshop on Product Line Approaches in Software Engineering (PLEASE), Jun 2012, Zurich, Switzerland. pp.5-8, ⟨10.1109/PLEASE.2012.6229774⟩
Conference papers
hal-00726402v1
|
|
|
Dissemination of reconfiguration policies on mesh networks12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.16-30, ⟨10.1007/978-3-642-30823-9_2⟩
Conference papers
hal-00688707v1
|
|
A Dynamic Component Model for Cyber Physical Systems15th International ACM SIGSOFT Symposium on Component Based Software Engineering, Jul 2012, Bertinoro, Italy
Conference papers
hal-00713769v1
|
|
A Process for Continuous Validation of Self-Adapting Component Based Systems7th International Workshop on Models@run.time of the MODELS 2012 Conference., Oct 2012, Innsbruck, Austria
Conference papers
hal-00764706v1
|
|
Specifying and Running Rich Graphical Components with LoaEICS'12: Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems, Jun 2012, Copenhagen, Denmark. pp.169-178, ⟨10.1145/2305484.2305513⟩
Conference papers
hal-00684881v1
|
Towards flexible evolution of Dynamically Adaptive Systems34th International Conference on Software Engineering (ICSE), NIER Track, Jun 2012, Zurich, Switzerland. pp.1353-1356, ⟨10.1109/ICSE.2012.6227081⟩
Conference papers
hal-00726415v1
|
|
|
An Eclipse Modelling Framework Alternative to Meet the Models@Runtime RequirementsModels 2012, Oct 2012, Innsbruck, Austria
Conference papers
hal-00714558v1
|
An Approach for Semantic Enrichment of Software Product LinesThird International Workshop on Knowledge Oriented Product Line Engineering (KOPLE), Sep 2012, Salvador, Brazil
Conference papers
hal-00726405v1
|
|
|
Leveraging CVL to Manage Variability in Software Process LinesAsia-Pacific Software Engineering Conference, Dec 2012, Hong Kong, China
Conference papers
hal-00735881v1
|
MDE to Manage Communications with and between Resource-Constrained SystemsModel Driven Engineering Languages and Systems, Oct 2011, Wellington, New Zealand. pp.16
Conference papers
hal-00647141v1
|
|
|
Adaptation multi-niveaux : l'infrastructure au service des applicationsConférence Française en Systèmes d'Exploitation (CFSE), May 2011, St Malo, France
Conference papers
inria-00603973v1
|
|
Specifying and implementing UI Data Bindings with Active OperationsACM SIGCHI Symposium on Engineering Interactive Computing Systems, Jun 2011, Pise, Italy. pp.127--136, ⟨10.1145/1996461.1996506⟩
Conference papers
inria-00590896v1
|
|
Bridging the Gap Between Software Process and Software DevelopmentIDM, Jun 2011, Lille, France
Conference papers
inria-00605465v1
|
|
Movida studio: a modeling environment to create viewpoints and manage variability in viewsIDM- 7éme journées sur l'Ingénierie Dirigée par les Modèles-2011, Polytech, Université Lille 1, Jun 2011, Lille, France. pp.141-145
Conference papers
hal-00660864v1
|
|
Integrating IoT and IoS with a Component-Based approachProcedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2010), Date-Added = 2010-06-07 10:37:26 +0200, Date-Modified = 2010-07-23 09:56:36 +0200, 2010, Lille, France, France
Conference papers
inria-00538469v1
|
|
Security-Driven Model-Based Dynamic Adaptation25nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), 2010, Antwerp, Belgium, Belgium
Conference papers
inria-00538500v1
|
|
F4Plan: An Approach to build Efficient Adaptation Plans7th International ICST Conference on Mobile and Ubiquitous Systems (MobiQuitous), Dec 2010, Sydney, Australia
Conference papers
hal-00548736v1
|
|
Active Operations on CollectionsACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10), 2010, Oslo, Norway, Norway. pp.91--105
Conference papers
inria-00542763v1
|
|
Aspect-Oriented Modeling to Support Dynamic AdaptationForum Demo at AOSD'10, 2010, Rennes and St Malo, France, France
Conference papers
inria-00504664v1
|
|
Managing variability in multi-views engineering : A live demoJournée Lignes de Produits, Oct 2010, Paris, France, France
Conference papers
inria-00538466v1
|
|
Integrating Legacy Systems with MDEICSE'10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering and ICSE Workshops, 2010, Cape Town, South Africa. pp.69--78
Conference papers
inria-00504669v1
|
|
Building a Kermeta Compiler using Scala: an Experience Report.Workshop Scala Days 2010, 2010, Lausanne, Switzerland
Conference papers
inria-00542760v1
|
|
Taming Dynamically Adaptive Systems with Models and Aspects31st International Conference on Software Engineering (ICSE'09), 2009, Vancouver, Canada, Canada
Conference papers
inria-00468516v1
|
|
Unifying Runtime Adaptation and Design EvolutionIEEE 9th International Conference on Computer and Information Technology (CIT'09), 2009, Xiamen, China, China
Conference papers
inria-00468517v1
|
|
EntiMid : un middleware aux services de la maison3ème Conférence Francophone sur les Architectures Logicielles (CAL'O9), 2009, Nancy, France, France. pp.59-72
Conference papers
inria-00468521v1
|
|
Adaptation de services en environnement distribuéRenPar'19, Sep 2009, Toulouse, France
Conference papers
inria-00411514v1
|
|
Leveraging Models From Design-time to Runtime. A Live Demo4th International Workshop on Models@Run.Time (at MODELS'09), 2009, Denver, Colorado, USA, United States
Conference papers
inria-00468520v1
|
|
Generic Model RefactoringsACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), 2009, Denver, Colorado, USA, United States
Conference papers
inria-00468657v1
|
|
Composition et expression qualitative de politiques d'adaptation pour les composants FractalActes des Journées nationales du GDR GPL 2009, 2009, Toulouse, France, France
Conference papers
inria-00542773v1
|
|
Weaving Variability into Domain MetamodelsACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), 2009, Denver, Colorado, USA, United States
Conference papers
inria-00468519v1
|
|
V3Studio: A Component-Based Architecture Modeling Language15th IEEE International Conference on Engineering of Computer-Based Systems (ECBS'O8), 2008, Belfast, Northern Ireland, Ireland
Conference papers
inria-00371222v1
|
Managing Variability Complexity in Aspect Oriented Modelling12th International Conference on Model Driven Engineering Languages and Systems (MODELS'2009), ACM/IEEE, Sep 2008, Toulouse, France. pp.797-812
Conference papers
hal-00415774v1
|
|
|
Composition of Qualitative Adaptation Policies23rd IEEE/ACM International Conference on Automated Software Engineering - ASE'08, 2008, L'Aquila, Italy, Italy. pp.455 - 458, ⟨10.1109/ASE.2008.72⟩
Conference papers
inria-00477536v1
|
|
A Generic Weaver for Supporting Product LinesInternational Workshop on Early Aspects at ICSE'08, 2008, Leipzig, Germany, Germany
Conference papers
inria-00456485v1
|
|
A Model-Driven Process for Self-Adaptive Software4th European Congress ERTS Embedded Real-Time Software, Jan 2008, Toulouse, France, France. pp.CD-ROM
Conference papers
inria-00455764v1
|
|
Improving Maintenance in AOP Through an Interaction Specification FrameworkICSM08, 24th International conference on Software Maintentance, 2008, Beijing, China, China
Conference papers
inria-00456504v1
|
|
Composing Multi-View Aspect Models7th IEEE International Conference on Composition-Based Software Systems (ICCBSS), 2008, Madrid, Spain, Spain
Conference papers
inria-00371221v1
|
|
Expression qualitative de politiques d'adaptation pour FractalLangages Modèles et Objets (LMO'08), 2008, Montréal, Québec, Canada. pp.5--20
Conference papers
inria-00456478v1
|
|
K@RT: An Aspect-Oriented and Model-Oriented Framework for Dynamic Software Product LinesProceedings of the 3rd International Workshop on Models@Runtime, at MoDELS'08, 2008, Toulouse, France, France
Conference papers
inria-00456486v1
|
|
Managing Variability Complexity in Aspect-Oriented ModelingIn Proceedings of ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08), 2008, Toulouse, France, France
Conference papers
inria-00457129v1
|
|
Using MDE to Build a Schizofrenic Middleware for Home/Building AutomationIn ServiceWave'08: Networked European Software \& Services Initiative (NESSI) Conference, 2008, Madrid, Spain
Conference papers
inria-00456506v1
|
|
Weaving Aspect Configurations for Managing System Variability2nd International Workshop on Variability Modelling of Software-intensive Systems, 2008, Essen, Germany, Germany
Conference papers
inria-00456484v1
|
Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles8e conférence AFADL, Approches Formelles dans l'Assistance au D´eveloppement de Logiciels, 2007, Namur, Belgique, Jun 2007, France. pp. 283-285
Conference papers
hal-00461532v1
|
|
|
Modelling Adaptation Policies for Self-Adaptive Component Architectures1st Workshop on Model-driven Software Adaptation M-ADAPT'07 at ECOOP 2007, 2007, Berlin, Germany, Germany. pp.61--68
Conference papers
inria-00477570v1
|
|
Towards a Generic Aspect-Oriented Modeling FrameworkModels and Aspects workshop, at ECOOP 2007, 2007, Berlin, Germany, Germany
Conference papers
inria-00505222v1
|
|
Introduction du test dans la modélisation par aspectsTroisième Journées sur l'Ingénierie Dirigée par les Modèles (IDM'2007), 2007, Toulouse, France, France
Conference papers
inria-00477564v1
|
|
Integration of Time Issues into Component-Based ApplicationsCBSE, ACM, Jul 2007, Boston, United States
Conference papers
inria-00477509v1
|
|
Monitoring your Lego Mindstorms with Giottoin Proceedings of ARTIST International Workshop on Tool Platforms for Modeling, Analysis and Validation of Embedded Systems, 2007, Berlin, Germany, Germany
Conference papers
inria-00477557v1
|
|
Vigilant usage of Aspectsin Proceedings of ADI 2007 - Workshop on Aspects, Dependencies, and Interactions at ECOOP 2007, 2007, Berlin, Germany, Germany
Conference papers
inria-00477559v1
|
|
Matching Model-SnippetsIn Proceedings of ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 07), 2007, Nashville, TN, USA, United States
Conference papers
inria-00477558v1
|
|
Intégration de propriétés temporelles dans des applications à base de composantsDixième Anniversaire de la Conférence Francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07), 2007, Namur, Belgium, Belgique
Conference papers
inria-00477556v1
|
|
Introducing variability into Aspect-Oriented Modeling approachesIn Proceedings of ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 07), 2007, Nashville, TN, USA, United States
Conference papers
inria-00477562v1
|
|
Using Model-Driven Engineering to generate QoS Monitors from a formal specificationProceedings of the Aquserm 2006, 2006, Hong Kong, China, China
Conference papers
inria-00512553v1
|
|
Composants avec Propriétés TemporellesProceedings of the CAL 2006, 2006, Nantes, France, France
Conference papers
inria-00512552v1
|
|
Toward a generic and extensible merge operatorModels and Aspects workshop, at ECOOP 2006, Jul 2006, Nantes, France
Conference papers
hal-00795151v1
|
|
A Three Level Framework for Adapting Component-Based Systems2nd Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT) at the 19th European Conference on Object-Oriented Programming (ECOOP'05), Jul 2005, Glasgow, United Kingdom
Conference papers
inria-00486734v1
|
|
Une extension de Fractal pour l'AOP1ère Journée Francophone sur le développement de logiciels par aspects (JFDLPA'04), Sep 2004, Paris, France
Conference papers
inria-00489479v1
|
|
Demand Side Management A model driven approach to promote energy self-consumptionColloque de l'institut Mines Télécom, Jun 2018, Rennes, France
Conference poster
hal-02317918v1
|
|
Verifying the configuration of Virtualized Network Functions in Software Defined Networksb<>com, pp.1-6, inPress
Books
hal-01657866v1
|
Actes des 4èmes journées du GDR Génie de la Programmation et du Logiciel, Rennes, 2012Olivier Barais, Laurence Duchien. Université de Rennes, pp.256, 2012
Books
hal-00713033v1
|
|
Service Research Challenges and Solutions for the Future InternetMike Papazoglou and Klaus Pohl and Michael Parkin and Andreas Metzger. Springer, 6500, pp.374, 2010, Lecture Notes in Computer Science, 978-3-642-17598-5. ⟨10.1007/978-3-642-17599-2⟩
Books
inria-00559100v1
|
|
Software Unbundling: Challenges and PerspectivesS. Chiba; M. Südholt; P. Eugster; L. Ziarek; G.T. Leavens. Transactions on Modularity and Composition I, Springer, 2016, 978-3-319-46969-0
Book sections
hal-01427560v1
|
|
Model Driven Language Engineering with KermetaJoao M. Fernandes, Ralf Lammel, Joao Saraiva, Joost Visser. 3rd Summer School on Generative and Transformational Techniques in Software Engineering, LNCS 6491, Springer, 2010
Book sections
inria-00538461v1
|
|
Software Architecture EvolutionTom Mens and Serge Demeyer eds. Software Evolution, Springer Verlag, pp.233--262, 2008
Book sections
inria-00371226v1
|
|
Leveraging Family Polymorphism in MDE2014
Preprints, Working Papers, ...
hal-00994541v1
|
|
The K3 Model-Based Language Workbench2014
Preprints, Working Papers, ...
hal-01025283v1
|
|
RISCLESS: A Reinforcement Learning Strategy to Exploit Unused Cloud Resources[Research Report] ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne. 2022, pp.1-9
Reports
hal-03652738v1
|
|
Learning Very Large Configuration Spaces: What Matters for Linux Kernel Sizes[Research Report] Inria Rennes - Bretagne Atlantique. 2019
Reports
hal-02314830v1
|
|
A Systematic Mapping Study on Modeling for Industry 4.0[Research Report] RR-9062, INRIA Rennes - Bretagne Atlantique and University of Rennes 1, France. 2017, pp.25
Reports
hal-01514421v2
|
|
Kevoree Modeling Framework (KMF): Efficient modeling techniques for runtime use[Research Report] TR-SnT-2014-11, University of Luxembourg. 2014, pp.24
Reports
hal-00996764v1
|
|
A classification of invasive patterns in AOP[Research Report] RR-6501, INRIA. 2008
Reports
inria-00266555v3
|
|
Utilisation de la modélisation à l’exécution : objectif, challenges et bénéficesInformatique et langage [cs.CL]. Université de Rennes 1, 2014
Habilitation à diriger des recherches
tel-01096952v1
|
|
Reproducible Science and Software EngineeringDoctoral. Valence, EJCP 2023, France. 2023, pp.140
Lectures
hal-04152637v2
|