Blazo Nastov
Blazo Nastov
R&D, Axellience
Verified email at axellience.com - Homepage
Title
Cited by
Cited by
Year
A verification approach from MDE applied to model based systems engineering: XeFFBD dynamic semantics
B Nastov, V Chapurlat, C Dony, F Pfister
Complex Systems Design & Management, 225-238, 2015
102015
Towards V&V suitable Domain Specific Modeling Languages for MBSE: A tooled approach
B Nastov, V Chapurlat, Dony, Christophe, F Pfister
the 26th Annual INCOSE International Symposium (IS’2016), 2016
82016
Towards semantical DSMLs for complex or cyber-physical systems
B Nastov, V Chapurlat, C Dony, F Pfister
11th International conference on Evaluation of Novel Approaches to Software …, 2016
62016
MBSE and V&V: a tool-equipped method for combining various V&V strategies
B Nastov, V Chapurlat, F Pfister, C Dony
IFAC-PapersOnLine 50 (1), 10538-10543, 2017
52017
Contribution à une méthode outillée pour la conception de langages de modélisation métier interopérables, analysables et prouvables pour l'Ingénierie Système basée sur des Modèles
B Nastov
Montpellier, 2016
52016
A tooled approach for designing executable and verifiable modeling languages
B Nastov, V Chapurlat, C Dony, F Pfister
INSIGHT 18 (4), 31-33, 2015
52015
Contribution to Model Verification: Operational Semantics for Systems Engineering Modeling Languages
B Nastov
the 3th National Conference on Software Engineering (CIEL’2014), 88-90, 2014
42014
Continuous and multidimensional assessment of resilience based on functionality analysis for interconnected systems
D Kamissoko, B Nastov, F Benaben, V Chapurlat, A Bony-Dandrieux, ...
Structure and Infrastructure Engineering 15 (4), 427-442, 2019
22019
Revisiting Digital Mock-Up for SME Involved in Systems Engineering Deployment
V Chapurlat, M Lafon, B Nastov
12th International Conference on Modelling, Optimization and Simulation, 2018
22018
Towards a Model-Based Method for Resilient Critical Infrastructure Engineering : How to model Critical Infrastructures and evaluate their Resilience?
V Chapurlat, B Nastov, N Daclin, A Bony-Dandrieux, J Tixier, ...
IEEE – 13th System of Systems Engineering Conference, 2018
22018
Experimentation of a Graphical Concrete Syntax Generator for Domain Specific Modeling Languages
B Nastov, F Pfister
The 32th National Conference on INFormatique des ORganisation et Systèmes d …, 2014
22014
Contribution to an equipped approach for the design of executable, verifiable and interoperable Domain Specific Modelling Languages for Model Based Systems Engineering
B Nastov
12016
The RESIIST project
D Kamissoko, B Nastov, M Allon, A Muller, V Chapurlat, H Dolidon, ...
WISG 2019-Workshop Interdisciplinaire sur la Sécurité Globale, 2019
2019
Revisiting digital mock-up for SME involved in systems engineering deployment., 12th International Conference on Modeling
V Chapurlat, B Nastov, M Lafon
2018
A proposal for a Resilient Critical Infrastructures Model-Based Engineering Method
B Nastov, V Chapurlat, B Moradi, N Daclin
ISCRAM 2017-14th International Conference on Information Systems for Crisis …, 2017
2017
Towards V&V suitable Domain Specific Modeling Languages for MBSE
B Nastov, V Chapurlat, C Dony, F Pfister
Advances on cognitive automation at LGI2P/Ecole des Mines d'Alès Doctoral …, 2016
2016
Vers la génération des syntaxes concrètes graphiques pour les langages de modélisation métier
B Nastov, F Pfister
Ingénierie des Systèmes d'Information 20 (2), 67-91, 2015
2015
Model Verification & Validation and Model Based Systems Engineering: towards executable DSML
B Nastov, V Chapurlat, C Dony, F Pfister
6ème Forum AFIS, 2014
2014
A MDE verification approach applied to System Engineering: xeFFBD dynamic semantics
B Nastov, V Chapurlat, C Dony, F Pfister
CSD&M: Complex Systems Design & Management, 2014
2014
Towards system verification: Adding meaning to models
B Nastov, V Chapurlat, F Pfister, C Dony
2014
The system can't perform the operation now. Try again later.
Articles 1–20