34 results  save search


  • 1
  • 2
...
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
...
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-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-01363342v1  Conference papers
Max ChevalierMohammed El MalkiArlind KoplikuOlivier TesteRonan Tournier. Implementation of multidimensional databases in column-oriented NoSQL systems
19th East-European Conference on Advances in Databases and Information Systems (ADBIS), Sep 2015, Poitiers, France. pp. 79-91
...
hal-01403585v1  Conference papers
Jon Haël BrenasRachid EchahedMartin Strecker. Ensuring Correctness of Model Transformations While Remaining Decidable
Theoretical Aspects of Computing - ICTAC, Oct 2016, Taipei, Taiwan. pp.315 - 332, ⟨10.1007/978-3-319-46750-4_18⟩
...
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-00493726v2  Conference papers
Pierre-Emmanuel HladikFlorent PeresXiaomu Shi. Analyse d'un modèle AADL à l'aide de Pola
10es journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2010, Poitiers, France. p. 239--243
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⟩
...
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-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-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-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-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⟩
...
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-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-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-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-02269848v1  Conference papers
B BerthomieuJ BodeveixP FarailM FilaliH Garavel et al.  Fiacre: an Intermediate Language for Model Verification in the TOPCASED Environment
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
...
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⟩
  • 1
  • 2