Benoit Combemale
232
Documents
Publications
Publications
|
|
Reclaiming Software Engineering as the Enabling Technology for the Digital AgeICSE 2026 - Future of Software Engineering, Apr 2026, Rio De Janeiro, Brazil. ⟨10.1145/XXXXXXX.XXXXXXX⟩
Communication dans un congrès
hal-05468508
v2
|
|
|
Modeling Sampling Workflows for Code Repositories23rd International Conference on Mining Software Repositories (MSR ’26), Apr 2026, Rio de Janeiro (BRAZIL), Brazil
Communication dans un congrès
hal-05478146
v1
|
|
|
Multi-Partner Project: A Model-Driven Engineering Framework for Federated Digital Twins of Industrial Systems (MATISSE)DATE 2025 - Design, Automation and Test in Europe Conference, Mar 2025, Lyon, France. pp.1-6, ⟨10.23919/DATE64628.2025.10993046⟩
Communication dans un congrès
hal-04839759
v1
|
|
|
Evaluating the Energy Profile of Tasks Managed by Build Automation Tools in Continuous Integration Workflows: The Case of Apache Maven and GradleICT4S 2025 - International Conference on Information and Communications Technology for Sustainability, Jun 2025, Dublin, Ireland. pp.1-11, ⟨10.1109/ICT4S68164.2025.00011⟩
Communication dans un congrès
hal-05090865
v2
|
|
|
Evolution at the Core of Digital Twin EngineeringEDTconf 2025 - 2nd International Conference on Engineering Digital Twins, Oct 2025, Grand Rapids, Michigan, United States. pp.1-6
Communication dans un congrès
hal-05221886
v1
|
|
|
On the Challenges of Integrating Digital TwinsEDTconf 2025 - 2nd International Conference on Engineering Digital Twins, Oct 2025, Grand Rapids, Michigan, United States. pp.1-7
Communication dans un congrès
hal-05221809
v1
|
|
|
Modeling: The Heart and Soul of Engineering Smart EcosystemsSAM 2025 - 17th System Analysis and Modelling conference, Oct 2025, Grand Rapids, Michigan, United States. pp.1-8
Communication dans un congrès
hal-05229815
v1
|
|
|
Towards a Unifying Reference Model for Digital Twins of Cyber-Physical SystemsETFA 2025 - 30th IEEE International Conference on Emerging Technologies and Factory Automation, Sep 2025, Porto (Portugal), Portugal. pp.1-4
Communication dans un congrès
hal-05224789
v1
|
|
|
On the Effect of Feature Reduction on Energy Consumption: An Exploratory StudySPLC 2025 - 29th ACM International Systems and Software Product Line Conference, Sep 2025, A Coruña, Spain. pp.1-11, ⟨10.1145/3744915.3748463⟩
Communication dans un congrès
hal-05166140
v1
|
|
|
Engineering Digital Twins: A Research RoadmapEDTconf 2025 - 2nd International Conference on Engineering Digital Twins, Oct 2025, Grand Rapids, Michigan, United States. pp.1-7
Communication dans un congrès
hal-05223776
v1
|
|
|
GreyCat: A Framework to Develop Digital Twins at Large ScaleEDTConf 2024 - 1st International Conference on Engineering Digital Twins, Sep 2024, Linz, Austria. pp.492-495, ⟨10.1145/3652620.3688265⟩
Communication dans un congrès
hal-04839614
v1
|
|
|
Embracing Deep Variability For Reproducibility and ReplicabilityREP 2024 - ACM Conference on Reproducibility and Replicability, ACM, Jun 2024, Rennes, France. pp.1-7
Communication dans un congrès
hal-04582287
v1
|
|
|
There Is Only One Time in Software (Language) Engineering! (Keynote)SLE 2024 - 17th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2024, Pasadena CA, United States. pp.1-1, ⟨10.1145/3687997.3700296⟩
Communication dans un congrès
hal-04827348
v1
|
|
|
Global Decision Making Support for Complex System DevelopmentRE 2024 - IEEE 32nd International Requirements Engineering Conference, Jun 2024, Reykjavik, Iceland. pp.252-263, ⟨10.1109/RE59067.2024.00032⟩
Communication dans un congrès
hal-04839629
v1
|
|
|
On Polyglot Program TestingFSE 2024 - 32nd ACM International Conference on the Foundations of Software Engineering, Jul 2024, Porto de Galinhas, Brazil. pp.1-5, ⟨10.1145/3663529.3663787⟩
Communication dans un congrès
hal-04588744
v1
|
|
|
Practical Runtime Instrumentation of Software Languages: The Case of SciHookSLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering, ACM SIGPLAN: Special Interest Group on Programming Languages, Oct 2023, Cascais, Lisbon, Portugal. pp.1-6
Communication dans un congrès
hal-04249049
v1
|
|
|
Adaptive Structural Operational SemanticsSLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2023, Cascais, Portugal. pp.29-42, ⟨10.1145/3623476.3623517⟩
Communication dans un congrès
hal-04252577
v1
|
|
|
Fingerprinting and Building Large Reproducible DatasetsACM REP 2023 - ACM Conference on Reproducibility and Replicability, Jun 2023, Santa Cruz, United States. pp.27-36, ⟨10.1145/3589806.3600043⟩
Communication dans un congrès
hal-04132604
v1
|
|
|
Model-Based DevOps: Foundations and ChallengesMODELS-C 2023 - ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, Oct 2023, Västerås, Sweden. pp.429-433, ⟨10.1109/MODELS-C59198.2023.00076⟩
Communication dans un congrès
hal-04425802
v1
|
|
|
Specialization of Run-time Configuration Space at Compile-time: An Exploratory StudySAC 2023 - The 38th ACM/SIGAPP Symposium on Applied Computing, Mar 2023, Tallinn, Estonia. pp.1-10
Communication dans un congrès
hal-03916459
v1
|
|
|
rgpdOS: GDPR Enforcement By The Operating SystemDSN 2023 - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2023, Porto, Portugal. pp.100-104, ⟨10.1109/DSN-S58398.2023.00032⟩
Communication dans un congrès
hal-04425768
v1
|
|
|
Polyglot AST: Towards Enabling Polyglot Code AnalysisICECCS 2023 - 27th International Conference on Engineering of Complex Computer Systems, Jun 2023, Toulouse, France. pp.1-10
Communication dans un congrès
hal-04077663
v2
|
|
|
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
Communication dans un congrès
hal-04216627
v1
|
|
|
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
Communication dans un congrès
hal-03729080
v1
|
|
|
A community-sourced view on engineering digital twins: A Report from the EDT.CommunityModDiT 2022 - 2nd International Workshop on Model-Driven Engineering of Digital Twins, ACM; IEEE CS; University of Montreal, Oct 2022, Montréal, Canada. pp.481-485, ⟨10.1145/3550356.3561549⟩
Communication dans un congrès
hal-03933973
v1
|
|
|
Global Decision Making Over Deep Variability in Feedback-Driven Software DevelopmentASE 2022 - 37th IEEE/ACM International Conference on Automated Software Engineering, Oct 2022, Rochester, MI, United States. pp.1-6, ⟨10.1145/3551349.3559551⟩
Communication dans un congrès
hal-03770004
v1
|
|
|
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⟩
Communication dans un congrès
hal-03921387
v1
|
|
|
DataTime: a Framework to smoothly Integrate Past, Present and Future into ModelsMODELS 2021 - ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems, Oct 2021, Fukuoka, Japan. pp.1-11
Communication dans un congrès
hal-03355162
v1
|
|
|
SEALS: A framework for building Self-Adaptive Virtual MachinesSLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago, United States. pp.1-14, ⟨10.1145/3486608.3486912⟩
Communication dans un congrès
hal-03355253
v1
|
|
|
Towards Self-Adaptable LanguagesOnward! 2021 - ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Oct 2021, Chicago, United States. pp.1-16
Communication dans un congrès
hal-03318816
v1
|
|
|
IDE as Code: Reifying Language Protocols as First-Class CitizensISEC 2021 - Innovations in Software Engineering Conference, Feb 2021, Bhubaneswar / Virtual, India. pp.1-5
Communication dans un congrès
hal-03107122
v1
|
|
|
Monilogging for Executable Domain-Specific LanguagesSLE 2021 - 14th International Conference on Software Language Engineering, Oct 2021, Chicago, United States. pp.1-14, ⟨10.1145/3486608.3486906⟩
Communication dans un congrès
hal-03358061
v1
|
|
|
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
Communication dans un congrès
hal-03342678
v1
|
|
|
Co-Evolving Code with Evolving MetamodelsICSE 2020 - 42nd International Conference on Software Engineering, Jul 2020, Séoul, South Korea. pp.1-13
Communication dans un congrès
hal-03029429
v1
|
|
|
On the Power of Abstraction: a Model-Driven Co-evolution Approach of Software CodeICSE-NIER 2020 - ACM/IEEE 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Oct 2020, Séoul, South Korea. pp.1-4
Communication dans un congrès
hal-03029426
v1
|
|
|
Loop Aggregation for Approximate Scientific ComputingICCS 2020 - International Conference on Computational Science, 2020, Amsterdam, Netherlands. pp.141-155, ⟨10.1007/978-3-030-50417-5_11⟩
Communication dans un congrès
hal-02545875
v1
|
|
|
Towards an Assessment Grid for Intelligent Modeling AssistanceMDE Intelligence 2020 - 2nd Workshop on Artificial Intelligence and Model-driven Engineering, Oct 2020, Montreal, Canada. pp.1-10
Communication dans un congrès
hal-02925142
v1
|
|
|
Towards Model-Driven Digital Twin Engineering: Current Opportunities and Future ChallengesICSMM 2020 - International Conference on Systems Modelling and Management, Jun 2020, Bergen, Norway
Communication dans un congrès
hal-02946949
v1
|
|
|
A principled approach to REPL interpretersSPLASH 2020 - ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Nov 2020, Chicago / Virtual, United States. pp.1-17, ⟨10.1145/3426428.3426917⟩
Communication dans un congrès
hal-02968938
v1
|
|
|
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⟩
Communication dans un congrès
hal-02964806
v2
|
|
|
Live-UMLRT: A Tool for Live Modeling of UML-RT ModelsMODELS 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.743-747, ⟨10.1109/MODELS-C.2019.00115⟩
Communication dans un congrès
hal-02407932
v1
|
|
|
Approximate Loop UnrollingCF 2019 - ACM International Conference on Computing Frontiers, Apr 2019, Alghero, Sardinia, Italy. pp.94-105, ⟨10.1145/3310273.3323841⟩
Communication dans un congrès
hal-02407868
v1
|
|
|
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⟩
Communication dans un congrès
hal-02307953
v1
|
|
|
Bringing Intelligence to Sociotechnical IoT Systems: Modeling Opportunities and ChallengesMDE4IoT 2019 - 3nd International Workshop on Model-Driven Engineering for the Internet-of-Things, Sep 2019, Munich, Germany. pp.1-2
Communication dans un congrès
hal-02285737
v1
|
|
|
Shape-Diverse DSLs: Languages without Borders (Vision Paper)SLE 2018 - 11th ACM SGIPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.215-219, ⟨10.1145/3276604.3276623⟩
Communication dans un congrès
hal-01889155
v1
|
Reverse engineering language product lines from existing DSL variants22nd International Systems and Software Product Line Conference - SPLC 2018, Sep 2018, Gothenburg, Sweden. pp.148, ⟨10.1145/3233027.3236394⟩
Communication dans un congrès
hal-02982981
v1
|
|
|
|
Modular Language Composition for the MassesSLE 2018 - 11th ACM SIGPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.1-12, ⟨10.1145/3276604.3276622⟩
Communication dans un congrès
hal-01890446
v1
|
|
|
Tool-Support of Socio-Technical Coordination in the Context of Heterogeneous Modeling: A Research Statement and Associated RoadmapGEMOC 2018 - 6th International Workshop on The Globalization of Modeling Languages, Oct 2018, Copenhagen, Denmark. pp.1-3
Communication dans un congrès
hal-01958443
v1
|
|
|
Model Transformation Reuse across Metamodels - A classification and comparison of approachesICMT 2018 - International Conference on Theory and Practice of Model Transformations, Jun 2018, Toulouse, France. pp.92-109, ⟨10.1007/978-3-319-93317-7_4⟩
Communication dans un congrès
hal-01910113
v1
|
|
|
Trace Comprehension Operators for Executable DSLsECMFA 2018 - 14th European Conference on Modelling Foundations and Applications, Jun 2018, Toulouse, France. pp.293-310, ⟨10.1007/978-3-319-92997-2_19⟩
Communication dans un congrès
hal-01803031
v1
|
|
|
Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (tool demo)SLE 2018 - International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.1-9, ⟨10.1145/3276604.3276620⟩
Communication dans un congrès
hal-01910139
v1
|
|
|
Create and Play your Pac-Man Game with the GEMOC Studio (Tool Demonstration)EXE 2017 - 3rd International Workshop on Executable Modeling, Sep 2017, Austin, United States. pp.1-6
Communication dans un congrès
hal-01651801
v1
|
|
|
Revisiting Visitors for Modular Extension of Executable DSMLs2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Sep 2017, Austin, United States. ⟨10.1109/MODELS.2017.23⟩
Communication dans un congrès
hal-01568169
v1
|
|
|
A Systematic Mapping Study on Modeling for Industry 4.0MODELS '17: Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Sep 2017, Austin, TX, USA, United States
Communication dans un congrès
hal-03284857
v1
|
|
|
Language Engineering with the GEMOC StudioICSAW 2017 - IEEE International Conference on Software Architecture Workshops, Apr 2017, Gothenburg, Sweden. pp.3
Communication dans un congrès
hal-01609576
v1
|
|
|
Automatic Microbenchmark Generation to Prevent Dead Code Elimination and Constant Folding31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016) , Sep 2016, Singapore, Singapore
Communication dans un congrès
hal-01343818
v1
|
|
|
A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France
Communication dans un congrès
hal-01258358
v1
|
|
|
Puzzle: A tool for analyzing and extracting specification clones in DSLsICSR 2016 the 15th International Conference on Software Reuse, Jun 2016, Limassol, Cyprus
Communication dans un congrès
hal-01284822
v1
|
|
|
Modeling for SustainabilityModeling in Software Engineering 2016 (MiSE'16), May 2016, Austin, United States. pp.62-66
Communication dans un congrès
hal-01517387
v3
|
|
|
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework3rd Workshop on Formal Integrated Development Environment, Catherine Dubois; Dominique Mery; Paolo Masci, Nov 2016, Limassol, Cyprus
Communication dans un congrès
hal-01401849
v1
|
|
|
Featured model types: Towards Systematic Reuse in Modelling Language EngineeringMiSE '16 - 8th International Workshop on Modeling in Software Engineering, May 2016, New york, United States. pp.1 - 7, ⟨10.1145/2896982.2896987⟩
Communication dans un congrès
hal-01406507
v1
|
|
|
VCU: The Three Dimensions of Reuse15th International Conference on Software Reuse (ICSR-15), May 2016, Limassol, Cyprus
Communication dans un congrès
hal-01287720
v1
|
|
|
Lightning Talk:"I solemnly pledge" A Manifesto for Personal Responsibility in the Engineering of Academic SoftwareFourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4), 2016, Manchester, United Kingdom
Communication dans un congrès
hal-01367344
v1
|
|
|
Execution Framework of the GEMOC Studio (Tool Demo)Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Oct 2016, Amsterdam, Netherlands. pp.8
Communication dans un congrès
hal-01355391
v2
|
|
|
Reverse-engineering reusable language modules from legacy domain-specific languagesInternational Conference on Software Reuse, Jun 2016, Limassol, Cyprus
Communication dans un congrès
hal-01284816
v1
|
|
|
MDE in Practice for Computational ScienceINTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, Université de Reykjavik. Reykjavik, ISL., Jun 2015, Reykjavík, Iceland. 10 p., ⟨10.1016/j.procs.2015.05.182⟩
Communication dans un congrès
hal-01141393
v1
|
|
|
Supporting Efficient and Advanced Omniscient Debugging for xDSMLs8th International Conference on Software Language Engineering (SLE), Oct 2015, Pittsburg, United States
Communication dans un congrès
hal-01182517
v2
|
|
|
Product Lines Can Jeopardize Their Trade Secrets10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Aug 2015, Bergame, Italy. ⟨10.1145/2786805.2803210⟩
Communication dans un congrès
hal-01234342
v1
|
|
|
Reusing Legacy DSLs with Melange15th Workshop on Domain-Specific Modeling, Oct 2015, Pittsburgh, United States
Communication dans un congrès
hal-01197039
v2
|
|
|
A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio8th Transformation Tool Contest, 2015, l'Aquila, Italy
Communication dans un congrès
hal-01152342
v2
|
|
|
A Model-Driven Based Environment for Automatic Model CoordinationModels 2015 demo and posters, Oct 2015, Ottawa, Canada
Communication dans un congrès
hal-01198744
v1
|
|
|
Towards the use of slicing techniques for an efficient invariant checkingMODULARITY 2015, Mar 2015, Fort Collins, United States. pp.2, ⟨10.1145/2735386.2735926⟩
Communication dans un congrès
hal-01141395
v1
|
|
|
A Behavioral Coordination Operator Language (BCOoL)International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. pp.462
Communication dans un congrès
hal-01182773
v1
|
|
|
Weaving Concurrency in eXecutable Domain-Specific Modeling Languages8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015, Pittsburg, United States
Communication dans un congrès
hal-01185911
v1
|
|
|
A Generative Approach to Define Rich Domain-Specific Trace Metamodels11th European Conference on Modelling Foundations and Applications (ECMFA), Jul 2015, L’Aquila, Italy
Communication dans un congrès
hal-01154225
v1
|
|
|
Coping with Semantic Variation Points in Domain-Specific Modeling Languages1st International Workshop on Executable Modeling (EXE'15), co-located with MODELS'15, 2015, Ottawa, Canada
Communication dans un congrès
hal-01222999
v1
|
|
|
CLARITY: Open-Sourcing the Model-Based Systems Engineering Solution CapellaSecond Workshop on Open Source Software for Model Driven Engineering (OSS4MDE’15), 2015, Ottawa, Canada
Communication dans un congrès
hal-01186019
v2
|
|
|
Towards a Meta-Language for the Concurrency Concern in DSLsDesign, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
Communication dans un congrès
hal-01087442
v1
|
|
|
Melange: A Meta-language for Modular and Reusable Development of DSLs8th International Conference on Software Language Engineering (SLE), Oct 2015, Pittsburgh, United States
Communication dans un congrès
hal-01197038
v1
|
Vers une approche centrée humain pour la définition de langages de modélisation graphiques32ème congrès Inforsid'2014, May 2014, Lyon, France. pp.79-94
Communication dans un congrès
hal-01002994
v1
|
|
|
|
Towards Scalable Multidimensional Execution Traces for xDSMLs11th Workshop on Model Design, Verification and Validation Integrating Verification and Validation in MDE (MoDeVVa 2014), Sep 2014, Valencia, Spain
Communication dans un congrès
hal-01061740
v1
|
|
|
Automating Variability Model Inference for Component-Based Language ImplementationsSPLC'14 - 18th International Software Product Line Conference, Sep 2014, Florence, Italy
Communication dans un congrès
hal-01023864
v1
|
|
|
When Systems Engineering Meets Software Language EngineeringCSD&M'14 - Complex Systems Design & Management, Nov 2014, Paris, France
Communication dans un congrès
hal-01024166
v1
|
|
|
Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a LanguageOnward! Essays, Sep 2014, Portland, United States. pp.243--253, ⟨10.1145/2661136.2661159⟩
Communication dans un congrès
hal-01061576
v1
|
|
|
Correct-by-construction model composition: Application to the Invasive Software Composition methodInternational Workshop on Formal Engineering approaches to Software Components and Architectures 2014, Apr 2014, Grenoble, France. pp.(electronic medium), ⟨10.4204/EPTCS.147.8⟩
Communication dans un congrès
hal-03252267
v1
|
|
|
Software Diversity: Challenges to handle the imposed, Opportunities to harness the chosenGDR GPL, Jun 2014, Paris, France
Communication dans un congrès
hal-00980126
v1
|
|
|
The relevance of model-driven engineering thirty years from now17th International Conference ACM/IEEE - Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2014, Valencia, Spain. pp. 183-200, ⟨10.1007/978-3-319-11653-2_12⟩
Communication dans un congrès
hal-01156595
v1
|
|
|
Scalable Armies of Model Clones through Data SharingModel Driven Engineering Languages and Systems, 17th International Conference, MODELS 2014, Sep 2014, Valencia, Spain
Communication dans un congrès
hal-01023681
v1
|
|
|
A formal framework to prove the correctness of model driven engineering composition operatorsICFEM'14 - 16TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, Nov 2014, Luxembourg, Luxembourg
Communication dans un congrès
hal-01024067
v1
|
|
|
Improving Reusability in Software Process LinesEuromicro Conference on Software Engineering and Advanced Applications, Sep 2013, Santander, Spain
Communication dans un congrès
hal-00838771
v1
|
|
|
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
Communication dans un congrès
hal-00859473
v1
|
|
|
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⟩
Communication dans un congrès
hal-00850770
v2
|
|
|
Integrating Software Process Reuse and AutomationAsia-Pacific Software Engineering Conference (APSEC), Dec 2013, Bangkok, Thailand
Communication dans un congrès
hal-00872188
v1
|
|
|
Variability Support in Domain-Specific Language DevelopmentSLE - 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. pp.76-95, ⟨10.1007/978-3-319-02654-1_5⟩
Communication dans un congrès
hal-00914715
v1
|
|
|
Bridging the Chasm between Executable Metamodeling and Models of Computation5th International Conference, SLE 2012, Sep 2012, Desden, Germany. pp.184-203
Communication dans un congrès
hal-00905067
v1
|
|
|
Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-ExamplesMODELS - ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, 2013, Miami, United States. pp.187-202
Communication dans un congrès
hal-00923789
v1
|
|
|
Using Model Types to Support Contract-Aware Model Substitutability9th European Conference on Modelling Foundations and Applications (ECMFA 2013), Jul 2013, Montpellier, France. pp.118-133, ⟨10.1007/978-3-642-39013-5_9⟩
Communication dans un congrès
hal-00808770
v1
|
|
|
A Demonstration for Building Modular and Efficient DSLs: The Kermeta v2 ExperienceConférence en IngénieriE du Logiciel (CIEL), Apr 2013, Nancy, France
Communication dans un congrès
hal-00796009
v1
|
Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013)GEMOC+AMINO@MoDELS: GEMOC - 1st International Workshop On the Globalization of Modeling Languages (2013), Sep 2013, Miami, United States. pp.3-13
Communication dans un congrès
hal-00926244
v1
|
|
|
|
Leveraging CVL to Manage Variability in Software Process LinesAsia-Pacific Software Engineering Conference, Dec 2012, Hong Kong, China
Communication dans un congrès
hal-00735881
v1
|
|
|
A Categorical Model of Model Merging and WeavingMiSe 2012 - 4th International Workshop on Modeling in Software Engineering, Jun 2012, Zurich, Switzerland
Communication dans un congrès
hal-00714373
v1
|
|
|
On Model SubtypingECMFA - 8th European Conference on Modelling Foundations and Applications, Jul 2012, Kgs. Lyngby, Denmark
Communication dans un congrès
hal-00695034
v1
|
|
|
Formally Defining and Iterating Infinite ModelsACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS 2012), Sep 2012, Innsbruck, Austria. pp.119-133, ⟨10.1007/978-3-642-33666-9_9⟩
Communication dans un congrès
hal-00716623
v1
|
|
|
Using CVL to Operationalize Product Line Development with Reusable Aspect ModelsVARY@MoDELS'12: VARiability for You, Sep 2012, Innsbruck, Austria
Communication dans un congrès
hal-00730274
v1
|
|
|
Impact of Footprinting on Model Quality: An Experimental EvaluationMODEL-DRIVEN REQUIREMENTS ENGINEERING (MoDRE) WORKSHOP AT RE 2012, Sep 2012, Chicago, Illinois, United States. pp.78-87
Communication dans un congrès
hal-00722036
v1
|
|
|
A Design Pattern to Build Executable DSMLs and associated V&V toolsThe 19th Asia-Pacific Software Engineering Conference (APSEC 2012), Dec 2012, Hong Kong, Hong Kong SAR China
Communication dans un congrès
hal-00739332
v1
|
|
|
The 8th Educators' Symposium @ MODELS 2012: Software Modeling in EducationProceedings of the 8th edition of the Educators' Symposium, Oct 2012, Innsbruck, Austria. ⟨10.1145/2425936.2425937⟩
Communication dans un congrès
hal-00773311
v1
|
|
|
A Tridimensional Approach for Studying the Formal Verification of Model TransformationsVerification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada
Communication dans un congrès
hal-00684717
v1
|
|
|
Aligning SysML with the B Method to Provide V&V for Systems EngineeringModel-Driven Engineering, Verification, and Validation 2012 (MoDeVVa 2012), Sep 2012, Innsbruck, Austria
Communication dans un congrès
hal-00741134
v1
|
|
|
Modeling Model SlicersACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, Oct 2011, Wellington, New Zealand. pp.62--76, ⟨10.1007/978-3-642-24485-8_6⟩
Communication dans un congrès
inria-00609072
v2
|
|
|
Bridging the Gap Between Software Process and Software DevelopmentIDM, Jun 2011, Lille, France
Communication dans un congrès
inria-00605465
v1
|
|
|
A Proof Assistant Based Formalization of components in MDE8th International Symposium on Formal Aspects of Component Software (FACS 2011), University of Oslo, Norway, Sep 2011, Oslo, Norway
Communication dans un congrès
inria-00614593
v1
|
|
|
A Generic Tool for Tracing Executions Back to a DSML's Operational SemanticsSeventh European Conference on Modelling Foundations and Applications, Jun 2011, Birmingham, United Kingdom. pp.35-51
Communication dans un congrès
hal-00593425
v1
|
|
|
Teaching MDE through the Formal Verification of Process Models7th Educators' Symposium @ MODELS 2011: Software Modeling in Education (EduSymp2011), Marion Brandsteidl; Andreas Winter, Oct 2011, Wellington, New Zealand
Communication dans un congrès
hal-00646426
v1
|
|
|
Empirical evaluation of the conjunct use of MOF and OCLExperiences and Empirical Studies in Software Modelling (EESSMod 2011), Oct 2011, Wellington, New Zealand
Communication dans un congrès
hal-00647347
v2
|
|
|
Vers un rapprochement de l'IDM et de la compilationJournées sur l'Ingénierie Dirigée par les Modèles, Jun 2011, Lille, France
Communication dans un congrès
inria-00601670
v1
|
|
|
Model-Driven Engineering and Optimizing Compilers: A bridge too far?International Conference on Model Driven Engineering Languages and Systems, Oct 2011, Wellington, New Zealand
Communication dans un congrès
inria-00613575
v1
|
|
|
Crossing Model Driven Engineering and Agility: Preliminary Thought on Benefits and Challenges3rd Workshop on Model-Driven Tool & Process Integration, in conjunction with ECMFA 2010, 2010, Paris, France, France
Communication dans un congrès
inria-00538460
v1
|
|
|
Generative technologies for model animation in the TopCased platform6th European Conference on Modelling Foundations and Applications (ECMFA 2010), 2010, Paris, France, South Africa. pp.90--103
Communication dans un congrès
inria-00504667
v1
|
|
|
End-User ModellingDéfis du Génie de la Programmation et du Logiciel, journées nationales du GDR GPL, 2010, Pau, France, France
Communication dans un congrès
inria-00504668
v1
|
|
|
Introducing Simulation and Model Animation in the MDE Topcased Toolkit4th European Congress EMBEDDED REAL TIME SOFTWARE (ERTS), Jan 2008, Toulouse, France. http://www.erts2008.org/
Communication dans un congrès
hal-00371596
v1
|
|
|
A Process Model Driven Approach Applied in TOPCASED for Embedded Real-Time Software4th European Congress on Embedded Real Time Software (ERTS 2008), Jan 2008, Toulouse, France. pp.1--10
Communication dans un congrès
hal-02270271
v1
|
|
|
Ladder Metamodeling & PLC Program Validation through Time Petri NetsModel Driven Architecture - Foundations and Applications (ECMDA 2008), Jun 2008, Berlin, Germany. pp.121-136, ⟨10.1007/978-3-540-69100-6_9⟩
Communication dans un congrès
hal-00369887
v1
|
|
|
Autonomic Management Policy Specification: from UML to DSMLMoDELS 2008, Oct 2008, Toulouse, France. pp.584-599, ⟨10.1007/978-3-540-87875-9_41⟩
Communication dans un congrès
hal-00369874
v1
|
|
|
Definition of an eXecutable SPEM 2.014th Asia-Pacific Software Engineering Conference (APSEC), Dec 2007, Nagoya, Japan. pp.390-397
Communication dans un congrès
hal-00371555
v1
|
|
|
Towards a Formal Verification of Process Model's Properties - SimplePDL and TOCL Case Study9th International Conference on Enterprise Information Systems, Jun 2007, Funchal, Madeira, Portugal. pp.80-89
Communication dans un congrès
hal-00160807
v1
|
|
|
A Framework to Formalise the MDE FoundationsInternational Workshop on Towers of Models (TOWERS 2007), Jun 2007, Zurich, Switzerland. pp.14-30
Communication dans un congrès
hal-00159748
v2
|
|
|
Towards a rigorous use of SPEMEighth International Conference on Enterprise Information Systems, May 2006, Paphos, Cyprus. pp.530-533
Communication dans un congrès
hal-00369873
v1
|
|
|
Variability Management in Domain-Specific LanguagesInternational School of Model-Driven Development for Distributed Real-Time Embedded Systems (MDDRES), Sep 2014, Aber-Wrac'h, France. , 2014
Poster de conférence
hal-01077788
v1
|
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, MODELS 2024, Linz, Austria, September 22-27, 2024MODELS '24: ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, ACM, 2024, 979-8-4007-0504-5. ⟨10.1145/3640310⟩
Proceedings/Recueil des communications
hal-04839651
v1
|
|
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, MODELS Companion 2024, Linz, Austria, September 22-27, 2024MODELS Companion '24: ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, ACM, 2024, 979-8-4007-0622-6. ⟨10.1145/3652620⟩
Proceedings/Recueil des communications
hal-04839663
v1
|
|
Joint Proceedings of ICT4S 2023 Doctoral Symposium, Demonstrations & Posters Track and Workshops co-located with 9th International Conference on Information and Communications Technology for Sustainability (ICT4S 2023)9th International Conference on Information and Communications Technology for Sustainability (ICT4S 2023), CEUR Workshop Proceedings, 3562, ceur-ws.org, 2023
Proceedings/Recueil des communications
hal-04425662
v1
|
|
|
|
Preface: ICT4S 20232023 International Conference on ICT for Sustainability (ICT4S), IEEE, pp.viii-x, 2023, ⟨10.1109/ICT4S58814.2023.00005⟩
Proceedings/Recueil des communications
hal-04425642
v1
|
Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm ModelingGEMOC+MPM 2015, Ottawa, Canada. 1511, CEUR, 2015, Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling
Proceedings/Recueil des communications
hal-01242558
v1
|
|
|
|
GEMOC 2014 2nd International Workshop on The Globalization of Modeling LanguagesBenoit Combemale; Julien Deantoni; Robert France. GEMOC 2014 co-located with MODELS 2014, Sep 2014, Valencia, France. 1236, , pp.82, 2014, CEUR-WS, 1613-0073
Proceedings/Recueil des communications
hal-01074602
v1
|
Software Language Engineering8706, Springer, pp.353, 2014, 978-3-319-11245-9
Proceedings/Recueil des communications
hal-01110914
v1
|
Engineering Modeling LanguagesChapman and Hall/CRC, pp.398, 2016, 9781466583733
Ouvrages
hal-01355374
v1
|
|
Globalizing Domain-Specific LanguagesSpringer International Publishing, 9400, 2015, LNCS, Programming and Software Engineering, 978-3-319-26171-3. ⟨10.1007/978-3-319-26172-0⟩
Ouvrages
hal-01224096
v1
|
|
Joint Proceedings of GEMOC '13 and AMINO '13 @ MODELS 2013Combemale, Benoit and Deantoni, Julien and France, Robert B. and Barn, Balbir and Clark, Tony and Frank, Ulrich and Kulkarni, Vinay and Turk, Dan. CEUR-WS, 1102, pp.88, 2013
Ouvrages
hal-00916282
v1
|
|
GlobalDSL '13: Proceedings of the First Workshop on the Globalization of Domain Specific LanguagesCombemale, Benoit and Cazzola, Walter and France, Robert B. ACM, pp.33, 2013, 978-1-4503-2043-6
Ouvrages
hal-00916292
v1
|
|
EduSymp '12: Proceedings of the 8th Edition of the Educators' SymposiumDan Chiorean and Benoit Combemale. ACM, pp.39, 2012, 978-1-4503-1812-9
Ouvrages
hal-00916296
v1
|
|
|
|
Ingénierie Dirigée par les Modèles : des concepts à la pratique...Ellipses. Ellipses, pp.144, 2012, Références sciences, 9782729871963
Ouvrages
hal-00648489
v1
|
Simulation et vérification de modèle par métamodélisation executableéditions Universitaires Européennes, 208p, 2010, 978-613-1-50584-3
Ouvrages
inria-00542740
v1
|
|
|
Towards a Model-Based DevOps for Cyber-Physical SystemsSoftware Engineering Aspects of Continuous Development, Springer-Verlag, pp.1-11, 2019
Chapitre d'ouvrage
hal-02407886
v1
|
|
|
On Language InterfacesBertrand Meyer; Manuel Mazzara. PAUSE: Present And Ulterior Software Engineering, Springer, 2017
Chapitre d'ouvrage
hal-01424909
v1
|
|
|
On the Globalization of Domain-Specific LanguagesGlobalizing Domain-Specific Languages, 9400, Springer International Publishing, 2015, LNCS, ⟨10.1007/978-3-319-26172-0_1⟩
Chapitre d'ouvrage
hal-01224105
v1
|
|
|
Conceptual Model of the Globalization for Domain-Specific LanguagesBenoit Combemale; Betty H.C. Cheng; Robert B. France; Jean-Marc Jézéquel; Bernhard Rumpe. Globalizing Domain-Specific Languages, 9400, Springer International Publishing, pp.7-20, 2015, Lecture Notes in Computer Science, 978-3-319-26171-3. ⟨10.1007/978-3-319-26172-0_2⟩
Chapitre d'ouvrage
hal-01224116
v1
|
|
|
Climate Change: What is Computing’s Responsibility?2025, pp.1-18. ⟨10.4230/DagMan.11.1.1⟩
Autre publication scientifique
hal-05369257
v1
|
|
|
Découpez vos Modèles avec Kompren : une Démonstration2012
Autre publication scientifique
hal-00696149
v1
|
|
|
HydroModPy: A Python toolbox for deploying catchment-scale shallow groundwater models2025
Pré-publication, Document de travail
hal-05116367
v1
|
|
|
Did You Forkget It? Detecting One-Day Vulnerabilities in Open-source Forks With Global History Analysis2025
Pré-publication, Document de travail
hal-05349203
v2
|
|
|
Software Frugality in an Accelerating World: the Case of Continuous Integration2024
Pré-publication, Document de travail
hal-04753097
v1
|
|
|
Approximate Loop Unrolling2016
Pré-publication, Document de travail
hal-01401828
v1
|
|
|
The K3 Model-Based Language Workbench2014
Pré-publication, Document de travail
hal-01025283
v1
|
|
|
Leveraging Family Polymorphism in MDE2014
Pré-publication, Document de travail
hal-00994541
v1
|
|
|
Ingénierie Dirigée par les Modèles (IDM) -- État de l'art2008
Pré-publication, Document de travail
hal-00371565
v1
|
|
|
Personal report of the 3rd ECMDA-FA'07 conference2007
Pré-publication, Document de travail
hal-00369872
v1
|
|
|
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
Rapport
(rapport de recherche)
hal-01514421
v2
|
|
|
Operational Semantics of the Model of Concurrency and Communication Language[Research Report] RR-8584, INRIA. 2014, pp.23
Rapport
(rapport de recherche)
hal-01060601
v2
|
|
|
A Design Pattern for Executable DSML[Research Report] RR-8063, INRIA Rennes - Bretagne Atlantique. 2012, pp.19
Rapport
(rapport de recherche)
inria-00540648
v3
|
|
|
Ten years of Meta-Object Facility: an Analysis of Metamodeling Practices[Research Report] RR-7882, INRIA. 2012
Rapport
(rapport de recherche)
hal-00670652
v2
|
|
|
Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics[Research Report] RR-7423, INRIA. 2010
Rapport
(rapport de recherche)
inria-00526561
v1
|
|
|
Approche de métamodélisation pour la simulation et la vérification de modèle -- Application à l'ingénierie des procédésGénie logiciel [cs.SE]. Institut National Polytechnique de Toulouse - INPT, 2008. Français. ⟨NNT : ⟩
Thèse
tel-00321863
v1
|
|
|
Towards Language-Oriented ModelingSoftware Engineering [cs.SE]. Université de Rennes 1, 2015
HDR
tel-01238817
v1
|
Chargement...
Chargement...