Search the dblp DataBase

Publications of Author

1. Michaël Rusinowitch, Sorin Stratulat, Francis Klay
   Mechanical Verification of an Ideal Incremental ABR Conformance. [Citation Graph (0, 0)][DBLP]
   CAV, 2000, pp:344-357 [Conf]
   
2. Abdessamad Imine, Yahya Slimani, Sorin Stratulat
   Using Automated Induxtion-based Theorem Provers for Reasoning about Concurrent Systems. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2002, pp:71-0 [Conf]
   
3. Gilles Barthe, Sorin Stratulat
   Validation of the JavaCard Platform with Implicit Induction Techniques. [Citation Graph (0, 0)][DBLP]
   RTA, 2003, pp:337-351 [Conf]
   
4. Sorin Stratulat
   Automatic 'Descente Infinie' Induction Reasoning. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2005, pp:262-276 [Conf]
   
5. Michaël Rusinowitch, Sorin Stratulat, Francis Klay
   Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2003, v:30, n:2, pp:53-177 [Journal]
   
6. Alessandro Armando, Michaël Rusinowitch, Sorin Stratulat
   Incorporating Decision Procedures in Implicit Induction. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2002, v:34, n:4, pp:241-258 [Journal]
   
7. Sorin Stratulat
   A General Framework to Build Contextual Cover Set Induction Provers. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2001, v:32, n:4, pp:403-445 [Journal]
   
8. 
   Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities. [Citation Graph (, )][DBLP]
   
   
9. 
   'Descente Infinie' Induction-Based Saturation Procedures. [Citation Graph (, )][DBLP]