Temporal and Functional Verification of a Symbolic Representation of Complex Systems. - Mireille Larnac; Janine Magnier; Eric Vandermeulen; Gérard Dray; Vincent Chapurlat (EUROCAST, 1995)

Formal Representation and Proof of the Interpreted Sequential Machine Model. - Mireille Larnac; Vincent Chapurlat; Janine Magnier; Benjamin Chenot (EUROCAST, 1997)

User defined multi-criteria added-value for enterprise processes analysis. - Didier Crestani; C. Covès; François Prunet; D. Chalvet; Merlin Gerin Alès; Vincent Chapurlat; Mireille Larnac; Janine Magnier (SMC, 1998)

Simplification of Proof Procedures Based on the Path Condition Concepts. - Mireille Larnac; Janine Magnier; Vincent Chapurlat (EUROCAST, 1999)

Enterprise model verification and validation: an approach. - Vincent Chapurlat; Bernard Kamsu-Foguem; François Prunet (Annu. Rev. Control., 2003)

A Proposition for Risk Analysis in Manufacturing and Enterprise Modeling. - Vincent Chapurlat; Jacky Montmain; Djamel Gharbi (ICEIMT/DIISM, 2004)

Control Architecture for Reconfigurable Manufacturing Systems: the PABADIS'PROMISE approach. - Luca Ferrarini; Carlo Veber; Arndt Lüder; Jörn Peschke; Athanasios P. Kalogeras; John V. Gialelis; J. Rode; Daniela Wünsch; Vincent Chapurlat (ETFA, 2006)

How to Detect Risks with a Formal Approach? From Property Specification to Risk Emergence. - Vincent Chapurlat; Saber Aloui (MSVVEIS, 2006)

A formal verification framework and associated tools for Enterprise Modeling: Application to UEML. - Vincent Chapurlat; Bernard Kamsu-Foguem; François Prunet (Comput. Ind., 2006)

Éditorial. - Khalid Benali; Vincent Chapurlat (Ingénierie des Systèmes d Inf., 2006)

Enterprise modelling and verification approach for characterizing and checking organizational interoperability. - Bruno Vallespir; Vincent Chapurlat (ETFA, 2007)

Building and validating a Manufacturing Ontology to achieve Interoperability. - Vincent Chapurlat; Daniel Diep; Athanasios P. Kalogeras; John V. Gialelis (IESA, 2007)

Interoperability of Information Systems in Crisis Management: Crisis Modeling and Metamodeling. - Sébastien Truptil; Frédérick Bénaben; Pierre Couget; Matthieu Lauras; Vincent Chapurlat; Hervé Pingaud (IESA, 2008)

A Collaborative Information System Architecture for Process-Based Crisis Management. - Omar Tahir; Eric Andonoff; Chihab Hanachi; Christophe Sibertin-Blanc; Frédérick Bénaben; Vincent Chapurlat; Thomas Lambolais (KES (3), 2008)

Verification, Validation, Qualification, Certification and Enterprise Modelling: Requirements, Statements and Opportunities. - Vincent Chapurlat (MSVVEIS, 2008)

Verification, validation, qualification and certification of enterprise models: Statements and opportunities. - Vincent Chapurlat; C. Braesch (Comput. Ind., 2008)

An Anticipative Effects-Driven Approach for Analyzing Interoperability in Collaborative Processes. - Nicolas Daclin; Vincent Chapurlat (PRO-VE, 2009)

Interoperability in Collaborative Processes: Requirements Characterisation and Proof Approach. - Matthieu Roque; Vincent Chapurlat (PRO-VE, 2009)

Interoperability Constraints and Requirements Formal Modelling and Checking Framework. - Vincent Chapurlat; Matthieu Roque (APMS, 2009)

Towards a Conceptualisation of Interoperability Requirements. - Sihem Mallek; Nicolas Daclin; Vincent Chapurlat (I-ESA, 2010)

Mediation Information System Engineering for Interoperability Support in Crisis Management. - Sébastien Truptil; Frédérick Bénaben; Nicolas Salatgé; Chihab Hanachi; Vincent Chapurlat; Jean-Paul Pignon; Hervé Pingaud (I-ESA, 2010)

Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs. - Sihem Mallek; Nicolas Daclin; Vincent Chapurlat (Ingénierie des Systèmes d Inf., 2010)

Mixing Systems Engineering and Enterprise Modelling Principles to Formalize a SE Processes Deployment Approach in Industry. - Clémentine Cornu; Vincent Chapurlat; Bernard Chiavassa; François Irigoin (CSDM, 2011)

A Model based Systems Engineering Processes Deployment Framework. - Clémentine Cornu; Bernard Chiavassa; Vincent Chapurlat; François Irigoin (ICSOFT (1), 2011)

An Approach for Interoperability Requirements Specification and Verification. - Sihem Mallek; Nicolas Daclin; Vincent Chapurlat (IWEI, 2011)

Customizable Interoperability Assessment Methodology to support technical processes deployment in large companies. - Clémentine Cornu; Vincent Chapurlat; Jean-Marc Quiot; François Irigoin (Annu. Rev. Control., 2012)

The application of interoperability requirement specification and verification to collaborative processes in industry. - Sihem Mallek; Nicolas Daclin; Vincent Chapurlat (Comput. Ind., 2012)

A proposed meta-model for formalizing systems engineering knowledge, based on functional architectural patterns. - François Pfister; Vincent Chapurlat; Marianne Huchard; Clémentine Nebut; J.-L. Wippler (Syst. Eng., 2012)

Proposition of a guide for investigating, modeling and analyzing system operating modes: OMAG. - Vincent Chapurlat; Nicolas Daclin (CSDM (Posters), 2013)

UPSL-SE: A model verification framework for Systems Engineering. - Vincent Chapurlat (Comput. Ind., 2013)

A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics. - Blazo Nastov; Vincent Chapurlat; Christophe Dony; François Pfister (CSDM, 2014)

Modeling Frameworks, Methods and Languages for Computerizing Small and Medium-Sized Enterprises: Review and Proposal. - Nawel Amokrane; Vincent Chapurlat; Anne-Lise Courbis; Thomas Lambolais; Mohssine Rahhou (I-ESA, 2014)

System of Systems Design Verification: Problematic, Trends and Opportunities. - Mustapha Bilal; Nicolas Daclin; Vincent Chapurlat (I-ESA, 2014)

Collaborative Networked Organizations as System of Systems: A Model-Based Engineering Approach. - Mustapha Bilal; Nicolas Daclin; Vincent Chapurlat (PRO-VE, 2014)

From Model Based Systems Engineering to Model Based System Realization: Role and Relevance of IVTV Plan. - Vincent Chapurlat; Eric Bonjour (APMS (1), 2014)

System of Systems Architecting: A Behavioural and Properties Based Approach for SoS "-ilities" Modelling and Analysis. - Vincent Chapurlat; Nicolas Daclin (PRO-VE, 2015)

Interoperability as a Key Concept for the Control and Evolution of the System of Systems (SoS). - Stéphane Billaud; Nicolas Daclin; Vincent Chapurlat (IWEI, 2015)

An Interface Pattern Model for Supporting Design of Natively Interoperable Systems. - Vincent Chapurlat; Nicolas Daclin; Stéphane Billaud (IWEI, 2015)

Enabling model checking for collaborative process analysis: from BPMN to 'Network of Timed Automata'. - Sihem Mallek; Nicolas Daclin; Vincent Chapurlat; Bruno Vallespir (Enterp. Inf. Syst., 2015)

Towards Semantical DSMLs for Complex or Cyber-physical Systems. - Blazo Nastov; Vincent Chapurlat; Christophe Dony; François Pfister (ENASE, 2016)

Writing and verifying interoperability requirements: Application to collaborative processes. - Nicolas Daclin; Sihem Mallek-Daclin; Vincent Chapurlat; Bruno Vallespir (Comput. Ind., 2016)

Formalization and Evaluation of Non-functional Requirements: Application to Resilience. - Behrang Moradi; Nicolas Daclin; Vincent Chapurlat (PRO-VE, 2018)

Towards a Model-Based Method for Resilient Critical Infrastructure Engineering How to model Critical Infrastructures and evaluate its Resilience? : How to model Critical Infrastructures and evaluate its Resilience? - Vincent Chapurlat; Nicolas Daclin; Aurelia Bonydandrieux; Jérôme Tixier; Daouda Kamissoko; Frédérick Bénaben; Blazo Nastov (SoSE, 2018)

Towards a contribution to the early V&V and evaluation of architectural solutions for Nuclear Infrastructures project delivery. - Jérémy Bourdon; Pierre Couturier; Vincent Chapurlat; Robert Plana; Victor Richet; Benjamin Baudouin (ETFA, 2020)

Deploying MBSE in SME context: revisiting and equipping Digital Mock-Up. - Vincent Chapurlat; Blazo Nastov (ISSE, 2020)

A contribution to Commissioning as enabler of nuclear infrastructure delivery: Tests and trials program elaboration and management. - Alan Gaignebet; Vincent Chapurlat; Gregory Zacharewicz; Victor Richet; Robert Plana (ISSE, 2020)

Collaborative Safety Requirements Engineering: An Approach for Modelling and Assessment of Nuclear Safety Requirements in MBSE Context. - Emir Roumili; Jean-François Bossu; Vincent Chapurlat; Nicolas Daclin; Robert Plana; Jérôme Tixier (PRO-VE, 2021)

An Improved Decision Support Method for Resilience Assessment Based on Multi-Viewpoint Modeling and Functional Analysis of Interconnected Systems. - Blazo Nastov; Daouda Kamisoko; Vincent Chapurlat (Int. J. Decis. Support Syst. Technol., 2021)

An approach for ontology-based research and recommendation on systems engineering projects. - Mouna El Alaoui; Vincent Chapurlat; S. Rabah; Victor Richet; Robert Plana (KES, 2023)

A proposal for system of systems organization and governance: application to a Depollution Network. - Mayssa Chebbi; Vincent Chapurlat; Jean-Samuel. Wienin; Laurent Aprin; Philippe Girones (SoSE, 2023)

Design, Development and Maintenance of a Digital Twin of vitrification process: a methodological contribution. - G. Galand; S. Rabah; Vincent Chapurlat; Caroline Chabal; Alain Ledoux (CoDIT, 2024)

Farming Success: Using Digital Twin Modeling to Assist Smallholders in Decision-Making. - Manuella Germanos; Sihem Mallek-Daclin; Mariane El Kassis; Oussama Ben-Ammar; Nicolas Daclin; Souad Rabah-Chaniour; Vincent Chapurlat; François Trousset; Gregory Zacharewicz (ICE/ITMC, 2024)

Model-based architecting evaluation method for the delivery of complex nuclear projects. - Jérémy Bourdon; Pierre Couturier; Vincent Chapurlat; Robert Plana; Victor Richet; Benjamin Baudouin (Syst. Eng., 2024)