Skip to Main content Skip to Navigation


...
hal-00781084v1  Conference papers
Roberto PasquaDamien FouresVincent AlbertAlexandre Nketsa. FROM SEQUENCE DIAGRAMS UML 2.x TO FD-DEVS BY MODEL TRANSFORMATION
European Simulation and Modelling Conference, Oct 2012, Essen, Germany. pp.37-43 N° 12481
hal-00517282v1  Journal articles
Philippe DhaussyFrédéric Boniol. Mise en oeuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2007, 12 (5), pp.133-157. ⟨10.3166/isi.12.5.133-157⟩
...
tel-00207502v1  Theses
Ana-Elena Rugina. Modélisation et évaluation de la sûreté de fonctionnement - De AADL vers les réseaux de Pétri stochastiques
Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2007. English
...
hal-02450844v1  Conference papers
Lynda Ait OubelliYamine Aït-AmeurJudicael BedouetBenoit Chausserie-LapreeBeatrice Larzul. Automating the Evolution of Data Models for Space Missions. A Model-Based Approach
7th International Conference on Model and Data Engineering (MEDI 2017), Oct 2017, Barcelone, Spain. pp.340-354
...
hal-02650548v1  Conference papers
Lynda OubelliYamine Aït-AmeurJudicaël BedouetBenoît Chausserie-LapréeBéatrice Larzul. Finding conservative schema evolutions by analysing API changes
The 31st International Conference on Software Engineering and Knowledge Engineering, Jul 2019, Lisbonne, Portugal. pp.748-753, ⟨10.18293/SEKE2019-132⟩
...
hal-01154188v1  Journal articles
Youness LaghouaoutaAdil AnwarMahmoud NassarBernard Coulette. A graph based approach to trace models composition
Journal of Software, International Academy Publishing, 2014, vol. 9 (n° 11), pp. 2813-2822. ⟨10.4304/jsw.9.11.2813-2822⟩
...
hal-01264523v1  Conference papers
Selma DjeddaiMohamed MezghicheMartin Strecker. A case study in combining formal verification and model-driven engineering
International Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV 2012) in : 8th International Conference on ICT in Education, Research, and Industrial Applications - ICTERI 2012, Jun 2012, Kherson, Ukraine. pp.275-289
...
hal-01153717v1  Journal articles
Zhi-Bin YangKai HuYong-Wang ZhaoDian-Fu MaJean-Paul Bodeveix. Verification of AADL Models with Timed Abstract State Machines
Journal of Software, Science in China Press, 2015, vol. 26 (n° 2), pp. 202-222
...
hal-00160807v1  Conference papers
Benoit CombemalePierre-Loïc GarocheXavier CrégutXavier ThiriouxFrançois Vernadat. Towards a Formal Verification of Process Model's Properties - SimplePDL and TOCL Case Study
9th International Conference on Enterprise Information Systems, Jun 2007, Funchal, Madeira, Portugal. pp.80-89
...
hal-00369884v1  Journal articles
Benoit CombemaleXavier CrégutPierre-Loïc GarocheXavier ThiriouxFrançois Vernadat. A Property-Driven Approach to Formal Verification of Process Models
Lecture Notes in Business Information Processing, Enterprise Information Systems, 2008, 12, pp.286-300. ⟨10.1007/978-3-540-88710-2⟩
...
hal-00369887v1  Conference papers
Darlam BenderBenoit CombemaleXavier CrégutJean-Marie FarinesBernard Berthomieu et al.  Ladder Metamodeling & PLC Program Validation through Time Petri Nets
Model Driven Architecture - Foundations and Applications (ECMDA 2008), Jun 2008, Berlin, Germany. pp.121-136, ⟨10.1007/978-3-540-69100-6_9⟩
...
hal-00730738v1  Conference papers
Jean-Christophe BachPierre-Etienne MoreauMarc Pantel. Tom-based tools to transform EMF models in avionics context
ITSLE - Industrial Track of Software Language Engineering 2012, Sep 2012, Dresden, Germany
...
hal-00646350v2  Conference papers
Jean-Christophe BachXavier CrégutPierre-Etienne MoreauMarc Pantel. Model Transformations with Tom
LDTA - 12th Workshop on Language Descriptions, Tools and Applications - 2012, Mar 2012, Tallinn, Estonia. pp.16
...
hal-01914003v1  Conference papers
Fatma AbdelhédiAmal Ait BrahimFaten AtiguiGilles Zurfluh. UMLtoNoSQL: Automatic Transformation of Conceptual Schema to NoSQL Databases
14th International Conference on computer Systems And Applications (AICCSA 2017), Oct 2017, Hammamet, Tunisia. pp.272-279, ⟨10.1109/AICCSA.2017.76⟩
...
hal-01285662v1  Journal articles
Kai HuTeng ZhangZhibin YangWei-Tek Tsai. Exploring AADL verification tool through model transformation
Journal of Systems Architecture, Elsevier, 2015, 61 (3-4), pp.141-156. ⟨10.1016/j.sysarc.2015.02.003⟩
...
tel-00157570v1  Theses
David Guihal. Modélisation en langage VHDL-AMS des systèmes pluridisciplinaires
Micro et nanotechnologies/Microélectronique. Université Paul Sabatier - Toulouse III, 2007. Français
...
hal-01531165v1  Conference papers
Saïd TaktakJamel FekiGilles Zurfluh. Toward Evolution Models for Data Warehouses
2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014), Jan 2014, Lisbon, Portugal. pp. 472-479
...
hal-01815481v1  Conference papers
Maroun KoussaifiSophie TrouilhetJean-Paul ArcangeliJean-Michel Bruel. Ambient Intelligence Users in the Loop: Towards a Model-Driven Approach
MSE (“Microservices: Science and Engineering”) Workshop (MSE@STAF 2018), Jun 2018, Toulouse, France
...
hal-01910113v1  Conference papers
Jean-Michel BruelBenoit CombemaleEsther GuerraJean-Marc JézéquelJörg Kienzle et al.  Model Transformation Reuse across Metamodels - A classification and comparison of approaches
ICMT 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⟩