Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B (regular paper)
Dans : International Conference on Software Engineering and Formal Methods, Grenoble- France, 01/09/14-05/09/14, Vol. 8702, Dimitra Giannakopou, Gwen Salaün (Eds.), Springer, Lecture Notes in Computer Science, p. 363-377, 2014.
A Pattern based Modelling for Self-Organizing Multi-Agent Systems with Event-B (short paper)
Dans : International Conference on Agents and Artificial Intelligence (ICAART 2014), Angers – France, 06/03/14-08/03/14, INSTICC – Institute for Systems and Technologies of Information, Control and Communication, p. 229-236, 2014.