Blazo Nastov
Blazo Nastov
R&D, Axellience
Bestätigte E-Mail-Adresse bei axellience.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
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
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
42017
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
42016
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
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
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
12019
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
12018
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
2018
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20