 | 2009 |
|---|
| 11 |       | Nassima Izerrouken,
Marc Pantel,
Xavier Thirioux,
Olivier Ssi Yan Kai:
Integrated Formal Approach for Qualified Critical Embedded Code Generator.
FMICS 2009: 199-201 |
| 10 | | Nassima Izerrouken,
Marc Pantel,
Xavier Thirioux:
Machine-Checked Sequencer for Critical Embedded Code Generator.
ICFEM 2009: 521-540 |
| 2007 |
|---|
| 9 |  | Benoît Combemale,
Pierre-Loïc Garoche,
Xavier Crégut,
Xavier Thirioux,
François Vernadat:
Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study.
ICEIS (3) 2007: 80-89 |
| 8 | | Benoît Combemale,
Xavier Crégut,
Pierre-Loïc Garoche,
Xavier Thirioux,
François Vernadat:
A Property-Driven Approach to Formal Verification of Process Models.
ICEIS (Selected Papers) 2007: 286-300 |
| 7 | | Pierre-Loïc Garoche,
Marc Pantel,
Xavier Thirioux:
Abstract Interpretation-based Static Safety for Actors.
JSW 2(3): 87-98 (2007) |
| 2006 |
|---|
| 6 | | Pierre-Loïc Garoche,
Marc Pantel,
Xavier Thirioux:
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation.
FMOODS 2006: 78-92 |
| 5 | | Pierre-Loïc Garoche,
Marc Pantel,
Xavier Thirioux:
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
CoRR abs/cs/0611139: (2006) |
| 2003 |
|---|
| 4 | | Matthias Colin,
Xavier Thirioux,
Marc Pantel:
Temporal Logic Based Static Analysis for Non-uniform Behaviours.
FMOODS 2003: 94-108 |
| 2002 |
|---|
| 3 | | Xavier Thirioux:
Simple and Efficient Translation from LTL Formulas to Buchi Automata.
Electr. Notes Theor. Comput. Sci. 66(2): (2002) |
| 2000 |
|---|
| 2 | | Mamoun Filali,
Philippe Mauran,
Gérard Padiou,
Philippe Quéinnec,
Xavier Thirioux:
Refinement Based Validation of an Algorithm for Detecting Distributed Termination.
IPDPS Workshops 2000: 1027-1036 |
| 1998 |
|---|
| 1 | | Xavier Thirioux:
Automatically Proving UNITY Safety Properties with Arrays and Quantifiers.
IPPS/SPDP Workshops 1998: 833-843 |
