Search the dblp DataBase

Publications of Author

1. Mireille Larnac, Vincent Chapurlat, Janine Magnier, Benjamin Chenot
   Formal Representation and Proof of the Interpreted Sequential Machine Model. [Citation Graph (0, 0)][DBLP]
   EUROCAST, 1997, pp:95-107 [Conf]
   
2. Mireille Larnac, Janine Magnier, Vincent Chapurlat
   Simplification of Proof Procedures Based on the Path Condition Concepts. [Citation Graph (0, 0)][DBLP]
   EUROCAST, 1999, pp:116-126 [Conf]
   
3. Mireille Larnac, Janine Magnier, Eric Vandermeulen, Gérard Dray, Vincent Chapurlat
   Temporal and Functional Verification of a Symbolic Representation of Complex Systems. [Citation Graph (0, 0)][DBLP]
   EUROCAST, 1995, pp:151-162 [Conf]
   
4. Vincent Chapurlat, Saber Aloui
   How to Detect Risks with a Formal Approach? From Property Specification to Risk Emergence. [Citation Graph (0, 0)][DBLP]
   MSVVEIS, 2006, pp:134-146 [Conf]
   
5. 
   Interoperability in Collaborative Processes: Requirements Characterisation and Proof Approach. [Citation Graph (, )][DBLP]
   
   
6. 
   An Anticipative Effects-Driven Approach for Analyzing Interoperability in Collaborative Processes. [Citation Graph (, )][DBLP]
   
   
7. 
   A Collaborative Information System Architecture for Process-Based Crisis Management. [Citation Graph (, )][DBLP]
   
   
8. 
   Verification, Validation, Qualification, Certification and Enterprise Modelling: Requirements, Statements and Opportunities. [Citation Graph (, )][DBLP]
   
   
9. 
   Interoperability of Information Systems in Crisis Management: Crisis Modeling and Metamodeling. [Citation Graph (, )][DBLP]
   
   
10. 
    Enterprise model verification and validation: an approach [Citation Graph (, )][DBLP]