Vincent Chapurlat

Affiliations:
  • Ecole des Mines d'Alès, Nîmes, France


According to our database1, Vincent Chapurlat authored at least 51 papers between 1995 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Model-based architecting evaluation method for the delivery of complex nuclear projects.
Syst. Eng., January, 2024

2023
A proposal for system of systems organization and governance: application to a Depollution Network.
Proceedings of the 18th Annual System of Systems Engineering Conference, 2023

An approach for ontology-based research and recommendation on systems engineering projects.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023

2021
An Improved Decision Support Method for Resilience Assessment Based on Multi-Viewpoint Modeling and Functional Analysis of Interconnected Systems.
Int. J. Decis. Support Syst. Technol., 2021

Collaborative Safety Requirements Engineering: An Approach for Modelling and Assessment of Nuclear Safety Requirements in MBSE Context.
Proceedings of the Smart and Sustainable Collaborative Networks 4.0, 2021

2020
A contribution to Commissioning as enabler of nuclear infrastructure delivery: Tests and trials program elaboration and management.
Proceedings of the IEEE International Symposium on Systems Engineering, 2020

Deploying MBSE in SME context: revisiting and equipping Digital Mock-Up.
Proceedings of the IEEE International Symposium on Systems Engineering, 2020

Towards a contribution to the early V&V and evaluation of architectural solutions for Nuclear Infrastructures project delivery.
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

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?
Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018

Formalization and Evaluation of Non-functional Requirements: Application to Resilience.
Proceedings of the Collaborative Networks of Cognitive Systems, 2018

2016
Writing and verifying interoperability requirements: Application to collaborative processes.
Comput. Ind., 2016

Towards Semantical DSMLs for Complex or Cyber-physical Systems.
Proceedings of the ENASE 2016, 2016

2015
Enabling model checking for collaborative process analysis: from BPMN to 'Network of Timed Automata'.
Enterp. Inf. Syst., 2015

An Interface Pattern Model for Supporting Design of Natively Interoperable Systems.
Proceedings of the Enterprise Interoperability - 6th International IFIP Working Conference, 2015

Interoperability as a Key Concept for the Control and Evolution of the System of Systems (SoS).
Proceedings of the Enterprise Interoperability - 6th International IFIP Working Conference, 2015

System of Systems Architecting: A Behavioural and Properties Based Approach for SoS "-ilities" Modelling and Analysis.
Proceedings of the Risks and Resilience of Collaborative Networks, 2015

2014
From Model Based Systems Engineering to Model Based System Realization: Role and Relevance of IVTV Plan.
Proceedings of the Advances in Production Management Systems. Innovative and Knowledge-Based Production Management in a Global-Local World, 2014

Collaborative Networked Organizations as System of Systems: A Model-Based Engineering Approach.
Proceedings of the Collaborative Systems for Smart Networked Environments, 2014

System of Systems Design Verification: Problematic, Trends and Opportunities.
Proceedings of the Enterprise Interoperability VI: Interoperability for Agility, 2014

Modeling Frameworks, Methods and Languages for Computerizing Small and Medium-Sized Enterprises: Review and Proposal.
Proceedings of the Enterprise Interoperability VI: Interoperability for Agility, 2014

A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics.
Proceedings of the Complex Systems Design & Management, 2014

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

Proposition of a guide for investigating, modeling and analyzing system operating modes: OMAG.
Proceedings of the Poster Workshop at the 2013 Complex Systems Design and Management Conference (CSDM 2013), Paris, France,, 2013

2012
A proposed meta-model for formalizing systems engineering knowledge, based on functional architectural patterns.
Syst. Eng., 2012

The application of interoperability requirement specification and verification to collaborative processes in industry.
Comput. Ind., 2012

Customizable Interoperability Assessment Methodology to support technical processes deployment in large companies.
Annu. Rev. Control., 2012

2011
An Approach for Interoperability Requirements Specification and Verification.
Proceedings of the Enterprise Interoperability, 2011

A Model based Systems Engineering Processes Deployment Framework.
Proceedings of the ICSOFT 2011, 2011

Mixing Systems Engineering and Enterprise Modelling Principles to Formalize a SE Processes Deployment Approach in Industry.
Proceedings of the Complex Systems Design & Management, 2011

2010
Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs.
Ingénierie des Systèmes d Inf., 2010

Mediation Information System Engineering for Interoperability Support in Crisis Management.
Proceedings of the Enterprise Interoperability IV, 2010

Towards a Conceptualisation of Interoperability Requirements.
Proceedings of the Enterprise Interoperability IV, 2010

2009
Interoperability Constraints and Requirements Formal Modelling and Checking Framework.
Proceedings of the Advances in Production Management Systems. New Challenges, New Approaches, 2009

Interoperability in Collaborative Processes: Requirements Characterisation and Proof Approach.
Proceedings of the Leveraging Knowledge for Innovation in Collaborative Networks, 2009

An Anticipative Effects-Driven Approach for Analyzing Interoperability in Collaborative Processes.
Proceedings of the Leveraging Knowledge for Innovation in Collaborative Networks, 2009

2008
Verification, validation, qualification and certification of enterprise models: Statements and opportunities.
Comput. Ind., 2008

Verification, Validation, Qualification, Certification and Enterprise Modelling: Requirements, Statements and Opportunities.
Proceedings of the Modelling, 2008

A Collaborative Information System Architecture for Process-Based Crisis Management.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2008

Interoperability of Information Systems in Crisis Management: Crisis Modeling and Metamodeling.
Proceedings of the Enterprise Interoperability III, 2008

2007
Building and validating a Manufacturing Ontology to achieve Interoperability.
Proceedings of the Enterprise Interoperability II, 2007

Enterprise modelling and verification approach for characterizing and checking organizational interoperability.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

2006
Éditorial.
Ingénierie des Systèmes d Inf., 2006

A formal verification framework and associated tools for Enterprise Modeling: Application to UEML.
Comput. Ind., 2006

How to Detect Risks with a Formal Approach? From Property Specification to Risk Emergence.
Proceedings of the Modelling, 2006

Control Architecture for Reconfigurable Manufacturing Systems: the PABADIS'PROMISE approach.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

2004
A Proposition for Risk Analysis in Manufacturing and Enterprise Modeling.
Proceedings of the Knowledge Sharing in the Integrated Enterprise, 2004

2003
Enterprise model verification and validation: an approach.
Annu. Rev. Control., 2003

1999
Simplification of Proof Procedures Based on the Path Condition Concepts.
Proceedings of the Computer Aided Systems Theory - EUROCAST'99, Vienna, Austria, September 29, 1999

1998
User defined multi-criteria added-value for enterprise processes analysis.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997
Formal Representation and Proof of the Interpreted Sequential Machine Model.
Proceedings of the Computer Aided Systems Theory, 1997

1995
Temporal and Functional Verification of a Symbolic Representation of Complex Systems.
Proceedings of the Computer Aided Systems Theory, 1995


  Loading...