2008 |
10 | EE | Sorin Stratulat:
Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities.
RTA 2008: 351-365 |
2007 |
9 | EE | Sorin Stratulat:
'Descente Infinie' Induction-Based Saturation Procedures.
SYNASC 2007: 17-24 |
2005 |
8 | EE | Sorin Stratulat:
Automatic 'Descente Infinie' Induction Reasoning.
TABLEAUX 2005: 262-276 |
2003 |
7 | EE | Gilles Barthe,
Sorin Stratulat:
Validation of the JavaCard Platform with Implicit Induction Techniques.
RTA 2003: 337-351 |
6 | | Michaël Rusinowitch,
Sorin Stratulat,
Francis Klay:
Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm.
J. Autom. Reasoning 30(2): 53-177 (2003) |
2002 |
5 | | Abdessamad Imine,
Yahya Slimani,
Sorin Stratulat:
Using Automated Induxtion-based Theorem Provers for Reasoning about Concurrent Systems.
JFPLC 2002: 71- |
4 | EE | Alessandro Armando,
Michaël Rusinowitch,
Sorin Stratulat:
Incorporating Decision Procedures in Implicit Induction.
J. Symb. Comput. 34(4): 241-258 (2002) |
2001 |
3 | | Sorin Stratulat:
A General Framework to Build Contextual Cover Set Induction Provers.
J. Symb. Comput. 32(4): 403-445 (2001) |
2000 |
2 | | Michaël Rusinowitch,
Sorin Stratulat,
Francis Klay:
Mechanical Verification of an Ideal Incremental ABR Conformance.
CAV 2000: 344-357 |
1995 |
1 | EE | Sorin Stratulat,
David J. Evans:
Virtual Shared Memory Machines - an Application of PVM.
Parallel Algorithms Appl. 7(1-2): 143-160 (1995) |