Filtrer vos résultats
- 11
- 5
- 11
- 3
- 2
- 14
- 3
- 1
- 1
- 3
- 2
- 2
- 2
- 2
- 4
- 15
- 1
- 15
- 6
- 4
- 3
- 2
- 2
- 1
- 1
- 1
- 16
- 13
- 6
- 6
- 4
- 4
- 4
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
triés par
|
Towards V&V suitable Domain Specific Modeling Languages for MBSE: A tooled approachINCOSE International Symposium, Jul 2016, Edinburgh, United Kingdom. pp.556-570, ⟨10.1002/j.2334-5837.2016.00178.x⟩
Communication dans un congrès
istex
lirmm-01377575v1
|
|||
|
Continuous and multidimensional assessment of resilience based on functionality analysis for interconnected systemsStructure and Infrastructure Engineering, 2019, 15 (4), pp.427-442. ⟨10.1080/15732479.2018.1546327⟩
Article dans une revue
hal-01929793v1
|
||
Revisiting digital mock-up for SME involved in systems engineering deployment., 12th International Conference on Modeling12th International Conference on Modeling, Optimization and SIMulation - MOSIM’18, Jul 2018, Toulouse, France
Communication dans un congrès
hal-01930240v1
|
|||
A proposal for a Resilient Critical Infrastructures Model-Based Engineering MethodISCRAM 2017 - 14th International Conference on Information Systems for Crisis Response and Management, May 2017, Albi, France
Poster de conférence
hal-01930295v1
|
|||
|
A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic SemanticsCSD&M : Complex Systems Design & Management, Nov 2014, Paris, France. pp.225-238, ⟨10.1007/978-3-319-11617-4_16⟩
Communication dans un congrès
lirmm-01237138v1
|
||
|
Resilience of Interconnected Infrastructures and Systems: the RESIIST projectICAT 2019 - 1st International Conference on Applied Technologies, Dec 2019, Quito, Ecuador. p.257-270, ⟨10.1007/978-3-030-42517-3_20⟩
Communication dans un congrès
hal-02424790v1
|
||
|
Towards Semantical DSMLs for Complex or Cyber-Physical SystemsENASE: Evaluation of Novel Approaches to Software Engineering, Apr 2016, Rome, Italy. pp.115-123, ⟨10.5220/0005768201150123⟩
Communication dans un congrès
lirmm-01377565v1
|
||
Deploying MBSE in SME context : revisiting and equipping Digital Mock-UpIEEE ISSE 2020 - 6th International Symposium on systems Engineering, Oct 2020, Vienna, Austria. ⟨10.1109/ISSE49799.2020.9272230⟩
Communication dans un congrès
hal-02965396v1
|
|||
Experimentation of a Graphical Concrete Syntax Generator for Domain Specific Modeling LanguagesINFORSID: INFormatique des ORganisation et Systèmes d'Information et de Décision, May 2014, Lyon, France. pp.197-213
Communication dans un congrès
lirmm-01377594v1
|
|||
Contribution to model verification: operational semantic for System Engineering modeling languagesCIEL: Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.88-90
Communication dans un congrès
lirmm-01377604v1
|
|||
The RESIIST projectWISG 2019 - Workshop Interdisciplinaire sur la Sécurité Globale, Oct 2019, Paris, France. 2019
Poster de conférence
hal-02510673v1
|
|||
Towards a Model-Based Method for Resilient Critical Infrastructure Engineering. How to model Critical Infrastructures and evaluate its resilience?SoSE 2018 - 13th System of Systems Engineering Conference, IEEE, Jun 2018, Paris, France. art. 8428773 - p.561-567, ⟨10.1109/SYSOSE.2018.8428773⟩
Communication dans un congrès
hal-01930248v1
|
|||
A Tooled Approach for Designing Executable and Verifiable Modeling LanguagesINSIGHT - International Council on Systems Engineering (INCOSE), 2015, 18 (4), pp.31-33. ⟨10.1002/inst.12059⟩
Article dans une revue
istex
lirmm-01377586v1
|
|||
Towards system verification: Adding meaning to modelsCIEL: Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France
Communication dans un congrès
hal-01930467v1
|
|||
Vers la génération des syntaxes concrètes graphiques pour les langages de modélisation métierRevue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2015, 20 (2), pp.67-91. ⟨10.3166/isi.20.2.67-91⟩
Article dans une revue
lirmm-01377547v1
|
|||
|
MBSE and V&V: a tool-equipped method for combining various V&V strategies20th IFAC World Congress, Jul 2017, Toulouse, France. pp.10538-10543, ⟨10.1016/j.ifacol.2017.08.1309⟩
Communication dans un congrès
hal-01930280v1
|