-
A Methodology to Develop High Performance Applications on GPGPU Architectures...
Complex physical phenomena can be numerically simulated by mathematical techniques. Usually, these techniques are based on discretization of partial differential... -
Contribution to multiplatform deployement of muttitasking applications by hig...
Given the complexity of multitasked software, linked to very pressing economic and competitive contexts, application portability and deployment process reusability has... -
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Tim...
Time properties are key requirements for the reliability of Safety Critical Real-Time Systems (RTS). UML and MARTE are standardized modelling languages widely accepted... -
Compositional modeling and transformation of multi-clocked mode automata
This article presents the modeling and implementation of multi-clocked mode automata using the model-driven engineering tool GME(Generic Modeling Environment) and... -
Contribution for the Specification and the Verification of Temporal Requireme...
The work developed in this thesis aims to assist the engineering process of temporal requirements for time-constrained complex systems. Our contributions concern three... -
MoDeVVa 2012 workshop summary
International audience -
A Model-Driven Approach for Hybrid Power Estimation in Embedded Systems Design
International audience -
Time-constrained systems validation using mda model transformation. A railway...
International audience -
Data processing from manufacturing systems to decision support systems: propo...
International audience -
Automated Verification of Model. Transformations in the Automotive Industry
International audience -
Multi-Paradigm Semantics for Simulating SysML Models using SystemC-AMS
International audience -
A rigorous reasoning about model transformations using the B method
International audience -
Learning Model Transformations from Examples using FCA: One for All or All fo...
International audience -
Qualifying Input Test Data for Model Transformations
International audience -
A modeling framework for complex behavior modeling and integration
International audience -
Génération de Transformations de Modèles : une approche basée sur les treilli...
Model transformation is a fundamental operation for Model Driven Engineering. It can be performed manually or automatically, but in the later cas the developper needs... -
Filtered Comparison for Oracle in ModelTransformation Testing
International audience -
Automatic Adaptation of Transformations based on Type Graph with Multiplicity
International audience -
Recovering Model Transformation Traces using Multi-Objective Optimization
International audience
