Filter your results
- 40
- 28
- 48
- 15
- 3
- 1
- 1
- 66
- 2
- 3
- 4
- 5
- 7
- 7
- 5
- 4
- 7
- 11
- 4
- 6
- 3
- 2
- 53
- 12
- 3
- 68
- 22
- 16
- 16
- 6
- 6
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 26
- 20
- 19
- 17
- 16
- 7
- 7
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
68 Results
Embedded UML Model Execution to Bridge the Gap Between Design and RuntimeMDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France
Conference papers
hal-01802247v1
|
|||
Transformation de Modèles et Contraintes pour l’Ingénierie Dirigée par les ModèlesJFPC2018, Jun 2018, Amiens, France
Conference papers
hal-01804542v1
|
|||
|
Testing real-time systems with runtime enforcementIEEE Design & Test, 2018, ⟨10.1109/MDAT.2018.2791801⟩
Journal articles
hal-01713193v1
|
||
|
Gremlin-ATL: A Scalable Model Transformation FrameworkASE2017 : 32nd IEEE/ACM International Conference on Automated Software Engineering, Oct 2017, Urbana-Champaign, United States. ⟨10.1109/ASE.2017.8115658⟩
Conference papers
hal-01589582v1
|
||
Towards one Model Interpreter for Both Design and Deployment3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States
Conference papers
hal-01585318v1
|
|||
|
On Additivity in Transformation LanguagesMODELS 2017 - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Sep 2017, Austin, Texas, United States. pp.23-33, ⟨10.1109/MODELS.2017.21⟩
Conference papers
hal-01566259v1
|
||
Improving Incremental and Bidirectional Evaluation with an Explicit Propagation Graph17th International Workshop in OCL and Textual Modeling, Jul 2017, Marburg, Germany
Conference papers
hal-01585342v1
|
|||
Efficient OCL-based Incremental Transformations16th International Workshop in OCL and Textual Modeling, Oct 2016, Saint-Malo, France. pp.121--136
Conference papers
hal-01399962v1
|
|||
Enabling OCL and fUML Integration by Transformation12th European Conference, ECMFA 2016, Jul 2016, Vienna, Austria. pp.156-172, ⟨10.1007/978-3-319-42061-5_10⟩
Conference papers
hal-01340073v1
|
|||
『モデル駆動工学の原理と応用』 (3)モデル分類からみるモデル駆動工学の応用Computer Software, 2016, 33 (2), pp.56-77 ⟨10.11309/jssst.33.2_56⟩
Journal articles
hal-01340062v1
|
|||
|
Automatic Detection of GUI Design Smells: The Case of Blob ListenerProceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'16), Jun 2016, Brussels, Belgium. pp.263-274, ⟨10.1145/2933242.2933260⟩
Conference papers
hal-01308625v2
|
||
Testing real-time embedded software using runtime enforcement11th IEEE International Symposium on Industrial Embedded Systems, IEEE SIES 2016, May 2016, Krakow, Poland
Conference papers
hal-01399909v1
|
|||
On the Use of Active Operations for Incremental Bidirectional Evaluation of OCL15th International Workshop on OCL and Textual Modeling (OCL'15), Sep 2015, Ottawa, Canada. pp.35-45
Conference papers
hal-01222510v1
|
|||
Use of runtime enforcement for the test of real-time systems12th IEEE International Conference on Embedded Software and Systems, IEEE ICESS 2015, Aug 2015, New York, United States
Conference papers
hal-01179648v1
|
|||
|
Towards Functional Model Transformations with OCLICMT 2015 - 8th International Conference on Model Transformation, Jul 2015, L'Aquila, Italy. pp.111-120, ⟨10.1007/978-3-319-21155-8_9⟩
Conference papers
hal-01179294v1
|
||
Bidirectional incremental transformations with Active Operation Framework – Application to Facades1st Papyrus Workshop - DSML Technologies (CEA), Jun 2015, Toulouse, France
Conference papers
hal-01195930v1
|
|||
Define DSL notation using declarative geometric constraints1st Papyrus Workshop - DSML Technologies (CEA), Jun 2015, Toulouse, France
Conference papers
hal-01195933v1
|
|||
『モデル駆動工学の原理と応用』 (2)メタモデリングとモデル変換Computer Software, 2015, 32 (2), pp.63-78. ⟨10.11309/jssst.32.2_63⟩
Journal articles
hal-01202832v1
|
|||
|
Kompren: Modeling and Generating Model SlicersSoftware and Systems Modeling, 2015, 14 (1), pp.321-337. ⟨10.1007/s10270-012-0300-x⟩
Journal articles
hal-00746566v2
|
||
Embedded Sensors for the Analysis of Drivers' BehaviorNew Sensors and Processing Chai, Wiley, 2014, ⟨10.1002/9781119050612.ch6⟩
Book sections
hal-01396559v1
|
|||
Towards Fixing Sketchy UML Models by Leveraging Textual Notations: Application to Real-Time Embedded SystemsOCL 2014, Sep 2014, Valencia, Spain. pp.73-82
Conference papers
hal-01222938v1
|
|||
Panel Discussion: Proposals for Improving OCLOCL 2014, Sep 2014, Valencia, Spain. pp.83-99
Conference papers
hal-01222939v1
|
|||
fUML as an Assembly Language for Model Transformation7th International Conference, SLE 2014, Sep 2014, Västerås, Sweden. pp.171-190, ⟨10.1007/978-3-319-11245-9_10⟩
Conference papers
hal-01096634v1
|
|||
|
Formal Synthesis of Real-Time System Models in a MDE ApproachIARIA Journals, 2014, International Journal on Advances in Systems and Measurements, 7 (1&2), pp.115-128
Journal articles
hal-01093769v1
|
||
Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCDGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109
Journal articles
hal-01006656v1
|
|||
|
fUML as an Assembly Language for MDAProceedings of the 6th International Workshop on Modeling in Software Engineering, Jun 2014, Hyderabad, India. pp.61-64, ⟨10.1145/2593770.2593778⟩
Conference papers
hal-00966441v1
|
||
Toward the design of a generic model of interoperability for SiecProceedings the 15th International Conference on Enterprise Information Systems (ICEIS'13), Jul 2013, Angers, France
Conference papers
hal-01179306v1
|
|||
|
Binding Orthogonal Views for User Interface DesignProceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (VAO'13), Jul 2013, Montpellier, France. in press
Conference papers
hal-00826705v2
|
||
Modélisation de l'étude de cas avec MARTEHermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.161-178, 2013, SEE, 978-2-7462-3900-5
Book sections
hal-00862485v1
|
|||
Case Study Modeling Using MARTEEmbedded Systems. Analysis and Modeling with SysML, UML and AADL, Wiley, pp.139-156, 2013
Book sections
hal-00821955v1
|