Filter your results
- 163
- 17
- 108
- 43
- 7
- 6
- 5
- 4
- 3
- 1
- 1
- 1
- 1
- 5
- 177
- 1
- 10
- 7
- 7
- 17
- 9
- 9
- 7
- 15
- 24
- 17
- 12
- 18
- 8
- 5
- 2
- 7
- 5
- 1
- 168
- 12
- 166
- 166
- 68
- 26
- 19
- 15
- 7
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 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
- 1
- 180
- 31
- 26
- 26
- 19
- 16
- 16
- 15
- 13
- 13
- 10
- 10
- 10
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
180 Results
|
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
|
||
Correct-by-construction model driven engineering composition operatorsFormal Aspects of Computing, 2016, 28 (3), ⟨10.1007/s00165-016-0354-6⟩
Journal articles
hal-01319576v1
|
|||
|
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
Conference papers
hal-03916459v1
|
||
|
Approximate Loop Unrolling2016
Preprints, Working Papers, ...
hal-01401828v1
|
||
|
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
|
||
|
Towards the use of slicing techniques for an efficient invariant checkingMODULARITY 2015, Mar 2015, Fort Collins, United States. pp.2, ⟨10.1145/2735386.2735926⟩
Conference papers
hal-01141395v1
|
||
|
Behavioral interfaces for executable DSLsSoftware and Systems Modeling, 2020, 19 (4), pp.1015-1043. ⟨10.1007/s10270-020-00798-2⟩
Journal articles
hal-02565549v1
|
||
|
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
hal-01074602v1
|
||
|
VCU: The Three Dimensions of Reuse15th International Conference on Software Reuse (ICSR-15), May 2016, Limassol, Cyprus
Conference papers
hal-01287720v1
|
||
|
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
|
||
|
Towards Language-Oriented ModelingSoftware Engineering [cs.SE]. Université de Rennes 1, 2015
Habilitation à diriger des recherches
tel-01238817v1
|
||
|
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
|
||
|
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⟩
Conference papers
hal-01061576v1
|
||
|
Globalizing Modeling LanguagesComputer, 2014, pp.10-13
Journal articles
hal-00994551v1
|
||
|
A Model-Driven Based Environment for Automatic Model CoordinationModels 2015 demo and posters, Oct 2015, Ottawa, Canada
Conference papers
hal-01198744v1
|
||
|
A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio8th Transformation Tool Contest, 2015, l'Aquila, Italy
Conference papers
hal-01152342v2
|
||
|
The Software Language Extension ProblemSoftware and Systems Modeling, 2020, 19 (2), pp.263-267. ⟨10.1007/s10270-019-00772-7⟩
Journal articles
hal-02399166v1
|
||
|
Leveraging Software Product Lines Engineering in the Development of External DSLs: A Systematic Literature ReviewComputer Languages, Systems and Structures, 2016, ⟨10.1016/j.cl.2016.09.004⟩
Journal articles
hal-01372702v1
|
||
|
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
Conference papers
hal-01401849v1
|
||
|
On Model SubtypingECMFA - 8th European Conference on Modelling Foundations and Applications, Jul 2012, Kgs. Lyngby, Denmark
Conference papers
hal-00695034v1
|
||
|
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⟩
Conference papers
hal-01406507v1
|
||
|
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
|
||
|
Safe Model Polymorphism for Flexible ModelingComputer Languages, Systems and Structures, 2016, Computer Languages, Systems {\&} Structures, 49, pp.30. ⟨10.1016/j.cl.2016.09.001⟩
Journal articles
hal-01367305v2
|
||
|
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
|
||
|
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
Conference papers
hal-03318816v1
|
||
|
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
|
||
|
Bridging the Chasm Between MDE and the World of CompilationSoftware and Systems Modeling, 2012, 11 (4), pp.581-597. ⟨10.1007/s10270-012-0266-8⟩
Journal articles
hal-00717219v1
|