Vincent Chapurlat
Vincent CHAPURLAT - CV
171
Documents
Current affiliations
- 579051
Researcher identifiers
vincent-chapurlat
-
0000-0001-8513-9471
- IdRef : 106944231
Presentation
**Vincent CHAPURLAT**
*Professor IMT Mines Alès*
*Deputy director of Laboratory of Sciences of Risk (LSR)*
*Head of ISOAR research team (Ingénierie des Systèmes et des Organisations pour les Activitiés à Risques) from CERIS (Centre d'Enseignement et de Recherche en Informatique et Systèmes)
*Skills: Systems, Systems Engineering, System Engineering, Model Based System Engineering, Modeling of complex systems and systems of systems, Verification, Validation (model / model federation / system), Proof, Early V&V, IVTV
*Key words*: Complex Systems / Systems of systems / Critical Infrastructures, system properties modelling and checking, model verification and validation, properties proof, transformation and federation of models for simulation, models federation and composition, Digital Mock-up vs. Digital Twins of complex systems, properties evaluation, interoperability, resilience, Industrial Deployment of methods in industrial context
Risk Sciences Laboratory (LSR)
Room M124
IMT Mines Alès, Louis Leprince-Ringuet site (Croupillac)
7, rue Jules Renard
30100 Alès - France
[Vincent.Chapurlat@mines-ales.fr ](mailto:Vincent.Chapurlat@mines-ales.fr)
*Tel.: (+33) 434 246 287*
*Mob: (+33) 622 237 993*
**Themes**
- Systemic, Complex System, System of Systems (Critical Infrastructure)
- Modelling, Verification and Validation for Model Based Systems Engineering (MBSE)
1. Executable, verifiable and interoperable business modelling languages (DSML: Domain Specific Modelling Languages) for MBSE (multi-view and multi-paradigm)
2. Heterogeneous model federation mechanisms based on DSML interoperability (syntactic, concrete, pragmatic), Digital Mockup vs. Digital Twin
3. Unified Property Specification Language (UPSL) for modelling, proving and evaluating non-functional properties (models / systems / axiomatic)
4. Methods for system modelling (multi-view, multi-language and multi-paradigm) including V&V of models and V&V of systems
5. Proof and Simulation approach (federation, Multi-Agent System)
6. Development of the Digital Mock-up (federative approach) for the deployment of the MBSE in SMEs
7. Digital Mock-up Transformation / Digital Twin
**Key facts**
1\. Head of the CIME Industrial Chair (Critical Infrastructure Model based system Engineering) in collaboration with ASSYSTEM Group
2\. More than 20 supervised theses (including 7 CIFRE PhD)
3\. More than 160 publications
**Applications**
1\. European projects (PABADIS-Promise, MESIMA, REHSTRAIN)
2\. National projects (ANR ISYCRI, ANR COREGI, CARNOT MAIIEUTIC, ANR RESIIST)
3\. Other projects in collaboration with industry (THALES AER&D Road Map, Naval Group, CEA, AREVA, Airbus, Airbus Helicopters...)
**Diverse**
1\. Vice President Education and Research of the French Association of Systems Engineering (AFIS), French Chapter of INCOSE (INternational Council on Systems Engineering) 2019-2021
2\. Representative of ITM on the Board of Directors of AFIS
3\. Member and representative of the IMT Mines Alès "Production Systems" theme
4\. Representative of IMT Mines Alès in the AdOCC WG Intelligent Systems and Digital Data Chain
5\. Co-leader of the Technical Committee (TC) "Safety, Validation and Security of Systems" (TC SV2S) and member of the AFIS TC "Research and Innovation in Systems Engineering".
6\. Member of IFIP WG 5.8 “Enterprise Architecture and Interoperability”
7. Member of scientific and organisational committees of international conferences (IWEI, IFAC world congress, INCOSE SE, SysCon, INCOM, EI2N, I-ESA, CESA, ETFA, PROVE, CSDM, CSER, PRO-VE, ...)
8. Journal reviewer (IEEE SMC, IJPR, Computers in Industry, Enterprise Information Systems, IEEE Systems Engineering INCOSE, ...)
Research domains
Computer Aided Engineering
Computational Complexity [cs.CC]
Modeling and Simulation
Systems and Control [cs.SY]
Publications
- 19
- 11
- 10
- 9
- 9
- 8
- 8
- 7
- 5
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
A systemic, model and data-based method for depollution projects engineering and managementWM2023 Conference, Feb 2023, Phoenix, United States
Conference papers
hal-04168094v1
|
A Systemic, Model and Data-Based Method for Depollution Projects Engineering and ManagementWM Symposia 2023 - “Planning for the Future: Innovation, Transformation, Sustainability.”, Feb 2023, Phoenix, Arizona, United States
Conference papers
hal-04180205v1
|
|
A proposal for system of systems organization and governance: application to a Depollution NetworkSoSe 2023 - 18th Annual System of Systems Engineering Conference, Jun 2023, Lille, France. pp.1-7, ⟨10.1109/SoSE59841.2023.10178566⟩
Conference papers
hal-04166651v1
|
|
|
Digital Twin for Services (DT4S): Conceptual Strategy10th IFAC Conference on Manufacturing Modelling, Management and Control (MIM) 2022, IMT Atlantique, Nantes, Jun 2022, Nantes, France. pp.3256-3261, ⟨10.1016/j.ifacol.2022.10.136⟩
Conference papers
hal-03834868v1
|
|
Document to model transition for architecture evaluation approach: Application to a nuclear infrastructure project10th IFAC Conference on Manufacturing Modelling, Management and Control (MIM) 2022, IMT Atlantique, Nantes, Jun 2022, Nantes, France. pp.3250-3255, ⟨10.1016/j.ifacol.2022.10.137⟩
Conference papers
hal-03834881v1
|
A conceptual, methodological and technical contribution for modeling and V&V in MBSE contextISSE 2022 - 8th IEEE International Symposium on Systems Engineering, Oct 2022, Vienne, Austria. ⟨10.1109/ISSE54508.2022.10005444⟩
Conference papers
hal-03867657v1
|
|
|
An original Data, Information and Knowledge management approach for model-based engineering projects10th IFAC Conference on Manufacturing Modelling, Management and Control (MIM) 2022, IMT Atlantique, Nantes, Jun 2022, Nantes, France. pp.3262-3267, ⟨10.1016/j.ifacol.2022.10.135⟩
Conference papers
hal-03834889v1
|
|
An innovative approach for ongoing assessment of critical infrastructures’ resilience based on a nonfunctional requirement ecosystemESREL 2021 - 31st European Safety and Reliability Conference, Sep 2021, Angers, France. pp.3425-3432, ⟨10.3850/978-981-18-2016-8_377-cd⟩
Conference papers
hal-03451706v1
|
Crisis management training: implementation of a simulation exercise based on repetition of learning sequencesFrench American Innovation Days – Facing the Predictably Unpredictable, May 2021, Online, France
Conference papers
hal-03273706v1
|
|
|
Collaborative Safety Requirements Engineering: An Approach for Modelling and Assessment of Nuclear Safety Requirementsin MBSE Context22nd Working Conference on Virtual Enterprises (PRO-VE 2021), Nov 2021, Saint-Etienne, France. pp.227-236, ⟨10.1007/978-3-030-85969-5_20⟩
Conference papers
emse-03338724v1
|
|
A contribution to Commissioning as enabler of nuclear infrastructure delivery: Tests and trials program elaboration and management6th International Symposium on systems Engineering (ISSE 2020), Oct 2020, Vienne (virtual), Austria. ⟨10.1109/ISSE49799.2020.9272027⟩
Conference papers
hal-02971044v1
|
Apports de l’Ingénierie Système face à certains engagements : collaboration et confianceJournée d'études DCN - Droits et Contentieux du Nucléaire, Oct 2020, Nîmes, France
Conference papers
hal-02965370v1
|
|
|
Formation à la gestion de crise : une contribution à la formation à la prise de décisions stratégiquesCongrès λμ [Lambda Mu] 22 « Les risques au cœur des transitions » (e-congrès) - 22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2020, Le Havre (e-congrès), France
Conference papers
hal-03453633v1
|
Deploying MBSE in SME context : revisiting and equipping Digital Mock-UpIEEE ISSE 2020 - 6th International Symposium on systems Engineering, Oct 2020, Vienna, Austria. ⟨10.1109/ISSE49799.2020.9272230⟩
Conference papers
hal-02965396v1
|
|
|
Crisis management: use of systemic approach for strategic decision-making trainingESREL 2020 - The 30th European Safety and Reliability Conference ; PSAM 15 - 15th Probabilistic Safety Assessment and Management Conference, Nov 2020, Venise, Italy. ⟨10.3850/978-981-14-8593-0_5129-cd⟩
Conference papers
hal-02538360v1
|
Towards a contribution to the early V&V and evaluation of architectural solutions for Nuclear Infrastructures project deliveryEFTA 2020 - 25th IEEE International Conference on Emerging Technologies and Factory Automation, Sep 2020, Vienna, Austria. pp.897-904, ⟨10.1109/ETFA46521.2020.9211990⟩
Conference papers
hal-02964050v1
|
|
Requirements Engineering enabled by Natural Language Processing and Artificial Intelligence for Nuclear Safety DemonstrationCSDM 2020 - Complex System Design and Management 2020, Dec 2020, Paris, France
Conference papers
hal-02974291v1
|
|
|
A Decision Support System for resilience based on functionality analysis of interconnected systemsEmC-ICDSST2019 - 5th International Conference on Decision Support System Technology, May 2019, Madeira, Portugal. pp.20-26
Conference papers
hal-02140134v1
|
|
Resilience of Interconnected Infrastructures and Systems: the RESIIST projectICAT 2019 - 1st International Conference on Applied Technologies, Dec 2019, Quito, Ecuador. p.257-270, ⟨10.1007/978-3-030-42517-3_20⟩
Conference papers
hal-02424790v1
|
Apports du déploiement de l’ingénierie système pour des PME : mutations organisationnelles et transformation numérique9e colloque IMT - Systèmes de production du futur : Quelle ingénierie et quel pilotage pour quelles transformations ?, Oct 2018, Paris, France
Conference papers
hal-02929986v1
|
|
|
The DetD of nuclear facilities a systemic approach for project organization and monitoringWaste Management Symposia 2018, Mar 2018, Phoenix, United States
Conference papers
hal-02417754v1
|
Analysing Interoperability in a Non-Functional Requirements Ecosystem to Support Crisis Management ResponseInteroperability for Enterprise Software and Applications (I-ESA’18) - Workshop ICRIM, Mar 2018, Berlin, Germany
Conference papers
hal-01928301v1
|
|
Déploiement et outillage pour l’Ingénierie Système : Travaux / Retours d’expérience / Compétences9e colloque IMT - Systèmes de production du futur : Quelle ingénierie et quel pilotage pour quelles transformations ? [Session Chaîne numérique et Ingénierie Produit/Process], Oct 2018, Paris, France
Conference papers
hal-02929993v1
|
|
Nuclear Decommissioning: a Systemic Approach adapted to Project DynamicsDismantling Challenges: Industrial Reality, Prospects and Feedback Experience (DEM 2018), Oct 2018, Avignon, France
Conference papers
hal-01930257v1
|
|
The D&D of Nuclear Facilities: A Systemic Approach for Project Organization and Monitoring.Waste Management Symposia 2018, Mar 2018, Phoenix, Arizona, United States
Conference papers
hal-01930261v1
|
|
|
Analysing eco-system of ilities for resilience evaluation in system of systemsConférence Internationalede Modélisation, Optimisation et Simulation (MOSIM 18), Jun 2018, Toulouse, France
Conference papers
hal-01928266v1
|
|
Formalization and Evaluation of Non-functional Requirements: Application to Resilience19th Working Conference on Virtual Enterprises (PRO-VE), Sep 2018, Cardiff, United Kingdom. pp.124-132
Conference papers
hal-01928281v1
|
Revisiting digital mock-up for SME involved in systems engineering deployment., 12th International Conference on Modeling12th International Conference on Modeling, Optimization and SIMulation - MOSIM’18, Jul 2018, Toulouse, France
Conference papers
hal-01930240v1
|
|
|
Formalization and Evaluation of Non-functional Requirements: Application to Resilience19th Working Conference on Virtual Enterprises (PRO-VE), Sep 2018, Cardiff, United Kingdom. pp.124-131, ⟨10.1007/978-3-319-99127-6_11⟩
Conference papers
hal-02191171v1
|
Towards a Model-Based Method for Resilient Critical Infrastructure Engineering. How to model Critical Infrastructures and evaluate its resilience?SoSE 2018 - 13th System of Systems Engineering Conference, IEEE, Jun 2018, Paris, France. art. 8428773 - p.561-567, ⟨10.1109/SYSOSE.2018.8428773⟩
Conference papers
hal-01930248v1
|
|
An MBSE Approach to Pass from Requirements to Functional ArchitectureThe 20th World Congress of the International Federation of Automatic Control, Jul 2017, Toulouse, France. ⟨10.1016/j.ifacol.2017.08.1376⟩
Conference papers
hal-01647690v1
|
|
|
MBSE and V&V: a tool-equipped method for combining various V&V strategies20th IFAC World Congress, Jul 2017, Toulouse, France. pp.10538-10543, ⟨10.1016/j.ifacol.2017.08.1309⟩
Conference papers
hal-01930280v1
|
Deducing Complex Scenarios for Resilience Analysis: Application to the Franco-German High Speed Train NetworkISCRAM 2017 - 14th International Conference on Information Systems for Crisis Response and Management, May 2017, Albi, France
Conference papers
hal-01930275v1
|
|
Towards V&V suitable Domain Specific Modeling Languages for MBSE: A tooled approachINCOSE International Symposium, Jul 2016, Edinburgh, United Kingdom. pp.556-570, ⟨10.1002/j.2334-5837.2016.00178.x⟩
Conference papers
lirmm-01377575v1
|
|
|
Towards Semantical DSMLs for Complex or Cyber-Physical SystemsENASE: Evaluation of Novel Approaches to Software Engineering, Apr 2016, Rome, Italy. pp.115-123, ⟨10.5220/0005768201150123⟩
Conference papers
lirmm-01377565v1
|
A method for Critical Infrastructure Resilience Engineering: The MAIIEUTIC projectInternational Conférence I-ESA, Interoperability for Enterpriose Systems and Application 2016, Mar 2016, Guimaraes, Portugal
Conference papers
hal-01930461v1
|
|
|
A New Method And Tools to Scenarios Design for Crisis Management ExercisesCISAP7: 7TH INTERNATIONAL CONFERENCE ON SAFETY AND ENVIRONMENT IN PROCESS INDUSTRY, Sep 2016, Ischia, Italy. pp.319-324, ⟨10.3303/CET1653054⟩
Conference papers
hal-02408047v1
|
|
An Interface Pattern Model for Supporting Design of Natively Interoperable Systems6th International IFIP Working Conference on Enterprise Interoperability (IWEI), May 2015, Nîmes, France. pp.171-185, ⟨10.1007/978-3-662-47157-9_15⟩
Conference papers
hal-01438400v1
|
|
Requirements Authoring and Verification for SMEs’ Information Systems Engineering15th IFAC Symposium on Information Control in Manufacturing (INCOM 2015), IFAC, May 2015, Ottawa, Canada. ⟨10.1016/j.ifacol.2015.06.421⟩
Conference papers
hal-01930462v1
|
|
System of Systems Architecting: A Behavioural and Properties Based Approach for SoS “–ilities” Modelling and Analysis16th Working Conference on Virtual Enterprises (PROVE), Oct 2015, Albi, France. pp.591-603, ⟨10.1007/978-3-319-24141-8_55⟩
Conference papers
hal-01437925v1
|
|
Interoperability as a Key Concept for the Control and Evolution of the System of Systems (SoS)6th International IFIP Working Conference on Enterprise Interoperability (IWEI), May 2015, Nîmes, France. pp.53-63, ⟨10.1007/978-3-662-47157-9_5⟩
Conference papers
hal-01438407v1
|
Modeling frameworks, methods and languages for computerizing Small and Medium-sized Enterprises: review and proposalInternational conference on Interoperability for Enterprise Software & Applications (i-ESA 2014), 2014, Albi, France. ⟨10.1007/978-3-319-04948-9_7⟩
Conference papers
hal-01930465v1
|
|
|
Collaborative Networked Organizations as System of Systems: A Model-Based Engineering Approach15th Working Conference on Virtual Enterprises (PROVE), Oct 2014, Amsterdam, Netherlands. pp.227-234, ⟨10.1007/978-3-662-44745-1_22⟩
Conference papers
hal-01392120v1
|
System of Systems design verification: problematic, trends and opportunitiesInteroperability for Enterprise Software and Applications (I-ESA’14), Mar 2014, Albi, France. ⟨10.1007/978-3-319-04948-9_34⟩
Conference papers
hal-01927976v1
|
|
|
A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic SemanticsCSD&M : Complex Systems Design & Management, Nov 2014, Paris, France. pp.225-238, ⟨10.1007/978-3-319-11617-4_16⟩
Conference papers
lirmm-01237138v1
|
|
From Model Based Systems Engineering to Model Based System Realization: Role and Relevance of IVTV PlanIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2014, Ajaccio, France. pp.109-116, ⟨10.1007/978-3-662-44739-0_14⟩
Conference papers
hal-01388218v1
|
Towards system verification: Adding meaning to modelsCIEL: Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France
Conference papers
hal-01930467v1
|
|
Proposition d'un Guide d'Etude des Modes Opérationnels des Systèmes (GEMOS) pour l'Ingénierie SystèmeConférence internationale de Génie Industriel CIGI'2013, Jun 2013, France
Conference papers
hal-00822658v1
|
|
|
Requirements formalization for systems engineering: an approach for interoperability analysis in collaborative process modelWorkshop IWEI International IFIP Working Conference on Enterprise Interoperability 2013, Mar 2013, Enschede, Netherlands. pp.243-257
Conference papers
hal-00804283v1
|
Evaluation et relations de traçabilité en Ingénierie SystèmeConférence Internationale de Génie Industriel (CIGI 2013), Jun 2013, La Rochelle, France
Conference papers
hal-01930476v1
|
|
A light-weight annotation-based solution to design Domain Specific Graphical Modeling LanguagesModelling Foundations and Applications - 9th European Conference, ECMFA 2013, Jan 2013, France. pp.NC
Conference papers
hal-00856982v1
|
|
System interoperability: definition and proposition of interface model in MBSE Context14th edition of IFAC's triennal symposium INCOM 2012 - Information Control Problems in Manufacturing, May 2012, Romania. pp.NC
Conference papers
hal-00804315v1
|
|
|
Interoperability Assessment in the Deployment of Technical Processes in IndustryINCOM 2012, The 14th edition of IFAC's triennal symposium INCOM, May 2012, Bucharest, Romania. pp. F20-F25
Conference papers
hal-00750860v1
|
|
A Maturity Model for the Deployment of Systems Engineering processesIEEE 2012 International Systems Conference (SysCon 2012), Mar 2012, Vancouver, Canada. pp. 560-566, ⟨10.1109/SysCon.2012.6189535⟩
Conference papers
hal-00743207v1
|
Contribution à l'évaluation d'architectures de produits mécatroniques en ISForum Académique AFIS 2012, Dec 2012, France
Conference papers
hal-00804322v1
|
|
|
xFFBD : towards a formal yet simple and complete functional modeling technique for system designersINCOSE 2012, 22nd Annual International Council on Systems Engineering Symposium, Jul 2012, Rome, Italy. pp xxx
Conference papers
hal-01022483v1
|
|
Mixing Systems Engineering and Enterprise Modelling principles to formalize a SE processes deployment approach in industryComplex Systems Design & Management (CSDM 2011), Dec 2011, Paris, France. pp. 201-210
Conference papers
hal-00750854v1
|
A model based systems engineering processes deployment framework6th International Conference on Software and Database Technologies, ICSOFT 2011, Jul 2011, Séville, Spain. pp.65-70
Conference papers
hal-00659357v1
|
|
|
An approach for interoperability requirements specification and verification3rd IFIP Working Conference on Enterprise Interoperability (IWEI), Mar 2011, Stokholm, Sweden. pp.89-102, ⟨10.1007/978-3-642-19680-5_9⟩
Conference papers
hal-00588834v1
|
A Design Pattern meta model for Systems EngineeringIFAC World Congress Milano 2011, Sep 2011, Milano, Italy. pp.N/A
Conference papers
hal-00588830v1
|
|
|
Formalisation and verification of interoperation requirements on collaborative processes18th IFAC World Congress, Aug 2011, Milano, Italy. ⟨10.3182/20110828-6-IT-1002.01796⟩
Conference papers
hal-00588832v1
|
|
Exigences d'interopérabilité : caractérisation et formalisation en propriétésAtelier INFORSID : Ingénierie des systèmes d'information, Apr 2010, Marseille, France
Conference papers
hal-00588826v1
|
Heuristiques architecturales et patrons de conception en Ingénierie Système - Contribution à l'interopérabilité des systèmesForum Académique AFIS 2010, Dec 2010, France
Conference papers
hal-00804326v1
|
|
Mediation Information System Engineering for Interoperability Support in Crisis ManagementENTERPRISE INTEROPERABILITY IV: MAKING THE INTERNET OF THE FUTURE FOR THE FUTURE OF ENTERPRISE, 2010, Coventry, United Kingdom. pp.187+, ⟨10.1007/978-1-84996-257-5_18⟩
Conference papers
hal-01596375v1
|
|
Contribution à l'interopérabilité en Ingénierie des SystèmesAtelier INFORSID : Ingénierie des systèmes d'information, Apr 2010, France
Conference papers
hal-00588824v1
|
|
|
Towards a conceptualisation of interoperability requirementsinternational conferenec on Interoperability for Enterprise Software and Applications, IESA'2010, Apr 2010, Coventry, United Kingdom. ⟨10.1007/978-1-84996-257-5_41⟩
Conference papers
hal-00588822v1
|
|
Interoperability Constraints and Requirements Formal Modelling and Checking FrameworkInternational Conference on Advances in Production and Management Systems (APMS), Sep 2009, Paris, France. pp.219-226, ⟨10.1007/978-3-642-16358-6_28⟩
Conference papers
hal-01055850v1
|
Définition et premiers acquis d'une ingénierie de la résilience d'un système sociotechnique aux enjeux de la Sécurité GlobaleWISG Workshop Interdiscipliaire sur la Sécurité Globale 2009, Jan 2009, Troyes, France. pp.#
Conference papers
hal-00356394v1
|
|
|
Developing interoperability in collaborative process: an Anticipative Effects-Driven ApproachAdvances in production Systems Management, APMS 2009, Sep 2009, Bordeaux, France
Conference papers
hal-00588818v1
|
Verification approach applied for analyzing collaborative processes: the Anticipative Effects-Driven Approach13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM '09), Jun 2009, Moscow, Russia. pp.#
Conference papers
hal-00367953v1
|
|
Toward a Software Environment for the Generation of Enterprise Change TrajectoriesCIE: Computers and Industrial Engineering, Jul 2009, Troyes, France. pp.1775-1780, ⟨10.1109/ICCIE.2009.5223905⟩
Conference papers
lirmm-00421519v1
|
|
INTEROPERABILITY IN COLLABORATIVE PROCESSES: REQUIEREMENTS CHARACTERISATION AND PROOF APPROACHPRO-VE'09, 10th IFIP Working Conference on Virtual Enterprises, Sep 2009, Thessaloniki, Greece. pp.#
Conference papers
hal-00385849v1
|
|
System interoperability analysis by mixing system modelling and MAS: an approach, Agent-based Technologies and applications for enterprise interOPerability (ATOP), Eighth International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS 2009), May 2009, Budapest, Hungary. pp.#
Conference papers
hal-00367955v1
|
|
An Anticipative Effects-Driven Approach for analyzing interoperability in collaborative processesPRO-VE'09, 10th IFIP Working Conference on Virtual Enterprises, Sep 2009, Thessaloniki, Greece. pp.#
Conference papers
hal-00385832v1
|
|
|
A notation to measure and improve efficiency with regards to Integration, Validation and Verification of systems - Integration Verification Validation Assessment Notation (IV²AN)13th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'2009, Jun 2009, Moscou, Russia. pp.1341 - 1346
Conference papers
hal-00393723v1
|
Interoperability constraints and requirements formal modelling and checking frameworkAdvances in Production management Systems, APMS 2009, Sep 2009, France. pp.#
Conference papers
hal-00588755v1
|
|
Une démarche pour la conduite du changement en entreprise manufacturièreMTO'2009: Colloque Management des Technologies Organisationnelles, Oct 2009, Montpellier, France
Conference papers
hal-00804309v1
|
|
|
Pilotage de processus collaboratifs : Amélioration de l'interopérabilitéJournées Management des Techniques Organisationnelles (MTO 2009), Oct 2009, Montpellier, France. pp.NC
Conference papers
hal-00804308v1
|
A Property Reference Model and Associated Tools for System Life-Cycle Management15ème World Congres IFAC - B'02, Barcelone, Espagne, pp.P/N
Conference papers
lirmm-00268678v1
|
|
Modélisation et Analyse Formelle des Systèmes Complexes avec les Graphes Conceptuels : Application à la Modélisation d' EntrepriseConférence Canadienne en Génie Industriel, Montréal (Canada), pp.P nd
Conference papers
lirmm-00269834v1
|
|
Interoperability of Information Systems in Crisis Management: Crisis Modeling and MetamodelingFourth I-EAS international conference : Interoperability for Enterprise Software and Applications, Mar 2008, Berlin, Germany
Conference papers
hal-00356155v1
|
|
|
Complex organization modeling and simulation approach for operational scenarios study: application to health care organisation20th European Modeling and Simulation Symposium (Simulation in Industry), Sep 2008, Italy. pp.706-711
Conference papers
hal-00838614v1
|
Modélisation d'une situation de crise : vers une interopérabilité des systèmes d'information7e Conférence Internationale de MOdélisation et SIMulation - MOSIM'08 « Modélisation, Optimisation et Simulation des Systèmes : Communication, Coopération et Coordination», Mar 2008, Paris, France. pp.#
Conference papers
hal-00356157v1
|
|
An approach for evaluating enterprise organizational interoperability based on enterprise model checking techniques17th IFAC World Congress 2008, Jun 2008, Inconnue, South Korea. pp.#
Conference papers
hal-00353768v1
|
|
Complex System Properties Representation and Reasoning by Using the Conceptual GraphsCIMCA'03: Computational Intelligence for ModelingControl and Automation, Vienne (Autriche), pp. 648-656
Conference papers
lirmm-00269629v1
|
|
|
A Collaborative Information System Architecture for Process-Based Crisis Management12th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES 2008), Sep 2008, Zagreb, Croatia. pp.630-641, ⟨10.1007/978-3-540-85567-5_78⟩
Conference papers
hal-00353788v1
|
Verification, Validation, Qualification, Certification and Enterprise Modelling: requirements, statements and opportunitiesMSVVEIS 2008 - 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Jun 2008, European Union
Conference papers
hal-00353766v1
|
|
Pilotage de la performance du circuit du médicament hospitalier : application aux dotations pour besoins urgents.Gestion et Ingénierie des Systèmes Hospitalier, Sep 2008, Lausanne, France. pp.#
Conference papers
hal-00356151v1
|
|
Enterprise Model Verification : A Graph-Based ApproachCESA'03: IMACS Multiconference in Computational Engineering in Systems Applications, Lille (France), pp.P nd
Conference papers
lirmm-00269658v1
|
|
EVALUATION DE L'INTEROPERABILITE ORGANISATIONNELLE ET MANAGERIALE DES SYSTEMES INDUSTRIELS : LE PROJET CARIONERJournées Management des Techniques Organisationnelles (MTO 2008), Mar 2008, France. pp.NC
Conference papers
hal-00804277v1
|
|
Complex Organization Modeling and Simulation Approach for Operational Scenarios Study : Application to Health Care organizationEMSS 2008 : 20th European Modeling and Simulation Symposium, Sep 2008, Campora San Giovanni, Amantea (CS), Italy
Conference papers
hal-00828566v1
|
|
Construction et Evaluation de Projet de Changement dans les Entreprises Manufacturières3ème Workshop ECI "Ingénierie et Gestion des Processus d'Entreprise", Paris, France
Conference papers
lirmm-00195959v1
|
|
|
Une démarche intégrée pour l'ingénierie de système complexe face aux risques7ème Congrès international de Génie industriel, Jun 2007, Trois rivières, Canada. 11p
Conference papers
hal-00355748v1
|
System Engineering and enterprise modelling for risks management: application to the drug circuit in a university hospital2nd American Congress “Improving the quality and sustainability of health care services”, Jun 2007, Montréal, Canada. pp.#
Conference papers
hal-00355760v1
|
|
Enterprise modelling and verification approach for characterizing and checking organizational interoperability12th IEEE Conference on Emerging Technologies and Factory Automation, Dec 2007, Patras, Greece
Conference papers
hal-00195849v1
|
|
Construction of Change Trajectories for Manufacturing EnterpriseMCPL'07: 4th IFAC IEEE Conference on Management and Control of Production and Logistics, Sibiu, Romania, pp.631-636
Conference papers
lirmm-00195949v1
|
|
Interopérabilité des systèmes en situation de criseWorkshop interdisciplinaire sur la sécurité globale, WISG 2007, Jan 2007, Troyes, France. pp.#
Conference papers
hal-00354809v1
|
|
Contribution et Evaluation de Projet de Changement dans les Entreprises Manufacturières4ème Workshop ECI "Ingénierie et Gestion des Processus d'Entreprise", May 2007, Paris, France
Conference papers
lirmm-00196211v1
|
|
Change Management in Manufacturing Enterprise: An ApproachCIE: Computers and Industrial Engineering, 2007, Alexandria, Egypt. pp.1434-1445
Conference papers
lirmm-00195950v1
|
|
Information Systems interoperability as a way to Partners Integration in a Crisis ContextICSSEA 2007 20th International Conference on Software & Systems Engineering and their Applications, Dec 2007, Paris, France
Conference papers
hal-00355756v1
|
|
Building and validating a Manufacturing Ontology to achieve InteroperabilityI-ESA 2007, International Conference Interoperability of Enterprise Systems and Applications, Mar 2007, Portugal. pp.261-272
Conference papers
hal-00353780v1
|
|
|
Une démarche pour la conduite du changement au sein d'une entreprise de production manufacturière7ème congrès international de Génie Industriel, Jun 2007, Trois rivières, Canada. 10p
Conference papers
hal-00355752v1
|
How to detect risks with a formal approach? From property specification to risk emergenceMSVVEIS 2006 – Fourth International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems,, 2006, Paphos, Cyprus. pp.#
Conference papers
hal-00353801v1
|
|
Pilotage de la performance par le biais du management des risques : application au circuit du médicamentGestion et Ingénierie des Systèmes hospitaliers, GISEH 2006, Sep 2006, France. pp.#
Conference papers
hal-00354798v1
|
|
Verification, Validation and Accreditation of Enterprise Models12th IFAC Symposium on Information Control Problems in Manufacturing, Information control: a complex challenge for the 21st century, INCOM 2006, May 2006, Saint Etienne, France. pp.597-603
Conference papers
hal-00354779v1
|
|
Modélisation de système hospitalier pour le management du risque, Gestion et Ingénierie des Systèmes hospitaliersGestion et Ingénierie des Systèmes hospitaliers, GISEH 2006, Sep 2006, France. pp.#
Conference papers
hal-00354794v1
|
|
Performance du circuit du médicament au travers du management des risques iatrogènesLambdamu 15, Oct 2006, Lille, France. pp.#
Conference papers
hal-00354801v1
|
|
Control Architecture for Reconfigurable Manufacturing Systems: the PABADIS'PROMISE approach11th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2006, Sep 2006, Prague, Czech Republic. pp.#
Conference papers
hal-00354786v1
|
|
Linking interoperability and risk assessment: A methodological approach for socio-technical systems12th IFAC Symposium on Information Control Problems in Manufacturing, Information control: a complex challenge for the 21st century, INCOM 2006, Saint Etienne, France, May 2006, France. pp.555-601
Conference papers
hal-00354778v1
|
|
Vérification et validation des modèles : une approche pour la Modélisation d'Entreprise1er Workshop ECI, 2005, Paris IAE, France
Conference papers
hal-00355879v1
|
|
Réingénierie de systèmes complexes pour le management du risqueJournées JDMACS, Sep 2005, France
Conference papers
hal-00354803v1
|
|
A proposition for risk analysis in manufacturing and enterprise modeling domain.International Conference on Enterprise Integration and Modelling Technology (ICEIMT'04), 2004, Toronto, Canada
Conference papers
hal-00354037v1
|
|
L'Intégration en Modélisation d'Entreprise : Les Chemins d'U.E.M.L.MOSIM: Modélisation et Simulation, Apr 2003, Toulouse, France. pp.140-145
Conference papers
lirmm-00269508v1
|
|
Modélisation et Analyse de Processus Opérationnels : Résultats d'une Collaboration Industrie/RechercheCongrès International de Génie Industriel, Oct 2003, Québec, Canada
Conference papers
lirmm-00269552v1
|
|
Estimation de performance et compétence : Le point de vue de l'ingénieurJournées du Groupement de Recherche en Productique, Nov 2002, Toulouse, France
Conference papers
lirmm-00269355v1
|
The RESIIST projectWISG 2019 - Workshop Interdisciplinaire sur la Sécurité Globale, Oct 2019, Paris, France. 2019
Conference poster
hal-02510673v1
|
|
|
Formalization, Evaluation of non-functional properties for system of system engineering: Application to Resilience14th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2017), Albi, France, 21-24 May 2017., May 2017, Albi, France
Conference poster
hal-02016577v1
|
A proposal for a Resilient Critical Infrastructures Model-Based Engineering MethodISCRAM 2017 - 14th International Conference on Information Systems for Crisis Response and Management, May 2017, Albi, France
Conference poster
hal-01930295v1
|
|
Proposition of a guide for investigating, modeling and analyzing system operating modes: OMAGInternational Conference on Complex System Design and Management CSDM 2013 December 2013, Paris, Dec 2013, Paris, France
Conference poster
hal-01930468v1
|
Enterprise InteroperabilitySpringer, LNBIP-213, 2015, Enterprise Interoperability, 978-3-662-47156-2. ⟨10.1007/978-3-662-47157-9⟩
Books
hal-01438411v1
|
|
Ingénierie des processus d'entreprise et des SIKhalid Benali et Vincent Chapurlat. Hermes/Lavoisier, pp.152, 2006, 2-7462-1524-1
Books
inria-00083867v1
|
Analyzing Interoperability in a Non‐functional Requirements Ecosystem to Support Crisis Management ResponseEnterprise Interoperability: Smart Services and Business Impact of Enterprise Interoperability, John Wiley & Sons, Inc., pp.429 -434, 2018, 9781119564034. ⟨10.1002/9781119564034.ch53⟩
Book sections
hal-02923759v1
|
|
Designing Natively Interoperable Complex Systems: An Interface Design Pattern ProposalBernard Archimède and Bruno Vallespir. Enterprise Interoperability : INTEROP-PGSO Vision, ISTE Editions, pp.43-66, 2017, Enterprise Interoperability : INTEROP-PGSO Vision, 9781786300843. ⟨10.1002/9781119407928.ch3⟩
Book sections
hal-01930291v1
|
|
Building and validating a Manufacturing Ontology to achieve interoperabilityEnterprise Interoperability II New Challenges and Approaches Volume package Enterprise Interoperability Gonçalves, R.J.; Müller, J.P.; Mertins, K.; Zelm, M. (Eds.) 2007, XVIII - ISBN: 978-1-84628-857-9, Springer, pp.261-272, 2007
Book sections
hal-00367952v1
|
Contribution à la conduite du changement dans les entreprises de production2006
Other publications
lirmm-00196204v1
|
|
Aide au pilotage de l'entreprise vu par les sciences pour l'Ingénieur (SPI)2004
Other publications
hal-00354805v1
|
|
Vérification et validation de modèles de systèmes complexes: application à la Modélisation d'EntrepriseSciences de l'ingénieur [physics]. Université Montpellier II - Sciences et Techniques du Languedoc, 2007
Habilitation à diriger des recherches
tel-00204981v1
|