Filter your results
- 61
- 4
- 38
- 22
- 2
- 1
- 1
- 1
- 1
- 65
- 6
- 1
- 10
- 8
- 8
- 1
- 3
- 3
- 3
- 1
- 3
- 2
- 1
- 2
- 7
- 5
- 1
- 60
- 5
- 63
- 52
- 51
- 9
- 6
- 6
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 65
- 13
- 13
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
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⟩
Conference papers
hal-02407932v1
|
||
|
Towards Model-Driven Sustainability EvaluationCommunications of the ACM, 2020, 63 (3), pp.80-91. ⟨10.1145/3371906⟩
Journal articles
hal-02146543v2
|
||
|
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
Conference papers
hal-02925142v1
|
||
|
The Software Language Extension ProblemSoftware and Systems Modeling, 2020, 19 (2), pp.263-267. ⟨10.1007/s10270-019-00772-7⟩
Journal articles
hal-02399166v1
|
||
|
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
Conference papers
inria-00504667v1
|
||
|
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⟩
Conference papers
hal-01890446v1
|
||
|
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⟩
Conference papers
hal-03933973v1
|
||
|
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⟩
Conference papers
hal-00716623v1
|
||
Correct-by-construction model driven engineering composition operatorsFormal Aspects of Computing, 2016, 28 (3), ⟨10.1007/s00165-016-0354-6⟩
Journal articles
hal-01319576v1
|
|||
|
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
Conference papers
hal-01651801v1
|
||
|
Concern-Oriented Language Development (COLD): Fostering Reuse in Language EngineeringComputer Languages, Systems and Structures, 2018, 54, pp.139-155. ⟨10.1016/j.cl.2018.05.004⟩
Journal articles
hal-01803008v1
|
||
|
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⟩
Conference papers
hal-02545875v1
|
||
|
Runtime Monitoring for Executable DSLsThe Journal of Object Technology, 2020, 19 (2), pp.1-23. ⟨10.5381/jot.2020.19.2.a6⟩
Journal articles
hal-03109992v1
|
||
|
Comparing and Classifying Model Transformation Reuse Approaches across MetamodelsSoftware and Systems Modeling, 2020, 19 (2), pp.441-465. ⟨10.1007/s10270-019-00762-9⟩
Journal articles
hal-02317864v1
|
||
|
Modeling Languages in Industry 4.0: An Extended Systematic Mapping StudySoftware and Systems Modeling, 2020, 19 (1), pp.67-94. ⟨10.1007/s10270-019-00757-6⟩
Journal articles
hal-02282028v1
|
||
|
Modeling for SustainabilityModeling in Software Engineering 2016 (MiSE'16), May 2016, Austin, United States. pp.62-66
Conference papers
hal-01517387v3
|
||
|
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
Conference papers
hal-00160807v1
|
||
|
The JOT Journal: Towards a Rising GenerationThe Journal of Object Technology, 2019, 18 (1), pp.1-3. ⟨10.5381/jot.2019.18.1.e1⟩
Journal articles
hal-02408017v1
|
||
|
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
Conference papers
inria-00614593v1
|
||
|
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⟩
Conference papers
hal-01141393v1
|
||
|
Definition of an eXecutable SPEM 2.014th Asia-Pacific Software Engineering Conference (APSEC), Dec 2007, Nagoya, Japan. pp.390-397
Conference papers
hal-00371555v1
|
||
|
Introducing Simulation and Model Animation in the MDE Topcased Toolkit4th European Congress EMBEDDED REAL TIME SOFTWARE (ERTS), Jan 2008, Toulouse, France, France. http://www.erts2008.org/
Conference papers
hal-00371596v1
|
||
|
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⟩
Conference papers
hal-01889155v1
|
||
|
On the role of computer languages in scientific computingComputing in Science and Engineering, In press, pp.1-6
Journal articles
hal-03799289v1
|
||
|
A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France
Conference papers
hal-01258358v1
|
||
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⟩
Conference papers
hal-02982981v1
|
|||
|
SéMo'07 : premier atelier sur la Sémantique des ModèlesRevue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2007, 13 (4), pp.137-144. ⟨10.3166/obj.13.4.137-144⟩
Journal articles
hal-00369871v1
|
||
|
Personal report of the 3rd ECMDA-FA'07 conference2007
Preprints, Working Papers, ...
hal-00369872v1
|
||
|
A Design Pattern for Executable DSML[Research Report] RR-8063, INRIA Rennes - Bretagne Atlantique. 2012, pp.19
Reports
inria-00540648v3
|
||
|
Automatic generation of Truffle-based interpreters for Domain-Specific LanguagesThe Journal of Object Technology, 2020, 19 (2), pp.1-21. ⟨10.5381/jot.2020.19.2.a1⟩
Journal articles
hal-02395867v2
|