| 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 | 10 | 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 | 8 | 2016 |
| 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 | 5 | 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 | 5 | 2015 |
| 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 | 4 | 2017 |
| 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 | 4 | 2016 |
| 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 |
| 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 |
| 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 | 1 | 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 | 1 | 2018 |
| Contribution to an equipped approach for the design of executable, verifiable and interoperable Domain Specific Modelling Languages for Model Based Systems Engineering B Nastov | 1 | 2016 |
| 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 |
Vincent ChapurlatBestätigte E-Mail-Adresse bei mines-ales.fr
