1. Search
32 results  save search


  • 1
  • 2
...
hal-01851851v1  Conference papers
Nicolas Roussouly, Michel Salaün, Frank Petitjean, Fabrice Buffe, Anne 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-Blanc, Olivier Thérond, Claude Monteil, Pierre 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-01130233v1  Journal articles
Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel, Bernard Coulette. Development of Reconfigurable Distributed Embedded Systems with a Model-Driven Approach
Concurrency and Computation: Practice and Experience, Wiley, 2013, pp.0. ⟨10.1002/cpe.3095⟩
...
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-01429691v1  Journal articles
Brahim Hamid, Jon Perez. Supporting Pattern-Based Dependability Engineering via Model-Driven Development: Approach, tool-support and empirical validation
Journal of Systems and Software, Elsevier, 2016, vol. 122, pp. 239-273. ⟨10.1016/j.jss.2016.09.027⟩
...
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 Hamid, Christian 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-00976949v1  Journal articles
Valérie Pommier-Budinger, Marc Budinger. Sizing optimization of piezoelectric smart structures with meta-modeling techniques for dynamic applications
International Journal of Applied Electromagnetics and Mechanics, IOS Press 2014, ⟨10.3233/JAE-141771⟩
...
hal-01240715v1  Conference papers
Brahim Hamid, Jacob Geisel, Adel Ziani, Jean-Michel Bruel, Jon 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 Combemale, Xavier Crégut, Marc Pantel, Pierre 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-02270461v1  Conference papers
Patrick Farail, Pierre Gaufillet, Agusti Canals, Christophe Le Camus, David Sciamma et al.  The TOPCASED project: a Toolkit in Open source for Critical Aeronautic SystEms Design
Conference ERTS'06, Jan 2006, Toulouse, France
hal-00850292v1  Conference papers
Pierrick Marie, Thierry Desprats, Sophie Chabridon, Michè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-01946152v1  Journal articles
Malek Zaibi, Habib Cherif, Gérard Champenois, Bruno Sareni, Xavier Roboam et al.  Sizing methodology based on design of experiments for freshwater and electricity production from multi-source renewable energy systems
Desalination, Elsevier, 2018, 446, pp.94-103. ⟨10.1016/j.desal.2018.08.008⟩
...
hal-01212943v1  Conference papers
Pierrick Marie, Thierry Desprats, Sophie Chabridon, Michelle 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 Pasqua, Damien Foures, Vincent Albert, Alexandre 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 Hamid, Sigrid Gürgens, Andreas 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-01496891v1  Conference papers
Sofiene Beji, Abdelouahed Gherbi, John Mullins, Pierre-Emmanuel Hladik. Model-Driven Approach to the Optimal Configuration of Time-Triggered Flows in a TTEthernet Network
9th System Analysis and Modelling (SAM 2016), Oct 2016, Saint-Malo, France. ⟨10.1007/978-3-319-46613-2_11⟩
...
hal-01635791v1  Conference papers
Min Zhu, Clément Foucher, Vincent Albert, Alexandre 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 Hamid, Christian 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 Ziani, Brahim Hamid, Jacob Geisel, Jean-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 Marie, Thierry Desprats, Sophie Chabridon, Michelle 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
...
tel-00921209v1  Theses
Fatma Krichen. Architectures logicielles à composants reconfigurables pour les systèmes temps réel répartis embarqués (TR²E)
Autre [cs.OH]. Université Toulouse le Mirail - Toulouse II, 2013. Français. ⟨NNT : 2013TOU20073⟩
...
tel-02276756v1  Theses
Guy-De-Patience Ftatsi Mbetmi. Fiabilité résiduelle des ouvrages en béton dégradés par réaction alcali-granulat : application au barrage hydroélectrique de Song Loulou
Matériaux. Université Paul Sabatier - Toulouse III, 2018. Français. ⟨NNT : 2018TOU30116⟩
  • 1
  • 2

CONTACT

scd.ao@univ-tlse3.fr