32 results  save search


  • 1
  • 2
...
hal-01851851v1  Conference papers
Nicolas RoussoulyMichel SalaünFrank PetitjeanFabrice BuffeAnne Carpine. Reliability approach in spacecraft structures
ECSSMMT 2009 - 11th European Conference on Spacecraft Structures, Materials and Mechanical Testing, Sep 2009, Toulouse, France. pp.0
...
hal-00819501v1  Conference papers
Christophe Sibertin-BlancOlivier ThérondClaude MonteilPierre Mazega. Formal Modeling of Social-Ecological Systems
European Social Simulation Association, Jean-Pierre Muller, Sep 2011, Montpellier, France
...
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-01517388v1  Conference papers
Brahim Hamid. A Model Repository Description Language - MRDL
15th International Conference on Software Reuse (ICSR 2016), Jun 2016, Limassol, Cyprus. pp. 350-367
...
hal-02348212v1  Conference papers
Brahim Hamid. Assessment of the SEMCO Model-Based Repository Approach for Software System Engineering
International Conference On Model and Data Engineering (MEDI 2017), Oct 2017, Barcelona, Spain. pp.111-125
...
hal-01223182v1  Conference papers
Brahim HamidChristian Percebois. Model-based Specification and Validation of Security and Dependability Patterns
6th International Symposium on Foundations & Practice of Security (FPS 2013), Oct 2013, La Rochelle, France. pp.65-82, ⟨10.1007/978-3-319-05302-8⟩
...
hal-01240715v1  Conference papers
Brahim HamidJacob GeiselAdel ZianiJean-Michel BruelJon Perez. Model-Driven Engineering for Trusted Embedded Systems based on Security and Dependability Patterns
16th System Design Languages Forum (SDL 2013), Jun 2013, Montreal, Canada. pp.72-90
...
hal-00369871v1  Journal articles
Benoit CombemaleXavier CrégutMarc PantelPierre Michel. SéMo'07 : premier atelier sur la Sémantique des Modèles
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2007, 13 (4), pp.137-144. ⟨10.3166/obj.13.4.137-144⟩
hal-00850292v1  Conference papers
Pierrick MarieThierry DespratsSophie ChabridonMichèle Sibilla. QoCIM : un méta-modèle de qualité de contexte
UbiMob '13 : 9èmes journées francophones Mobilité et Ubiquité, Jun 2013, Nancy, France
...
hal-01212943v1  Conference papers
Pierrick MarieThierry DespratsSophie ChabridonMichelle Sibilla. QoCIM : A Meta-model for Quality of Context
8th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2013), Oct 2013, Annecy, France. pp.PP. 302-3015
...
tel-00719547v1  Theses
Nuno Belard. Reasoning about models: detecting and isolating abnormalities in diagnostic systems
Automatique / Robotique. Université Paul Sabatier - Toulouse III, 2012. Français
...
tel-00366141v1  Theses
Thierry Touya. Méthodes d'optimisation pour l'espace et l'environnement
Modélisation et simulation. Université Paul Sabatier - Toulouse III, 2008. Français
...
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-01592038v1  Journal articles
Brahim HamidSigrid GürgensAndreas Fuchs. Security Patterns Modeling and Formalization for Pattern-based Development of Secure Software Systems
Innovations in Systems and Software Engineering, Springer Verlag, 2016, vol. 12 (n° 2), pp. 109-140. ⟨10.1007/s11334-015-0259-1⟩
...
hal-01387744v1  Conference papers
Brahim Hamid. A Model-Driven Methodology Approach for Developing a Repository of Models
4th International Conference On Model and Data Engineering (MEDI 2014), Sep 2014, Larnaca, Cyprus. pp.29-44, ⟨10.1007/978-3-319-11587-0_5⟩
...
hal-01635791v1  Conference papers
Min ZhuClément FoucherVincent AlbertAlexandre Nketsa. Applying the Model-Driven Architecture Approach to Dynamic Structure Applications
31st European Simulation and Modelling Conference (ESM 2017), Oct 2017, Lisbon, Portugal. 8p
...
tel-00842406v1  Theses
Alexandru Robert Ciprian Guduvan. Une approche dirigée par les modèles pour le développement de tests pour systèmes avioniques embarqués
Informatique et langage [cs.CL]. Institut Superieur de L' Aeronautique et de l'Espace, 2013. Français
...
hal-01141439v1  Conference papers
Brahim HamidChristian Percebois. A Modeling and Formal Approach for the Precise Specification of Security Patterns
International Symposium on Engineering Secure Software and Systems - ESSoS 2014, Feb 2014, Munich, Germany. pp. 95-112
...
hal-01146705v1  Conference papers
Adel ZianiBrahim HamidJacob GeiselJean-Michel Bruel. A Model-based Repository of Security and Dependability Patterns for Trusted RCES
IEEE International Conference on Information Reuse and Integration (IRI), Aug 2013, San Francisco, United States. pp. 448-457
...
hal-01148836v1  Conference papers
Pierrick MarieThierry DespratsSophie ChabridonMichelle Sibilla. Extending Ambient Intelligence to the Internet of Things: New Challenges for QoC Management
International Conference on Ubiquitous Computing and Ambient Intelligence - UCAmI 2014, Dec 2014, Belfast, United Kingdom. pp. 224-231
  • 1
  • 2