| 2009 |
|---|
| 8 | EE | Vincent Chapurlat,
Bernard Kamsu Foguem,
François Prunet:
Enterprise model verification and validation: an approach
CoRR abs/0901.3620: (2009) |
| 2008 |
|---|
| 7 | EE | Omar Tahir,
Eric Andonoff,
Chihab Hanachi,
Christophe Sibertin-Blanc,
Frédérick Bénaben,
Vincent Chapurlat,
Thomas Lambolais:
A Collaborative Information System Architecture for Process-Based Crisis Management.
KES (3) 2008: 630-641 |
| 6 | | Vincent Chapurlat:
Verification, Validation, Qualification, Certification and Enterprise Modelling: Requirements, Statements and Opportunities.
MSVVEIS 2008: 5-6 |
| 2006 |
|---|
| 5 | | Vincent Chapurlat,
Saber Aloui:
How to Detect Risks with a Formal Approach? From Property Specification to Risk Emergence.
MSVVEIS 2006: 134-146 |
| 4 | | Khalid Benali,
Vincent Chapurlat:
Éditorial.
Ingénierie des Systèmes d'Information 11(3): 7-8 (2006) |
| 1999 |
|---|
| 3 | | Mireille Larnac,
Janine Magnier,
Vincent Chapurlat:
Simplification of Proof Procedures Based on the Path Condition Concepts.
EUROCAST 1999: 116-126 |
| 1997 |
|---|
| 2 | | Mireille Larnac,
Vincent Chapurlat,
Janine Magnier,
Benjamin Chenot:
Formal Representation and Proof of the Interpreted Sequential Machine Model.
EUROCAST 1997: 95-107 |
| 1995 |
|---|
| 1 | | Mireille Larnac,
Janine Magnier,
Eric Vandermeulen,
Gérard Dray,
Vincent Chapurlat:
Temporal and Functional Verification of a Symbolic Representation of Complex Systems.
EUROCAST 1995: 151-162 |
