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
Conference papers
lirmm-01377594v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Towards V&V suitable Domain Specific Modeling Languages for MBSE: A tooled approach
Blazo Nastov
,
Vincent Chapurlat
,
Christophe Dony
,
François Pfister
Conference papers
istex
lirmm-01377575v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-01929793v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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⟩
Journal articles
lirmm-01377547v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
MBSE and V&V: a tool-equipped method for combining various V&V strategies
Blazo Nastov
,
Vincent Chapurlat
,
François Pfister
,
Christophe Dony
Conference papers
hal-01930280v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Deploying MBSE in SME context : revisiting and equipping Digital Mock-Up
Vincent Chapurlat
,
Blazo Nastov
Conference papers
hal-02965396v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Towards Semantical DSMLs for Complex or Cyber-Physical Systems
Blazo Nastov
,
Vincent Chapurlat
,
Christophe Dony
,
François Pfister
Conference papers
lirmm-01377565v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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 communications
hal-02510673v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Conference papers
lirmm-01377604v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Conference papers
hal-01930467v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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⟩
Conference papers
hal-01930248v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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⟩
Journal articles
istex
lirmm-01377586v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics
Blazo Nastov
,
Vincent Chapurlat
,
Christophe Dony
,
François Pfister
Conference papers
lirmm-01237138v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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 communications
hal-01930295v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Conference papers
hal-01930240v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Resilience of Interconnected Infrastructures and Systems: the RESIIST project
Daouda Kamissoko
,
Blazo Nastov
,
Vincent Chapurlat
,
Helene Dolidon
,
Aurélia Bony-Dandrieux
et al.
Conference papers
hal-02424790v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More