Linking paradigms in safety critical systems
Dans : International Journal of Computers and Their Applications (IJCA), International Society for Computers and their Applications (ISCA), Vol. 16 N. 2, (support électronique), 2009.
EPIS: a grid platform to ease and optimize multi-agent simulators runnning (short paper)
Dans : International Conference on Practical Applications of Agents and Multiagent Systems (PAAMS 2011), Salamanca, Spain, 06/04/11-08/04/11, Vol. 88, Yves Demazeau, Michal Pechoucek, Juan M. Corchado, Javier Bajo Pérez (Eds.), Springer, p. 129-134, 2011.
A generic process and its tool support towards combining UML and B for safety critical systems
Dans : International Conference on Computer Applications in Industry and Engineering (CAINE 2007), USA, 07/11/07-09/11/07, Hu Gongzhu (Eds.), International Society for Computers and their Applications (ISCA), p. 185-192, novembre 2007.