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 | 13 | 2015 |
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 | 10 | 2016 |
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 | 8 | 2016 |
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 | 7 | 2017 |
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 | 7 | 2016 |
A tooled approach for designing executable and verifiable modeling languages B Nastov, V Chapurlat, C Dony, F Pfister INSIGHT 18 (4), 31-33, 2015 | 6 | 2015 |
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 | 4 | 2014 |
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 | 3 | 2019 |
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 | 2 | 2018 |
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 | 2 | 2018 |
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 | 2 | 2014 |
Contribution to an equipped approach for the design of executable, verifiable and interoperable Domain Specific Modelling Languages for Model Based Systems Engineering B Nastov Université Montpellier, 2016 | 1 | 2016 |
Deploying MBSE in SME context: revisiting and equipping Digital Mock-Up V Chapurlat, B Nastov 2020 IEEE International Symposium on Systems Engineering (ISSE), 1-8, 2020 | | 2020 |
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 12th International Conference on Modeling, Optimization and SIMulation-MOSIM’18, 2018 | | 2018 |
Counting for some convergent groups M Peigné, S Tapie, P Vidotto arXiv preprint arXiv:1707.08264, 2017 | | 2017 |
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 |