Vincent Chapurlat

	2011
17		Clémentine Cornu, Vincent Chapurlat, Bernard Chiavassa, François Irigoin: Mixing Systems Engineering and Enterprise Modelling Principles to Formalize a SE Processes Deployment Approach in Industry. CSDM 2011: 201-210
16		Clémentine Cornu, Bernard Chiavassa, Vincent Chapurlat, François Irigoin: A Model based Systems Engineering Processes Deployment Framework. ICSOFT (1) 2011: 65-70
15		Sihem Mallek, Nicolas Daclin, Vincent Chapurlat: An Approach for Interoperability Requirements Specification and Verification. IWEI 2011: 89-102
	2010
14		Sihem Mallek, Nicolas Daclin, Vincent Chapurlat: Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs. Ingénierie des Systèmes d'Information 15(5): 37-61 (2010)
	2009
13		Vincent Chapurlat, Matthieu Roque: Interoperability Constraints and Requirements Formal Modelling and Checking Framework. APMS 2009: 219-226
12		Nicolas Daclin, Vincent Chapurlat: An Anticipative Effects-Driven Approach for Analyzing Interoperability in Collaborative Processes. PRO-VE 2009: 441-448
11		Matthieu Roque, Vincent Chapurlat: Interoperability in Collaborative Processes: Requirements Characterisation and Proof Approach. PRO-VE 2009: 555-562
10		Vincent Chapurlat, Bernard Kamsu Foguem, François Prunet: Enterprise model verification and validation: an approach CoRR abs/0901.3620: (2009)
	2008
9		Sébastien Truptil, Frédérick Bénaben, Pierre Couget, Matthieu Lauras, Vincent Chapurlat, Hervé Pingaud: Interoperability of Information Systems in Crisis Management: Crisis Modeling and Metamodeling. IESA 2008: 583-594
8		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
7		Vincent Chapurlat: Verification, Validation, Qualification, Certification and Enterprise Modelling: Requirements, Statements and Opportunities. MSVVEIS 2008: 5-6
	2006
6		Vincent Chapurlat, Saber Aloui: How to Detect Risks with a Formal Approach? From Property Specification to Risk Emergence. MSVVEIS 2006: 134-146
5		Vincent Chapurlat, Bernard Kamsu Foguem, François Prunet: A formal verification framework and associated tools for Enterprise Modeling: Application to UEML. Computers in Industry 57(2): 153-166 (2006)
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

Coauthor Index

1	Saber Aloui	[6]
2	Eric Andonoff	[8]
3	Frédérick Bénaben	[8] [9]
4	Khalid Benali	[4]
5	Benjamin Chenot	[2]
6	Bernard Chiavassa	[16] [17]
7	Clémentine Cornu	[16] [17]
8	Pierre Couget	[9]
9	Nicolas Daclin	[12] [14] [15]
10	Gérard Dray	[1]
11	Bernard Kamsu Foguem	[5] [10]
12	Chihab Hanachi	[8]
13	François Irigoin	[16] [17]
14	Thomas Lambolais	[8]
15	Mireille Larnac	[1] [2] [3]
16	Matthieu Lauras	[9]
17	Janine Magnier	[1] [2] [3]
18	Sihem Mallek	[14] [15]
19	Hervé Pingaud	[9]
20	François Prunet	[5] [10]
21	Matthieu Roque	[11] [13]
22	Christophe Sibertin-Blanc	[8]
23	Omar Tahir	[8]
24	Sébastien Truptil	[9]
25	Eric Vandermeulen	[1]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page