I am the author or co-author of three tools :


    a toolbox for formal analysis, verification, classification and simulation of scenarios. It is available from this page


    a distributed implementation of Distributed AXML, a formal language for the description, verification and implementation of data driven services. This software is available from this page.


    a simulator for stochastic systems with regulation. More info on this page.