Benoit Combemale
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⟩ |
|
|
Modeling Sampling Workflows for Code Repositories23rd International Conference on Mining Software Repositories (MSR ’26), Apr 2026, Rio de Janeiro (BRAZIL), Brazil |
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
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⟩ |
|
|
Engineering Digital Twins: A Research RoadmapEDTconf 2025 - 2nd International Conference on Engineering Digital Twins, Oct 2025, Grand Rapids, Michigan, United States. pp.1-7 |
|
|
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⟩ |
|
|
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⟩ |
|
|
Embracing Deep Variability For Reproducibility and ReplicabilityREP 2024 - ACM Conference on Reproducibility and Replicability, ACM, Jun 2024, Rennes, France. pp.1-7 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
|
|
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 |
|
|
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⟩ |
|
|
Polyglot AST: Towards Enabling Polyglot Code AnalysisICECCS 2023 - 27th International Conference on Engineering of Complex Computer Systems, Jun 2023, Toulouse, France. pp.1-10 |
|
|
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 |
|
|
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⟩ |
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
|
|
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 |
|
|
IDE as Code: Reifying Language Protocols as First-Class CitizensISEC 2021 - Innovations in Software Engineering Conference, Feb 2021, Bhubaneswar / Virtual, India. pp.1-5 |
|
|
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 |
|
|
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⟩ |
|
|
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 |
|
|
Co-Evolving Code with Evolving MetamodelsICSE 2020 - 42nd International Conference on Software Engineering, Jul 2020, Séoul, South Korea. pp.1-13 |
|
|
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 |
|
|
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⟩ |
|
|
Towards Model-Driven Digital Twin Engineering: Current Opportunities and Future ChallengesICSMM 2020 - International Conference on Systems Modelling and Management, Jun 2020, Bergen, Norway |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
Approximate Loop UnrollingCF 2019 - ACM International Conference on Computing Frontiers, Apr 2019, Alghero, Sardinia, Italy. pp.94-105, ⟨10.1145/3310273.3323841⟩ |
|
|
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 |
|
|
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⟩ |
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⟩ |
|
|
|
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⟩ |
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
|
|
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⟩ |
|
|
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 |
|
|
Language Engineering with the GEMOC StudioICSAW 2017 - IEEE International Conference on Software Architecture Workshops, Apr 2017, Gothenburg, Sweden. pp.3 |
|
|
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⟩ |
|
|
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 |
|
|
Puzzle: A tool for analyzing and extracting specification clones in DSLsICSR 2016 the 15th International Conference on Software Reuse, Jun 2016, Limassol, Cyprus |
|
|
Modeling for SustainabilityModeling in Software Engineering 2016 (MiSE'16), May 2016, Austin, United States. pp.62-66 |
|
|
A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France |
|
|
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 |
|
|
VCU: The Three Dimensions of Reuse15th International Conference on Software Reuse (ICSR-15), May 2016, Limassol, Cyprus |
|
|
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 |
|
|
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 |
|
|
Reverse-engineering reusable language modules from legacy domain-specific languagesInternational Conference on Software Reuse, Jun 2016, Limassol, Cyprus |
|
|
A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio8th Transformation Tool Contest, 2015, l'Aquila, Italy |
|
|
A Model-Driven Based Environment for Automatic Model CoordinationModels 2015 demo and posters, Oct 2015, Ottawa, Canada |
|
|
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⟩ |
|
|
Reusing Legacy DSLs with Melange15th Workshop on Domain-Specific Modeling, Oct 2015, Pittsburgh, United States |
|
|
Supporting Efficient and Advanced Omniscient Debugging for xDSMLs8th International Conference on Software Language Engineering (SLE), Oct 2015, Pittsburg, United States |
|
|
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⟩ |
|
|
Towards the use of slicing techniques for an efficient invariant checkingMODULARITY 2015, Mar 2015, Fort Collins, United States. pp.2, ⟨10.1145/2735386.2735926⟩ |
|
|
A Behavioral Coordination Operator Language (BCOoL)International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. pp.462 |
|
|
Weaving Concurrency in eXecutable Domain-Specific Modeling Languages8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015, Pittsburg, United States |
|
|
A Generative Approach to Define Rich Domain-Specific Trace Metamodels11th European Conference on Modelling Foundations and Applications (ECMFA), Jul 2015, L’Aquila, Italy |
|
|
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 |
|
|
CLARITY: Open-Sourcing the Model-Based Systems Engineering Solution CapellaSecond Workshop on Open Source Software for Model Driven Engineering (OSS4MDE’15), 2015, Ottawa, Canada |
|
|
Melange: A Meta-language for Modular and Reusable Development of DSLs8th International Conference on Software Language Engineering (SLE), Oct 2015, Pittsburgh, United States |
|
|
Towards a Meta-Language for the Concurrency Concern in DSLsDesign, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France |
|
|
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⟩ |
|
|
Automating Variability Model Inference for Component-Based Language ImplementationsSPLC'14 - 18th International Software Product Line Conference, Sep 2014, Florence, Italy |
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 |
|
|
|
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 |
|
|
When Systems Engineering Meets Software Language EngineeringCSD&M'14 - Complex Systems Design & Management, Nov 2014, Paris, France |
|
|
Software Diversity: Challenges to handle the imposed, Opportunities to harness the chosenGDR GPL, Jun 2014, Paris, France |
|
|
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⟩ |
|
|
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⟩ |
|
|
Scalable Armies of Model Clones through Data SharingModel Driven Engineering Languages and Systems, 17th International Conference, MODELS 2014, Sep 2014, Valencia, Spain |
|
|
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 |
|
|
Integrating Software Process Reuse and AutomationAsia-Pacific Software Engineering Conference (APSEC), Dec 2013, Bangkok, Thailand |
|
|
Improving Reusability in Software Process LinesEuromicro Conference on Software Engineering and Advanced Applications, Sep 2013, Santander, Spain |
|
|
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⟩ |
|
|
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 |
|
|
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⟩ |
|
|
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 |
|
|
Bridging the Chasm between Executable Metamodeling and Models of Computation5th International Conference, SLE 2012, Sep 2012, Desden, Germany. pp.184-203 |
|
|
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⟩ |
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 |
|
|
|
A Demonstration for Building Modular and Efficient DSLs: The Kermeta v2 ExperienceConférence en IngénieriE du Logiciel (CIEL), Apr 2013, Nancy, France |
|
|
On Model SubtypingECMFA - 8th European Conference on Modelling Foundations and Applications, Jul 2012, Kgs. Lyngby, Denmark |
|
|
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⟩ |
|
|
A Categorical Model of Model Merging and WeavingMiSe 2012 - 4th International Workshop on Modeling in Software Engineering, Jun 2012, Zurich, Switzerland |
|
|
Leveraging CVL to Manage Variability in Software Process LinesAsia-Pacific Software Engineering Conference, Dec 2012, Hong Kong, China |
|
|
Using CVL to Operationalize Product Line Development with Reusable Aspect ModelsVARY@MoDELS'12: VARiability for You, Sep 2012, Innsbruck, Austria |
|
|
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 |
|
|
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 |
|
|
A Tridimensional Approach for Studying the Formal Verification of Model TransformationsVerification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada |
|
|
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⟩ |
|
|
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 |
|
|
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 |
|
|
Bridging the Gap Between Software Process and Software DevelopmentIDM, Jun 2011, Lille, France |
|
|
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⟩ |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
Model-Driven Engineering and Optimizing Compilers: A bridge too far?International Conference on Model Driven Engineering Languages and Systems, Oct 2011, Wellington, New Zealand |
|
|
Empirical evaluation of the conjunct use of MOF and OCLExperiences and Empirical Studies in Software Modelling (EESSMod 2011), Oct 2011, Wellington, New Zealand |
|
|
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 |
|
|
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 |
|
|
End-User ModellingDéfis du Génie de la Programmation et du Logiciel, journées nationales du GDR GPL, 2010, Pau, France, France |
|
|
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/ |
|
|
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 |
|
|
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⟩ |
|
|
Autonomic Management Policy Specification: from UML to DSMLMoDELS 2008, Oct 2008, Toulouse, France. pp.584-599, ⟨10.1007/978-3-540-87875-9_41⟩ |
|
|
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 |
|
|
Definition of an eXecutable SPEM 2.014th Asia-Pacific Software Engineering Conference (APSEC), Dec 2007, Nagoya, Japan. pp.390-397 |
|
|
A Framework to Formalise the MDE FoundationsInternational Workshop on Towers of Models (TOWERS 2007), Jun 2007, Zurich, Switzerland. pp.14-30 |
|
|
Towards a rigorous use of SPEMEighth International Conference on Enterprise Information Systems, May 2006, Paphos, Cyprus. pp.530-533 |
|
|
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 |
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 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⟩ |
|
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 |
|
|
|
Preface: ICT4S 20232023 International Conference on ICT for Sustainability (ICT4S), IEEE, pp.viii-x, 2023, ⟨10.1109/ICT4S58814.2023.00005⟩ |
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 |
|
|
|
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 |
Software Language Engineering8706, Springer, pp.353, 2014, 978-3-319-11245-9 |
Engineering Modeling LanguagesChapman and Hall/CRC, pp.398, 2016, 9781466583733 |
|
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⟩ |
|
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 |
|
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 |
|
EduSymp '12: Proceedings of the 8th Edition of the Educators' SymposiumDan Chiorean and Benoit Combemale. ACM, pp.39, 2012, 978-1-4503-1812-9 |
|
|
|
Ingénierie Dirigée par les Modèles : des concepts à la pratique...Ellipses. Ellipses, pp.144, 2012, Références sciences, 9782729871963 |
Simulation et vérification de modèle par métamodélisation executableéditions Universitaires Européennes, 208p, 2010, 978-613-1-50584-3 |
|
|
Towards a Model-Based DevOps for Cyber-Physical SystemsSoftware Engineering Aspects of Continuous Development, Springer-Verlag, pp.1-11, 2019 |
|
|
On Language InterfacesBertrand Meyer; Manuel Mazzara. PAUSE: Present And Ulterior Software Engineering, Springer, 2017 |
|
|
On the Globalization of Domain-Specific LanguagesGlobalizing Domain-Specific Languages, 9400, Springer International Publishing, 2015, LNCS, ⟨10.1007/978-3-319-26172-0_1⟩ |
|
|
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⟩ |
|
|
Climate Change: What is Computing’s Responsibility?2025, pp.1-18. ⟨10.4230/DagMan.11.1.1⟩ |
|
|
Découpez vos Modèles avec Kompren : une Démonstration2012 |
|
|
Did You Forkget It? Detecting One-Day Vulnerabilities in Open-source Forks With Global History Analysis2025 |
|
|
HydroModPy: A Python toolbox for deploying catchment-scale shallow groundwater models2025 |
|
|
Software Frugality in an Accelerating World: the Case of Continuous Integration2024 |
|
|
Approximate Loop Unrolling2016 |
|
|
The K3 Model-Based Language Workbench2014 |
|
|
Leveraging Family Polymorphism in MDE2014 |
|
|
Ingénierie Dirigée par les Modèles (IDM) -- État de l'art2008 |
|
|
Personal report of the 3rd ECMDA-FA'07 conference2007 |
|
|
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 |
|
|
Operational Semantics of the Model of Concurrency and Communication Language[Research Report] RR-8584, INRIA. 2014, pp.23 |
|
|
Ten years of Meta-Object Facility: an Analysis of Metamodeling Practices[Research Report] RR-7882, INRIA. 2012 |
|
|
A Design Pattern for Executable DSML[Research Report] RR-8063, INRIA Rennes - Bretagne Atlantique. 2012, pp.19 |
|
|
Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics[Research Report] RR-7423, INRIA. 2010 |
|
|
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 : ⟩ |
|
|
Towards Language-Oriented ModelingSoftware Engineering [cs.SE]. Université de Rennes 1, 2015 |