Main Research Projects:

• Formal Support to the Specification and Reuse of Software (FERUS) - 2001-2004
• Smart: Engineering of Smart Card Applications - 2004-..
• Development of the B method and application to the project of industrial ebedded systems - 2007-..
• Combining formal methods and testing in the construction of real time embedded systems - 2008-..