The research has produced both theoretical and applied works with high technical level and scientific value. We have published our work in the best conferences related to the topics of the project1. These conferences target several different research communities such as computer-aided verification, concurrency theory, automata theory, logic in computer science, static analysis, software validation, etc.
In the second year, we will continue the theoretical work on developing analysis techniques for parametrized systems, and we will also consider the case of systems with dynamical structures. Our work will address in particular the problem of analyzing networks with nonlinear topologies (trees, grids, etc), and networks with non finite-state systems (networks of processes manipulating unbounded or parametrized data structures).
For the next two years we prefer to concentrate on dynamic and parameterized systems. We think that progress regarding mobile systems will not be as feasible in the short term.