Search the dblp DataBase

Publications of Author

1. Matthias Colin, Xavier Thirioux, Marc Pantel
   Temporal Logic Based Static Analysis for Non-uniform Behaviours. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2003, pp:94-108 [Conf]
   
2. Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
   Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2006, pp:78-92 [Conf]
   
3. Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Xavier Thirioux
   Refinement Based Validation of an Algorithm for Detecting Distributed Termination. [Citation Graph (0, 0)][DBLP]
   IPDPS Workshops, 2000, pp:1027-1036 [Conf]
   
4. Xavier Thirioux
   Automatically Proving UNITY Safety Properties with Arrays and Quantifiers. [Citation Graph (0, 0)][DBLP]
   IPPS/SPDP Workshops, 1998, pp:833-843 [Conf]
   
5. Xavier Thirioux
   Simple and Efficient Translation from LTL Formulas to Buchi Automata. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:66, n:2, pp:- [Journal]
   
6. Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
   Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation [Citation Graph (0, 0)][DBLP]
   CoRR, 2006, v:0, n:, pp:- [Journal]
   
7. 
   Use of formal methods for building qualified code generator for safer automotive systems. [Citation Graph (, )][DBLP]
   
   
8. 
   Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study. [Citation Graph (, )][DBLP]
   
   
9. 
   A Property-Driven Approach to Formal Verification of Process Models. [Citation Graph (, )][DBLP]
   
   
10. 
    Machine-Checked Sequencer for Critical Embedded Code Generator. [Citation Graph (, )][DBLP]
    
    
11. 
    Integrated Formal Approach for Qualified Critical Embedded Code Generator. [Citation Graph (, )][DBLP]