| 2007 |
|---|
| 7 | | 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 |
| 6 | EE | 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 |
| 5 | EE | Pierre-Loïc Garoche,
Marc Pantel,
Xavier Thirioux:
Abstract Interpretation-based Static Safety for Actors.
JSW 2(3): 87-98 (2007) |
| 2006 |
|---|
| 4 | EE | Cyrille Artho,
Pierre-Loïc Garoche:
Accurate Centralization for Applying Model Checking on Networked Applications.
ASE 2006: 177-188 |
| 3 | EE | Pierre-Loïc Garoche,
Marc Pantel,
Xavier Thirioux:
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation.
FMOODS 2006: 78-92 |
| 2 | EE | Kenji Tei,
Christian Sommer,
Yoshiaki Fukazawa,
Shinichi Honiden,
Pierre-Loïc Garoche:
Adaptive Geographically Bound Mobile Agents.
MSN 2006: 353-364 |
| 1 | EE | Pierre-Loïc Garoche,
Marc Pantel,
Xavier Thirioux:
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
CoRR abs/cs/0611139: (2006) |
