Vincent Chapurlat

发表

Enterprise model verification and validation: an approach

Bernard Kamsu-Foguem, François Prunet, Vincent Chapurlat, 2009, Annu. Rev. Control..

LINKING INTEROPERABILITY AND RISK ASSESSMENT: A METHODOLOGICAL APPROACH FOR SOCIO-TECHNICAL SYSTEMS

Vincent Chapurlat, Saber Aloui, Jean-Michel Penalva, 2006 .

Towards system verification: Adding meaning to models

François Pfister, Christophe Dony, Vincent Chapurlat, 2014 .

Towards a method to deploy systems engineering processes within companies

François Irigoin, Vincent Chapurlat, Clémentine Cornu, 2010 .

Formalization and Evaluation of Non-functional Requirements: Application to Resilience

Nicolas Daclin, Behrang Moradi, Vincent Chapurlat, 2018, PRO-VE.

Contribution à l'interopérabilité en Ingénierie des Systèmes

Clémentine Nebut, Marianne Huchard, François Pfister, 2010 .

Enabling model checking for collaborative process analysis: from BPMN to ‘Network of Timed Automata’

Bruno Vallespir, Nicolas Daclin, Vincent Chapurlat, 2015, Enterp. Inf. Syst..

1.6.1 xFFBD: towards a formal yet functional modeling language for system designers

Jean-Luc Wippler, Charlotte Seidner, Stéphanie Lizy-Destrez, 2012 .

A Model‐Based Approach to Design, Organize, and Monitor Dismantling and Decommissioning of Nuclear Facilities

Vincent Chapurlat, Maxence Lafon, Jean‐François Milot, 2019 .

Simplification of Proof Procedures Based on the Path Condition Concepts

Vincent Chapurlat, Janine Magnier, Mireille Larnac, 1999, EUROCAST.

Proposition of a guide for investigating, modeling and analyzing system operating modes: OMAG

Nicolas Daclin, Vincent Chapurlat, 2013, CSDM.

A Design Pattern meta model for Systems Engineering

Clémentine Nebut, Marianne Huchard, François Pfister, 2011 .

An MBSE Approach to Pass from Requirements to Functional Architecture

Lori Lemazurier, Vincent Chapurlat, Alain Grossetete, 2017 .

Designing Natively Interoperable Complex Systems: An Interface Design Pattern Proposal

Nicolas Daclin, Vincent Chapurlat, 2017 .

MBSE and V&V: a tool-equipped method for combining various V&V strategies

François Pfister, Christophe Dony, Vincent Chapurlat, 2017 .

Verification, Validation, Qualification, Certification and Enterprise Modelling: Requirements, Statements and Opportunities

Vincent Chapurlat, 2008, MSVVEIS.

Enterprise modelling and verification approach for characterizing and checking organizational interoperability

Bruno Vallespir, Vincent Chapurlat, 2007, 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2007).

Enterprise Model Verification : A Graph-Based Approach

Bernard Kamsu-Foguem, François Prunet, Vincent Chapurlat, 2008 .

Interoperability of Information Systems in Crisis Management: Crisis Modeling and Metamodeling

Hervé Pingaud, Frédérick Bénaben, Matthieu Lauras, 2008, IESA.

A Design Pattern Metamodel and Use Mechanisms for Systems Engineering

Clémentine Nebut, Jean-Luc Wippler, Marianne Huchard, 2011 .

Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs

Nicolas Daclin, Vincent Chapurlat, Sihem Mallek-Daclin, 2010, Ingénierie des Systèmes d Inf..

SYSTEM ENGINEERING AND RISK ASSESSMENT IN COMPLEX ORGANIZATION: APPLICATION TO HEALTH CARE ORGANIZATIONS

Vincent Chapurlat, Saber Aloui, 2009 .

Requirements formalization for systems engineering: an approach for interoperability analysis in collaborative process model

Bruno Vallespir, Nicolas Daclin, Vincent Chapurlat, 2014 .

Mediation Information System Engineering for Interoperability Support in Crisis Management

Nicolas Salatgé, Hervé Pingaud, Frédérick Bénaben, 2010, I-ESA.

An Interface Pattern Model for Supporting Design of Natively Interoperable Systems

Nicolas Daclin, Vincent Chapurlat, Stéphane Billaud, 2015, IWEI.

Application of an Enterprise Modelling approach to deploy Systems Engineering processes in large organizations

François Irigoin, Vincent Chapurlat, Clémentine Cornu, 2012 .

A formal verification framework and associated tools for Enterprise Modeling: Application to UEML

Bernard Kamsu-Foguem, François Prunet, Vincent Chapurlat, 2006, Comput. Ind..

Interoperability in Collaborative Processes: Requirements Characterisation and Proof Approach

Vincent Chapurlat, Matthieu Roque, 2009, PRO-VE.

CONSTRUCTION OF CHANGE TRAJECTORIES FOR MANUFACTURING ENTERPRISE

Didier Crestani, Vincent Chapurlat, Yousra Ben Zaïda, 2007 .

Verification, Validation and Accreditation of Enterprise Models

Vincent Chapurlat, Christian Braesch, 2006 .

Resilience of Interconnected Infrastructures and Systems: The RESIIST Project

Alexis Muller, Frédérick Bénaben, Nicolas Daclin, 2019 .

Integrated and Reactive Part Routing Policies for Manufacturing Systems

Vincent Chapurlat, Janine Magnier, Mireille Larnac, 1997 .

Mixing Systems Engineering and Enterprise Modelling Principles to Formalize a SE Processes Deployment Approach in Industry

François Irigoin, Vincent Chapurlat, Clémentine Cornu, 2011, CSDM.

A light-weight annotation-based solution to design Domain Specific Graphical Modeling Languages

Clémentine Nebut, Marianne Huchard, François Pfister, 2013 .

Complex System Properties Representation and Reasoning by Using the Conceptual Graphs

Bernard Kamsu-Foguem, François Prunet, Vincent Chapurlat, 2008 .

Temporal logics for analyzing the behavior of systems

Vincent Chapurlat, Janine Magnier, Mireille Larnac, 2008 .

Enterprise Integration and Networking: challenges and trends

Arturo Molina, Lawrence E. Whitman, Hervé Panetto, 2007 .

xFFBD : towards a formal yet simple and complete functional modeling technique for system designers

Jean-Luc Wippler, Charlotte Seidner, Stéphanie Lizy-Destrez, 2012 .

A Metamodel and its Ontology to Guide Crisis Characterization and its Collaborative Management

Frédérick Bénaben, Chihab Hanachi, Matthieu Lauras, 2009 .

A proposed meta‐model for formalizing systems engineering knowledge, based on functional architectural patterns

Clémentine Nebut, J.-L. Wippler, Marianne Huchard, 2012, Syst. Eng..

From Model Based Systems Engineering to Model Based System Realization: Role and Relevance of IVTV Plan

Eric Bonjour, Vincent Chapurlat, 2014, APMS.

Requirements Authoring and Verification for SMEs’ Information Systems Engineering

Thomas Lambolais, Anne-Lise Courbis, Vincent Chapurlat, 2015 .

An Anticipative Effects-Driven Approach for Analyzing Interoperability in Collaborative Processes

Nicolas Daclin, Vincent Chapurlat, 2009, PRO-VE.

The application of interoperability requirement specification and verification to collaborative processes in industry

Nicolas Daclin, Vincent Chapurlat, Sihem Mallek-Daclin, 2012, Comput. Ind..

Customizable Interoperability Assessment Methodology to support technical processes deployment in large companies

François Irigoin, Vincent Chapurlat, Clémentine Cornu, 2012, Annu. Rev. Control..

Analysis and formal verification of Grafcet (FCCS) using interpreted sequential machine

Vincent Chapurlat, Mireille Larnac, G. Dray, 1996 .

Requirements modelling and formal analysis using graph operations

Bernard Kamsu-Foguem, Vincent Chapurlat, V. Chapurlat, 2006 .

System interoperability: definition and proposition of interface model in MBSE Context

Nicolas Daclin, Vincent Chapurlat, 2012 .

Formalisation and verification of interoperation requirements on collaborative processes

Nicolas Daclin, Vincent Chapurlat, Sihem Mallek, 2011 .

A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics

François Pfister, Christophe Dony, Vincent Chapurlat, 2014, CSDM.

L'Intégration en Modélisation d'Entreprise : Les Chemins d'U.E.M.L.

Bruno Vallespir, Didier Crestani, Vincent Chapurlat, 2003 .

Collaborative Networked Organizations as System of Systems: A Model-Based Engineering Approach

Nicolas Daclin, Vincent Chapurlat, Mustapha Bilal, 2014, PRO-VE.

Writing and verifying interoperability requirements: Application to collaborative processes

Bruno Vallespir, Nicolas Daclin, Vincent Chapurlat, 2016, Comput. Ind..

Temporal and Functional Verification of a Symbolic Representation of Complex Systems

Gérard Dray, Vincent Chapurlat, Janine Magnier, 1995, EUROCAST.

System Engineering and enterprise modelling for risks management: application to the drug circuit in a university hospital

Vincent Chapurlat, Saber Aloui, Jean-Michel Penalva, 2007 .

Enterprise Interoperability: 6th International IFIP Working Conference, IWEI 2015, Nmes, France, May 28-29, 2015, Proceedings

Marten van Sinderen, Vincent Chapurlat, 2015 .

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?

Frédérick Bénaben, Nicolas Daclin, Daouda Kamissoko, 2018, 2018 13th Annual Conference on System of Systems Engineering (SoSE).

Interoperability Constraints and Requirements Formal Modelling and Checking Framework

Vincent Chapurlat, Matthieu Roque, V. Chapurlat, 2009, APMS.

A verification approach applied for analyzing collaborative processes: the Anticipative Effects-Driven Approach

Frédérick Bénaben, Nicolas Daclin, Vincent Chapurlat, 2009 .

How to Detect Risks with a Formal Approach? From Property Specification to Risk Emergence

Vincent Chapurlat, Saber Aloui, V. Chapurlat, 2006, MSVVEIS.

Tracking the consequences of design decisions in mechatronic Systems Engineering

Abdelhak Imoussaten, Jacky Montmain, Vincent Chapurlat, 2014 .

UPSL-SE: A model verification framework for Systems Engineering

Vincent Chapurlat, 2013, Comput. Ind..

Modelling and Analysis of Complex Industrial Systems

Didier Crestani, François Prunet, Vincent Chapurlat, 1997 .

An Anticipative Effects Driven Approach for crisis management process analysis

Nicolas Daclin, Vincent Chapurlat, 2009 .

Towards Semantical DSMLs for Complex or Cyber-physical Systems

François Pfister, Christophe Dony, Vincent Chapurlat, 2016, ENASE.

An approach for evaluating enterprise organizational interoperability based on enterprise model checking techniques

Bruno Vallespir, Hervé Pingaud, Vincent Chapurlat, 2008 .

A method for Critical Infrastructure Resilience Engineering: The MAIIEUTIC project

Frédérick Bénaben, Nicolas Daclin, Daouda Kamissoko, 2016 .

Towards a Conceptualisation of Interoperability Requirements

Nicolas Daclin, Vincent Chapurlat, Sihem Mallek-Daclin, 2010, I-ESA.

A Proposition for Risk Analysis in Manufacturing and Enterprise Modeling

Jacky Montmain, Vincent Chapurlat, Djamel Gharbi, 2004, ICEIMT/DIISM.

Formal Representation and Proof of the Interpreted Sequential Machine Model

Vincent Chapurlat, Janine Magnier, Mireille Larnac, 1997, EUROCAST.

A Decision Support System for resilience based on functionality analysis of interconnected systems

Nicolas Daclin, Daouda Kamissoko, Vincent Chapurlat, 2019 .

Temporal proof of the behavior of sequential machines

Vincent Chapurlat, Janine Magnier, Mireille Larnac, 1997, Proceedings Intelligent Information Systems. IIS'97.

Verification, validation, qualification and certification of enterprise models: Statements and opportunities

Vincent Chapurlat, C. Braesch, V. Chapurlat, 2008, Comput. Ind..

Linking interoperability and risk assessment

Vincent Chapurlat, Saber Aloui, Jean-Michel Penalva, 2006 .

MODELISATION ET ANALYSE FORMELLE DES SYSTEMES LA MODELISATION D'ENTREPRISE. COMPLEXES AVEC LES GRAPHES CONCEPTUELS : APPLICATION A

Vincent Chapurlat, FranGois Prunet, 2003 .

Interoperability Assessment in the Deployment of Technical Processes in Industry

François Irigoin, Vincent Chapurlat, Jean-Marc Quiot, 2012 .

Analyzing Interoperability in a Non-functional Requirements Ecosystem to Support Crisis Management Response

Nicolas Daclin, Behrang Moradi, Vincent Chapurlat, 2018 .

Evaluating Alternatives for Designing Mechatronic Systems in a Systems Engineering Context

Vincent Chapurlat, Pierre Couturier, Mambaye Lo, 2013 .

User defined multi-criteria added-value for enterprise processes analysis

Didier Crestani, François Prunet, Vincent Chapurlat, 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

A TOOLED APPROACH FOR DESIGNING EXECUTABLE AND VERIFIABLE MODELING LANGUAGES

François Pfister, Christophe Dony, Vincent Chapurlat, 2015 .

A property reference model and associated tools for system life-cycle management

Bernard Kamsu-Foguem, François Prunet, Vincent Chapurlat, 2008 .

System of Systems Architecting: A Behavioural and Properties Based Approach for SoS "-ilities" Modelling and Analysis

Nicolas Daclin, Vincent Chapurlat, 2015, PRO-VE.

A notation to measure and improve efficiency with regards to Integration, Validation and Verification of systems - Integration Verification Validation Assessment Notation (IV²AN)

Vincent Chapurlat, David Gouyon, Jean-Marc Quiot, 2009 .

Towards V&V suitable Domain Specific Modeling Languages for MBSE: A tooled approach

François Pfister, Christophe Dony, Vincent Chapurlat, 2016 .

THE ISM: A FORMAL TOOL FOR MODELLING AND VERIFICATION

Vincent Chapurlat, Janine Magnier, Mireille Larnac, 1998 .

System of Systems Design Verification: Problematic, Trends and Opportunities

Nicolas Daclin, Vincent Chapurlat, Mustapha Bilal, 2014, I-ESA.

A Collaborative Information System Architecture for Process-Based Crisis Management

Eric Andonoff, Frédérick Bénaben, Thomas Lambolais, 2008, KES.

A Model based Systems Engineering Processes Deployment Framework

François Irigoin, Vincent Chapurlat, Clémentine Cornu, 2011, ICSOFT.

Building and validating a Manufacturing Ontology to achieve Interoperability

John V. Gialelis, Athanasios P. Kalogeras, Vincent Chapurlat, 2007, IESA.

An Approach for Interoperability Requirements Specification and Verification

Nicolas Daclin, Vincent Chapurlat, Sihem Mallek-Daclin, 2011, IWEI.

Analysing eco-system of ilities for resilience evaluation in system of systems

Nicolas Daclin, Vincent Chapurlat, Behrang Moradi Koutchi, 2018 .

An Improved Decision Support Method for Resilience Assessment Based on Multi-Viewpoint Modeling and Functional Analysis of Interconnected Systems

Vincent Chapurlat, Blazho Nastov, Daouda Kamisoko, 2021, Int. J. Decis. Support Syst. Technol..

Collaborative Safety Requirements Engineering: An Approach for Modelling and Assessment of Nuclear Safety Requirements in MBSE Context

Nicolas Daclin, Vincent Chapurlat, Jérôme Tixier, 2021, PRO-VE.

Extended temporal proof of properties using the interpreted sequential machine model

Vincent Chapurlat, Janine Magnier, Mireille Larnac, 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).

Interoperability as a Key Concept for the Control and Evolution of the System of Systems (SoS)

Nicolas Daclin, Vincent Chapurlat, Stéphane Billaud, 2015, IWEI.