Recherche - IMT Mines Alès Accéder directement au contenu

Filtrer vos résultats

16 Résultats
authIdHal_s : blazo-nastov

Towards V&V suitable Domain Specific Modeling Languages for MBSE: A tooled approach

Blazo Nastov , Vincent Chapurlat , Christophe Dony , François Pfister
INCOSE 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
Image document

Continuous and multidimensional assessment of resilience based on functionality analysis for interconnected systems

Daouda Kamissoko , Blazo Nastov , Frederick Benaben , Vincent Chapurlat , Aurélia Bony-Dandrieux et al.
Structure 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 Modeling

Vincent Chapurlat , Blazo Nastov , Maxence Lafon
12th 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 Method

Blazo Nastov , Vincent Chapurlat , Behrang Moradi
ISCRAM 2017 - 14th International Conference on Information Systems for Crisis Response and Management, May 2017, Albi, France
Poster de conférence hal-01930295v1
Image document

A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics

Blazo Nastov , Vincent Chapurlat , Christophe Dony , François Pfister
CSD&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
Image document

Resilience of Interconnected Infrastructures and Systems: the RESIIST project

Daouda Kamissoko , Blazo Nastov , Vincent Chapurlat , Helene Dolidon , Aurélia Bony-Dandrieux et al.
ICAT 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
Image document

Towards Semantical DSMLs for Complex or Cyber-Physical Systems

Blazo Nastov , Vincent Chapurlat , Christophe Dony , François Pfister
ENASE: 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-Up

Vincent Chapurlat , Blazo Nastov
IEEE 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 Languages

Blazo Nastov , François Pfister
INFORSID: 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 languages

Blazo Nastov
CIEL: Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.88-90
Communication dans un congrès lirmm-01377604v1

The RESIIST project

Daouda Kamissoko , Blazo Nastov , Matthieu Allon , Alexis Muller , Vincent Chapurlat et al.
WISG 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?

Vincent Chapurlat , Nicolas Daclin , Aurélia Bony-Dandrieux , Jérôme Tixier , Daouda Kamissoko et al.
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 Languages

Blazo Nastov , Vincent Chapurlat , Christophe Dony , François Pfister
INSIGHT - 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 models

Blazo Nastov , Vincent Chapurlat , François Pfister , Christophe Dony
CIEL: 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étier

Blazo Nastov , François Pfister
Revue 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
Image document

MBSE and V&V: a tool-equipped method for combining various V&V strategies

Blazo Nastov , Vincent Chapurlat , François Pfister , Christophe Dony
20th IFAC World Congress, Jul 2017, Toulouse, France. pp.10538-10543, ⟨10.1016/j.ifacol.2017.08.1309⟩
Communication dans un congrès hal-01930280v1