The SCEAS System
Navigation Menu

Search the dblp DataBase


Vincent Chapurlat: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002